[FTypeChecker] More informative error message (and more robust code) when typechecking variants.
Openopened 2 months ago by Olivier · 0 comments
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]).