Commits

Commits on Oct 19, 2021

dune: disable some warnings
trefis
committedOct 19, 2021

Commits on Jul 15, 2021

Merge pull request ocaml#8516 from lpw25/simplify-type-class-structure
trefis
authoredJul 15, 2021

Commits on Jul 14, 2021

Treat class_signature more like type_expr

trefis
authored and
lpw25
committedJul 14, 2021

Commits on May 10, 2021

make depend
trefis
committedMay 10, 2021
Changes
trefis
committedMay 10, 2021
update test
trefis
committedMay 10, 2021
update locations for destructive substitutions
trefis
committedMay 10, 2021

Commits on Apr 19, 2021

Merge pull request ocaml#10225 from EduardoRFS/fix-dune-build
trefis
committedApr 19, 2021

Commits on Feb 16, 2021

Ctype.copy: do not use physical equality on int
trefis
committedFeb 16, 2021
Ctype.copy: remove dead code
trefis
committedFeb 16, 2021

Commits on Feb 11, 2021

add and use try_logged_mark_node
trefis
committedFeb 11, 2021

Commits on Feb 10, 2021

dune: fix build of toplevel
trefis
committedFeb 10, 2021
check_scope_escape: use the usual marking mechanism
trefis
committedFeb 10, 2021
move marking code to the end of Btype
trefis
committedFeb 10, 2021
generalize: remove incorrect comment
trefis
committedFeb 10, 2021

Commits on Feb 9, 2021

generalize_structure: slight clean up
trefis
committedFeb 9, 2021

Commits on Feb 5, 2021

dune: add lazy_backtrack
trefis
committedFeb 5, 2021

Commits on Jan 20, 2021

Rename and extract EnvLazy to its own file (ocaml#10052 )
trefis
authoredJan 20, 2021

Commits on Jan 19, 2021

dune files cleanup
trefis
committedJan 19, 2021

Commits on Oct 20, 2020

build_as_type: document why generic_instance can't be used (ocaml#9983 )
trefis
authoredOct 20, 2020
fix dune build
trefis
committedOct 20, 2020

Commits on Oct 15, 2020

Centralized tracking of frontend's global state (ocaml#9963 )
trefis
authoredOct 15, 2020

Commits on Oct 14, 2020

Make some locations more accurate (ocaml#8987 )
trefis
authoredOct 14, 2020

Commits on Oct 7, 2020

Changes
trefis
committedOct 7, 2020
pat_env: I must not tell lies
trefis
committedOct 7, 2020
add test from PR#9799
trefis
committedOct 7, 2020

Commits on Sep 22, 2020

dune: build stdlib without injectivity annotations (ocaml#9932 )
trefis
authoredSep 22, 2020

Commits on Sep 17, 2020

Env.folds (ocaml#9922 )
trefis
authoredSep 17, 2020

Commits on Sep 16, 2020

Untypeast: define untype_expression, untype_pattern (ocaml#9920 )
trefis
authoredSep 16, 2020

Commits on Sep 14, 2020

Changes
trefis
committedSep 14, 2020
correction following Florian's review
trefis
committedSep 14, 2020
catch Nondep_cannot_erase exception
trefis
committedSep 14, 2020
add test from ocaml#9858
trefis
committedSep 14, 2020

Commits on Jul 9, 2020

pattern aliases do not ignore type constraints (ocaml#1655 )
trefis
authoredJul 9, 2020

Commits on Jul 8, 2020

type_cases: rely on levels to enforce principality (ocaml#1931 )
trefis
authoredJul 8, 2020