~/bend-docscommunity

bend-kit-http@0.31.1.0 fails

0x65535b2ba8933ce9a1b2c0a16f1330ae

Private bounded transport accounting. Replies contain copied data, never resources.

bend-kit-http@0.31.1.0 by paymog

Other versions (36)
Published
2026-10-09
Size
280,746 bytes, 4 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 53 defs, 18 types

Import

import bend-kit-http@0.31.1.0/http/admission.bend as Admission
import 0x65535b2ba8933ce9a1b2c0a16f1330ae/http/admission.bend as Admission
import bend-kit-http@0.31.1.0/http/completion.bend as Completion
import 0x65535b2ba8933ce9a1b2c0a16f1330ae/http/completion.bend as Completion
import bend-kit-http@0.31.1.0/http/http.bend as Http
import 0x65535b2ba8933ce9a1b2c0a16f1330ae/http/http.bend as Http
import bend-kit-http@0.31.1.0/resources/resources.bend as Resources
import 0x65535b2ba8933ce9a1b2c0a16f1330ae/resources/resources.bend as Resources

Modules

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
http/admission.bendfails - expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
output
Error:
- expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Result<&1, &1, Bool, Unit> -> IO.OP<R>) -> IO.OP<R>
Context:
- inbox    : Chan(Command)
- running  : Bool
- closing  : Bool
- reply    : Chan(Bool)
- ledger   : Ledger
- admitted : Bool
Location: loop
216 |           do IO<Counts>:
217>|             sent : Bool <- Chan.send(Bool, reply, admitted)
    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
218 |             loop(inbox, running, closing, Waiting{ledger})
0.7 s
http/completion.bendfails - expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
output
Error:
- expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Result<&1, &1, Completion<receipt.send~D>, Unit> -> IO.OP<R>) -> IO.OP<R>
Context:
- payload : receipt.send~D
- channel : Chan(Completion<receipt.send~D>)
- status  : U32
- outcome : Outcome
Location: receipt.send
20 |   do IO<Unit>:
21>|     sent : Bool <- Chan.send(Completion<D>, channel, Completion{payload, status, outcome})
   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
22 |     return Unit{}
0.7 s
http/http.bendfails - expected : a fresh constructor name (duplicate declaration: Ready)
output
Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
334 | type Reply is Type:
335>|   Ready{client: Client, writes: List<&1, Bytes.Bytes>, events: List<&1, ClientEvent>}
    |   ^^^^^
336 |   Failed{error: Error}
2.2 s
resources/resources.bendchecks ALL PROOFS CHECK0.8 s