~/bend-docscommunity

bend-kit-camber@0.6.0.0 fails

0xc23e1aa6a6d82ae7d54c58cdae918105

Fixed prepared HTTP applications and bounded affine dependency bundles.

bend-kit-camber@0.6.0.0 by paymog

Other versions (7)
Published
2026-10-04
Size
77,208 bytes, 4 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 12 defs, 3 types

Import

import bend-kit-camber@0.6.0.0/camber.bend as Camber
import 0xc23e1aa6a6d82ae7d54c58cdae918105/camber.bend as Camber
import bend-kit-camber@0.6.0.0/input.bend as Input
import 0xc23e1aa6a6d82ae7d54c58cdae918105/input.bend as Input
import bend-kit-camber@0.6.0.0/notices.bend as Notices
import 0xc23e1aa6a6d82ae7d54c58cdae918105/notices.bend as Notices
import bend-kit-camber@0.6.0.0/response.bend as Response
import 0xc23e1aa6a6d82ae7d54c58cdae918105/response.bend as Response

Modules

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
camber.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}
1.5 s
input.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}
1.5 s
notices.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.9 s
response.bendchecks ALL PROOFS CHECK1.6 s