0x1efee7e6 fails

0x1efee7e6292e6267db2ca5c7e267456a

no description

Anonymous package: import it by hash.

Published

2026-09-20

Size

104,214 bytes, 8 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 224 defs, 16 types

Import

import 0x1efee7e6292e6267db2ca5c7e267456a/air.bend as Air
import 0x1efee7e6292e6267db2ca5c7e267456a/air/chunk.bend as Chunk
import 0x1efee7e6292e6267db2ca5c7e267456a/air/drain.bend as Drain
import 0x1efee7e6292e6267db2ca5c7e267456a/air/http.bend as Http
import 0x1efee7e6292e6267db2ca5c7e267456a/air/race.bend as Race
import 0x1efee7e6292e6267db2ca5c7e267456a/air/router.bend as Router
import 0x1efee7e6292e6267db2ca5c7e267456a/air/server.bend as Server
import 0x1efee7e6292e6267db2ca5c7e267456a/air/text.bend as Text

Modules

• air.bend not loaded
• air/chunk.bend 18 declarations
• air/drain.bend 31 declarations
• air/http.bend 105 declarations
• air/race.bend not loaded
• air/router.bend 75 declarations
• air/server.bend not loaded
• air/text.bend 54 declarations

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
26 | type Flag is Data:
27>|   Ready{}
   |   ^^^^^
28 |   Late{gen: U32}

Error:
- expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Result<&1, &1, Tally, Unit> -> IO.OP<R>) -> IO.OP<R>
Context:
- gate : Chan(Tally)
- g    : Chan(Tally)
Location: Gate.new.go
87 |   +g = gate
88>|   IO.bind(Bool, Chan(Tally), Chan.send(Tally, g, Open{0}), ok => IO.pure(Chan(Tally), g))
   |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
89 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
26 | type Flag is Data:
27>|   Ready{}
   |   ^^^^^
28 |   Late{gen: U32}

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
26 | type Flag is Data:
27>|   Ready{}
   |   ^^^^^
28 |   Late{gen: U32}