[FTypeChecker] More informative error message (and more robust code) when typechecking variants. #64
Open
opened 2 months ago by Olivier
·
0 comments
Loading…
Reference in new issue
There is no content yet.
Delete Branch '%!s(<nil>)'
Deleting a branch is permanent. It CANNOT be undone. Continue?
In some cases, a [Not_found] exception is raised, for instance when a label cannot be found inside a given type declaration or if a type declaration cannot be found (see [typeof_variant]).