issue-58
#65
Open
Olivier
wants to merge 2 commits from issue-58
into type-equations
pull from: issue-58
merge into: Olivier:type-equations
Olivier:equality-constraint-graph
Olivier:introduce-rigid
Olivier:equality-constraint-env-immutable
Olivier:upstream
Olivier:equality-constraint-2
Olivier:issue-64
Olivier:type-equations
Olivier:equality-constraint
Olivier:master
Olivier:type-equations-master
Olivier:n-ary-fun-printing
Olivier:abstract
Olivier:rigid-variable-fix
Olivier:rigid-variable-rebase
Olivier:letrn
Olivier:gadt-language
Olivier:multi-eq
Olivier:error-message-rebase
Olivier:rigid-rebase
Olivier:error-message
Olivier:clearer-test-output
Olivier:ranges
Olivier:minor-fixes
Olivier:test-files
Olivier:alcotest
Olivier:abbrev_refactoring
Olivier:rigid-variable
Olivier:test-framework
Olivier:qcheck
Olivier:printer
Olivier:improve-ast
Olivier:parser
Olivier:last_push
Olivier:frozen-infer
Olivier:f-datatypes
Olivier:f-datatypes-wip
Olivier:match-upstream
Olivier:variants-upstream
Olivier:pretty-printer-upstream
Olivier:new-f-constructs-upstream
Olivier:frozen-solver2
Olivier:solver2
Olivier:match2
Olivier:frozen-solver
Olivier:frozen
Olivier:match
Olivier:variants
Olivier:debug
Olivier:new-api
Olivier:pretty-printer
Olivier:co_cps
Olivier:new-f-constructs
Olivier:separate-test
Olivier:type-environment
Reviewers
Request review
No reviewers
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
2 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#65
Reference in new issue
There is no content yet.
Delete Branch 'issue-58'
Deleting a branch is permanent. It CANNOT be undone. Continue?
No
Yes
#58
C'est bien, c'est une bonne simplification. Cette approche rend un poil plus difficile l'implémentation des or-patterns (
(p1 | p2)
), mais elle simplifie tout le reste. Rien à redire sur le code.