Monadic transformation is broken

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

198 stars 20 forks source link

Monadic transformation is broken #822

Open W95Psp opened 3 months ago

W95Psp commented 3 months ago

* Error 54 at Sandwich.Tunnel.Tls.fsti(383,22-397,94):
  - Core.Ops.Control_flow.t_ControlFlow (Core.Result.t_Result Prims.unit Sandwich.Error.t_Error)
      (Prims.bool & Prims.bool) is not a subtype of the expected type Prims.bool & Prims.bool

1 error was reported (see above)

Action item:

[ ] throw an error instead of trying to transform, with hints to how to rewrite
[ ] fix the transformation

franziskuskiefer commented 1 month ago

Most cases should be covered by what's doing in #393. Let's assess if this is still needed when that's done.