0x9c7a61e0 fails
0x9c7a61e05d37da832cbd93dd7ae504d9
no description
Anonymous package: import it by hash.
Earlier versions (3)
- 0xa74be722 2026-09-23
- 0x2f05a850 2026-09-22
- 0x2f326102 2026-09-22
- Published
- 2026-09-23
- Size
- 23,822 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 130 defs, 6 types
Import
import 0x9c7a61e05d37da832cbd93dd7ae504d9/http.bend as Http
Modules
- http.bend 147 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:
- head : Bool
- s : Socket
- buf : String
Location: fetch.read
656 | do IO<Maybe<&2, Res>>:
657>| m : Socket & Result<&1, &1, U32 & String, String> <- TCP.recv(s, 65536)
| ^^^^^^^^^^^^^^^^^^
658 | fetch.read(head, fetch.next(head, buf, m)) | 0.8 s |