Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 6 Releases Wiki Activity
Labels Milestones
New Issue

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

Open
opened 2 months ago by Olivier · 0 comments
Olivier commented 2 months ago
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 Branch/Tag Specified
Branches Tags
equality-constraint-graph
introduce-rigid
equality-constraint-env-immutable
upstream
equality-constraint-2
issue-64
issue-58
type-equations
equality-constraint
master
type-equations-master
n-ary-fun-printing
abstract
rigid-variable-fix
rigid-variable-rebase
letrn
gadt-language
multi-eq
error-message-rebase
rigid-rebase
error-message
clearer-test-output
ranges
minor-fixes
test-files
alcotest
abbrev_refactoring
rigid-variable
test-framework
qcheck
printer
improve-ast
parser
last_push
frozen-infer
f-datatypes
f-datatypes-wip
match-upstream
variants-upstream
pretty-printer-upstream
new-f-constructs-upstream
frozen-solver2
solver2
match2
frozen-solver
frozen
match
variants
debug
new-api
pretty-printer
co_cps
new-f-constructs
separate-test
type-environment
Labels
Apply labels
Clear labels
No items
No Label
Milestone
Set milestone
Clear milestone
No items
No Milestone
Assignees
Assign users
Clear assignees
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#64
Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch '%!s(<nil>)'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes