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

Open
opened 2023-01-27 14:44:45 +01:00 by Olivier · 0 comments

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
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

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