Compare commits
merge into: Olivier:master
Olivier:equality-constraint-graph
Olivier:introduce-rigid
Olivier:equality-constraint-env-immutable
Olivier:upstream
Olivier:equality-constraint-2
Olivier:issue-64
Olivier:issue-58
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
Olivier:20201104
Olivier:20201001
Olivier:20190924
Olivier:20180405
Olivier:frozen-infer-at-the-end-of-the-internship
pull from: Olivier:master
Olivier:equality-constraint-graph
Olivier:introduce-rigid
Olivier:equality-constraint-env-immutable
Olivier:upstream
Olivier:equality-constraint-2
Olivier:issue-64
Olivier:issue-58
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
Olivier:20201104
Olivier:20201001
Olivier:20190924
Olivier:20180405
Olivier:frozen-infer-at-the-end-of-the-internship
These branches are equal. There is no need to create a pull request.