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

Un combinateur pour gérer les erreurs #39

New Issue
Open
opened 2021-06-24 17:51:24 +02:00 by gasche · 0 comments
gasche commented 2021-06-24 17:51:24 +02:00
Collaborator

Écrire un combinateur pour gérer les erreurs d'unification ou de résolution en général, en renvoyant une nouvelle erreur plus informative.

Écrire un combinateur pour gérer les erreurs d'unification ou de résolution en général, en renvoyant une nouvelle erreur plus informative.
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
frozen-infer-at-the-end-of-the-internship
20201104
20201001
20190924
20180405
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
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#39
There is no content yet.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?