0xa74be722 fails
0xa74be722130dca68310c18dc011b13c7
no description
Anonymous package: import it by hash.
Other versions (3)
- 0x9c7a61e0 2026-09-23 latest
- 0x2f05a850 2026-09-22
- 0x2f326102 2026-09-22
- Published
- 2026-09-23
- Size
- 20,710 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 118 defs, 5 types
Import
import 0xa74be722130dca68310c18dc011b13c7/http.bend as Http
Modules
- http.bend 131 declarations
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| http.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- s : Socket
- r : Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>
- head : String
Location: fetch_head
575 | head : String <- IO.pass(String, r)
576>| rest : Socket & Result<&1, &1, U32 & String, String> <- TCP.recv(s, 8192)
| ^^^^^^^^^^^^^^^^^
577 | fetch_tail(head, rest) | 1.0 s |