├── .gitignore ├── .gitmodules ├── .merlin ├── .ocamlformat ├── CITATION.cff ├── Makefile ├── README.md ├── TODO.md ├── _tags ├── myocamlbuild.ml ├── src ├── action.ml ├── action.mli ├── contextEvaluation.ml ├── contextEvaluation.mli ├── grammar │ ├── grammar.cppo.ml │ ├── grammarToolbox.ml │ ├── grammarToolbox.mli │ ├── lexer.mll │ └── parser.mly ├── main.ml ├── print │ ├── prettyPrinter.ml │ ├── print.ml │ └── print.mli ├── typing │ ├── contextType.ml │ ├── contextType.mli │ ├── subtype.ml │ ├── subtype.mli │ ├── typer.ml │ └── typer.mli └── utils │ ├── checkUtils.ml │ ├── checkUtils.mli │ ├── derivationTree.ml │ ├── derivationTree.mli │ ├── error.ml │ ├── error.mli │ ├── typeUtils.ml │ ├── typeUtils.mli │ ├── wellFormed.ml │ └── wellFormed.mli ├── stdlib ├── bool.rml ├── char.rml ├── comparable.rml ├── condition.rml ├── float.rml ├── graph.rml ├── int.rml ├── list.rml ├── list_with.rml ├── map.rml ├── option.rml ├── option_church.rml ├── pair.rml ├── pair_with.rml ├── pervasives.rml ├── point.rml ├── string.rml ├── sum_church.rml └── unit.rml └── test ├── MISC ├── comment.rml ├── expression.rml ├── field_selection.rml ├── function.rml ├── let_binding.rml ├── local_binding.rml ├── local_binding_error.rml ├── modules_functor_error.rml ├── modules_functors.rml ├── record.rml ├── syntactic_sugar_multiple_param.rml └── syntactic_sugar_multiple_param_error.rml ├── read_term └── simple.dotml ├── subtype ├── list.rml ├── simple_labels.rml └── stdlib.rml └── typing ├── graph.rml ├── list.rml ├── list_rml.rml ├── option.rml ├── pair_with.rml ├── simple.dotml ├── simple_no_type_in_recursive_record.dotml ├── sugar.rml ├── sum.rml └── test.dotml /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | main.native 3 | rml 4 | _opam -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/.gitmodules -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/.merlin -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/CITATION.cff -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/TODO.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/_tags -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /src/action.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/action.ml -------------------------------------------------------------------------------- /src/action.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/action.mli -------------------------------------------------------------------------------- /src/contextEvaluation.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/contextEvaluation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/contextEvaluation.mli -------------------------------------------------------------------------------- /src/grammar/grammar.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/grammar/grammar.cppo.ml -------------------------------------------------------------------------------- /src/grammar/grammarToolbox.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/grammar/grammarToolbox.ml -------------------------------------------------------------------------------- /src/grammar/grammarToolbox.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/grammar/grammarToolbox.mli -------------------------------------------------------------------------------- /src/grammar/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/grammar/lexer.mll -------------------------------------------------------------------------------- /src/grammar/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/grammar/parser.mly -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/print/prettyPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/print/prettyPrinter.ml -------------------------------------------------------------------------------- /src/print/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/print/print.ml -------------------------------------------------------------------------------- /src/print/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/print/print.mli -------------------------------------------------------------------------------- /src/typing/contextType.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/typing/contextType.ml -------------------------------------------------------------------------------- /src/typing/contextType.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/typing/contextType.mli -------------------------------------------------------------------------------- /src/typing/subtype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/typing/subtype.ml -------------------------------------------------------------------------------- /src/typing/subtype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/typing/subtype.mli -------------------------------------------------------------------------------- /src/typing/typer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/typing/typer.ml -------------------------------------------------------------------------------- /src/typing/typer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/typing/typer.mli -------------------------------------------------------------------------------- /src/utils/checkUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/checkUtils.ml -------------------------------------------------------------------------------- /src/utils/checkUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/checkUtils.mli -------------------------------------------------------------------------------- /src/utils/derivationTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/derivationTree.ml -------------------------------------------------------------------------------- /src/utils/derivationTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/derivationTree.mli -------------------------------------------------------------------------------- /src/utils/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/error.ml -------------------------------------------------------------------------------- /src/utils/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/error.mli -------------------------------------------------------------------------------- /src/utils/typeUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/typeUtils.ml -------------------------------------------------------------------------------- /src/utils/typeUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/typeUtils.mli -------------------------------------------------------------------------------- /src/utils/wellFormed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/wellFormed.ml -------------------------------------------------------------------------------- /src/utils/wellFormed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/src/utils/wellFormed.mli -------------------------------------------------------------------------------- /stdlib/bool.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/bool.rml -------------------------------------------------------------------------------- /stdlib/char.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/char.rml -------------------------------------------------------------------------------- /stdlib/comparable.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/comparable.rml -------------------------------------------------------------------------------- /stdlib/condition.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/condition.rml -------------------------------------------------------------------------------- /stdlib/float.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/float.rml -------------------------------------------------------------------------------- /stdlib/graph.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/graph.rml -------------------------------------------------------------------------------- /stdlib/int.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/int.rml -------------------------------------------------------------------------------- /stdlib/list.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/list.rml -------------------------------------------------------------------------------- /stdlib/list_with.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/list_with.rml -------------------------------------------------------------------------------- /stdlib/map.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/map.rml -------------------------------------------------------------------------------- /stdlib/option.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/option.rml -------------------------------------------------------------------------------- /stdlib/option_church.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/option_church.rml -------------------------------------------------------------------------------- /stdlib/pair.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/pair.rml -------------------------------------------------------------------------------- /stdlib/pair_with.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/pair_with.rml -------------------------------------------------------------------------------- /stdlib/pervasives.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/pervasives.rml -------------------------------------------------------------------------------- /stdlib/point.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/point.rml -------------------------------------------------------------------------------- /stdlib/string.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/string.rml -------------------------------------------------------------------------------- /stdlib/sum_church.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/sum_church.rml -------------------------------------------------------------------------------- /stdlib/unit.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/stdlib/unit.rml -------------------------------------------------------------------------------- /test/MISC/comment.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/comment.rml -------------------------------------------------------------------------------- /test/MISC/expression.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/expression.rml -------------------------------------------------------------------------------- /test/MISC/field_selection.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/field_selection.rml -------------------------------------------------------------------------------- /test/MISC/function.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/function.rml -------------------------------------------------------------------------------- /test/MISC/let_binding.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/let_binding.rml -------------------------------------------------------------------------------- /test/MISC/local_binding.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/local_binding.rml -------------------------------------------------------------------------------- /test/MISC/local_binding_error.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/local_binding_error.rml -------------------------------------------------------------------------------- /test/MISC/modules_functor_error.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/modules_functor_error.rml -------------------------------------------------------------------------------- /test/MISC/modules_functors.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/modules_functors.rml -------------------------------------------------------------------------------- /test/MISC/record.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/record.rml -------------------------------------------------------------------------------- /test/MISC/syntactic_sugar_multiple_param.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/syntactic_sugar_multiple_param.rml -------------------------------------------------------------------------------- /test/MISC/syntactic_sugar_multiple_param_error.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/MISC/syntactic_sugar_multiple_param_error.rml -------------------------------------------------------------------------------- /test/read_term/simple.dotml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/read_term/simple.dotml -------------------------------------------------------------------------------- /test/subtype/list.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/subtype/list.rml -------------------------------------------------------------------------------- /test/subtype/simple_labels.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/subtype/simple_labels.rml -------------------------------------------------------------------------------- /test/subtype/stdlib.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/subtype/stdlib.rml -------------------------------------------------------------------------------- /test/typing/graph.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/graph.rml -------------------------------------------------------------------------------- /test/typing/list.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/list.rml -------------------------------------------------------------------------------- /test/typing/list_rml.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/list_rml.rml -------------------------------------------------------------------------------- /test/typing/option.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/option.rml -------------------------------------------------------------------------------- /test/typing/pair_with.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/pair_with.rml -------------------------------------------------------------------------------- /test/typing/simple.dotml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/simple.dotml -------------------------------------------------------------------------------- /test/typing/simple_no_type_in_recursive_record.dotml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/simple_no_type_in_recursive_record.dotml -------------------------------------------------------------------------------- /test/typing/sugar.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/sugar.rml -------------------------------------------------------------------------------- /test/typing/sum.rml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/sum.rml -------------------------------------------------------------------------------- /test/typing/test.dotml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/RML/HEAD/test/typing/test.dotml --------------------------------------------------------------------------------