[FTypeChecker] More informative error message (and more robust code) when typechecking variants. #64

Open
opened 2 months ago by Olivier · 0 comments
Owner

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]).

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]).
Sign in to join this conversation.
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#64
Loading…
There is no content yet.