Default Branch

master 6fe129a761 · Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT]. · Updated 5 months ago

ZIP  TAR.GZ

Branches

error-message 13e6f284c2 · WIP · Updated 1 year ago	304 3	Compare	ZIP  TAR.GZ
clearer-test-output 55c0c2e7b1 · Add support for cram tests. · Updated 1 year ago	313 7	Compare	ZIP  TAR.GZ
ranges 70ac2f11a0 · [Fix] increment line position in lexer. · Updated 1 year ago	316 0	Included	ZIP  TAR.GZ
minor-fixes e9ec694f36 · [Fix] Correct tests description. · Updated 1 year ago	325 10	Compare	ZIP  TAR.GZ
test-files f36230e8d7 · Move a few functions from TestML.ml to CheckML.ml. · Updated 1 year ago	334 10	Compare	ZIP  TAR.GZ
alcotest d6cadeab10 · Use Alcotest for the test suite. · Updated 2 years ago	335 0	Included	ZIP  TAR.GZ
abbrev_refactoring 9e72fe648a · Structure.ml: remove stale comments · Updated 2 years ago	535 20	Compare	ZIP  TAR.GZ
rigid-variable 8e0d556ee8 · Factorize inference of annotations. · Updated 2 years ago	346 18	Compare	ZIP  TAR.GZ
test-framework fbeb059436 · Use OUnit for the ML test suite. · Updated 2 years ago	346 1	Compare	ZIP  TAR.GZ
qcheck 4f76f8b849 · Shrinker. · Updated 2 years ago	377 8	Compare	ZIP  TAR.GZ
printer 6de772acc0 · Write a printer for the source language using the generic printer. · Updated 2 years ago	378 3	#33 Closed	ZIP  TAR.GZ
improve-ast 44ee5263b3 · ML: Argument of variant is optional. · Updated 2 years ago	393 8	#34 Closed	ZIP  TAR.GZ
parser 00ae49ea4d · Type variable begins with a quote. · Updated 2 years ago	399 22	Compare	ZIP  TAR.GZ
last_push 18effdd973 · WIP: partially-working use of Deep types · Updated 2 years ago	535 21	Compare	ZIP  TAR.GZ
frozen-infer 71f6906356 · [WIP] Add test. · Updated 2 years ago	524 173	Compare	ZIP  TAR.GZ
f-datatypes 972f079550 · Remove deprecated functions. · Updated 2 years ago	406 1	Compare	ZIP  TAR.GZ
f-datatypes-wip 3dcb4371da · Fix a test. · Updated 2 years ago	416 13	Compare	ZIP  TAR.GZ
match-upstream bed479d8b7 · factorize the type-checking of variant constructors · Updated 2 years ago	418 0	gasche/inferno-experimental#4 Closed	ZIP  TAR.GZ
variants-upstream 5b27f73532 · The signature for [build] is a [binder] type. · Updated 2 years ago	428 0	gasche/inferno-experimental#3 Closed	ZIP  TAR.GZ
pretty-printer-upstream a9ec4cf6fa · Implicit levels in the pretty-printer. · Updated 3 years ago	470 6	gasche/inferno-experimental#2 Closed	ZIP  TAR.GZ