.. |
test
|
Improve the executable ./TestMidML.exe.
|
2022-01-26 17:57:11 +01:00 |
Datatype.ml
|
Add union in Datatype.ml.
|
2022-01-06 17:56:30 +01:00 |
Datatype.mli
|
Add union in Datatype.ml.
|
2022-01-06 17:56:30 +01:00 |
DeBruijn.ml
|
DeBruijn: translation for open terms
|
2021-02-16 14:51:55 +01:00 |
DeBruijn.mli
|
Avoid a warning about an unused functor parameter.
|
2021-12-22 14:40:54 +01:00 |
F.ml
|
Add ranges in system F terms.
|
2022-01-05 12:56:11 +01:00 |
F.mli
|
Add ranges in system F terms.
|
2022-01-05 12:56:11 +01:00 |
FPrinter.ml
|
Publish [Utils.gensym] and hide [postincrement].
|
2022-01-06 16:20:49 +01:00 |
FPrinter.mli
|
FPrinter uses the generic printer.
|
2021-05-12 13:41:46 +02:00 |
FTypeChecker.ml
|
Add ranges in system F terms.
|
2022-01-05 12:56:11 +01:00 |
FTypeChecker.mli
|
Translate datatype environments.
|
2021-02-16 14:52:51 +01:00 |
Infer.ml
|
Use the correlate combinator to propagate term ranges in the constraints.
|
2022-01-26 15:59:05 +01:00 |
Infer.mli
|
Let [make test] test both settings of [rectypes].
|
2022-01-14 00:02:37 +01:00 |
Int.ml
|
Switch to Dune.
|
2019-09-24 09:02:29 +02:00 |
Int.mli
|
Switch to Dune.
|
2019-09-24 09:02:29 +02:00 |
ML.ml
|
Avoid using [List.compare], which requires OCaml 4.12.
|
2022-01-06 10:06:33 +01:00 |
ML2F.ml
|
Add ranges in ML types.
|
2022-01-05 12:56:11 +01:00 |
MLLexer.mll
|
Add #use directive in lexer/parser.
|
2022-01-06 17:56:30 +01:00 |
MLParser.mly
|
Add #use directive in lexer/parser.
|
2022-01-06 17:56:30 +01:00 |
MLPrinter.ml
|
Add ranges in ML types.
|
2022-01-05 12:56:11 +01:00 |
MLPrinter.mli
|
Write a printer for the source language using the generic printer.
|
2021-05-12 13:41:46 +02:00 |
Makefile
|
Add client/Makefile for convenience.
|
2020-11-01 08:57:21 +01:00 |
P.ml
|
typed holes (with subterms) for shrinking
|
2021-05-23 18:42:31 +02:00 |
Printer.ml
|
Add ranges in ML terms.
|
2022-01-05 12:56:11 +01:00 |
dune
|
Wrap the parser.
|
2022-01-26 15:59:05 +01:00 |