area/error-messagescomponent/extractiongood first issue
Repository metrics
- Stars
- (3,068 stars)
- PR merge metrics
- (PR metrics pending)
説明
The function assert is never extracted to OCaml. This is not very nice when using the ocaml-based F* compiler and getting a Failure("Impossible") because an invariant was broken.
It would be nice to extract the assertions when they do correspond to runtime checks as they are in the compiler.