0x2f326102 fails
0x2f326102284e109617025c8abc5cc38a
no description
Anonymous package: import it by hash.
Other versions (3)
- 0x9c7a61e0 2026-09-23 latest
- 0xa74be722 2026-09-23
- 0x2f05a850 2026-09-22
- Published
- 2026-09-22
- Size
- 15,516 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 92 defs, 3 types
Import
import 0x2f326102284e109617025c8abc5cc38a/http.bend as Http
Modules
- http.bend 99 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
417 | head : String <- IO.pass(String, r)
418>| rest : Socket & Result<&1, &1, U32 & String, String> <- TCP.recv(s, 8192)
| ^^^^^^^^^^^^^^^^^
419 | fetch_tail(head, rest) | 0.8 s |