summaryrefslogtreecommitdiff
path: root/src/monomorphise_new.ml
AgeCommit message (Expand)Author
2017-07-21Fix type synonyms in monomorphisationBrian Campbell
2017-07-20Clean up some failwithsBrian Campbell
2017-07-20Tidy up id handling in monomorphisationBrian Campbell
2017-07-20Handle guarded patterns in monomorphisationBrian Campbell
2017-07-14Extend literal matching in monomorphisationBrian Campbell
2017-07-14Generalise matching a little in monomorphisationBrian Campbell
2017-07-13Avoid recent OCaml library functionBrian Campbell
2017-07-13Monomorphisation size limitsBrian Campbell
2017-07-13Monomorphisation now splits vectorsBrian Campbell
2017-07-13Make new-tc monomorphisation actually workBrian Campbell
2017-07-13Add basic translation of monomorphisation to the new type checkerBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 09:00:16 +0000