area/error-messagescomponent/extractiongood first issue
倉庫指標
- Star
- (3,068 star)
- PR 合併指標
- (PR 指標待抓取)
描述
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.