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