├── .gitignore ├── .merlin ├── Makefile ├── Makefile.option ├── README.md ├── TODO.md ├── _tags ├── myocamlbuild.ml ├── src ├── checkUtils.ml ├── checkUtils.mli ├── contextType.ml ├── contextType.mli ├── derivationTree.ml ├── derivationTree.mli ├── error.ml ├── error.mli ├── eval.ml ├── eval.mli ├── grammar.cppo.ml ├── lexer.mll ├── main.ml ├── parser.mly ├── pprint.ml ├── pprintUtils.ml ├── print.ml ├── print.mli ├── store.ml ├── store.mli ├── subtype.ml ├── subtype.mli ├── typeSubstitution.ml ├── typeSubstitution.mli ├── typeUtils.ml ├── typeUtils.mli ├── typer.ml ├── typer.mli ├── wellFormed.ml └── wellFormed.mli ├── stdlib ├── char.dsubml ├── condition.dsubml ├── int.dsubml ├── special.dsubml ├── string.dsubml └── unit.dsubml └── test ├── check_typing ├── simple.dsubml └── simple_with_stdlib.dsubml ├── eval ├── test1.dsubml ├── test1_wrong.dsubml └── test2.dsubml ├── subtype ├── complicated.dsubml ├── not_well_formed.dsubml ├── predefined_types.dsubml ├── simple.dsubml └── subtype.dsubml ├── typing ├── complicated.dsubml ├── complicated_wrong.dsubml ├── simple.dsubml ├── simple_wrong.dsubml └── string.dsubml └── wellFormed ├── complicated.dsubml ├── simple.dsubml └── with_subtype.dsubml /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | main.native -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/.merlin -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.option: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/Makefile.option -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/TODO.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/_tags -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /src/checkUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/checkUtils.ml -------------------------------------------------------------------------------- /src/checkUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/checkUtils.mli -------------------------------------------------------------------------------- /src/contextType.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/contextType.ml -------------------------------------------------------------------------------- /src/contextType.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/contextType.mli -------------------------------------------------------------------------------- /src/derivationTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/derivationTree.ml -------------------------------------------------------------------------------- /src/derivationTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/derivationTree.mli -------------------------------------------------------------------------------- /src/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/error.ml -------------------------------------------------------------------------------- /src/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/error.mli -------------------------------------------------------------------------------- /src/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/eval.ml -------------------------------------------------------------------------------- /src/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/eval.mli -------------------------------------------------------------------------------- /src/grammar.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/grammar.cppo.ml -------------------------------------------------------------------------------- /src/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/lexer.mll -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/pprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/pprint.ml -------------------------------------------------------------------------------- /src/pprintUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/pprintUtils.ml -------------------------------------------------------------------------------- /src/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/print.ml -------------------------------------------------------------------------------- /src/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/print.mli -------------------------------------------------------------------------------- /src/store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/store.ml -------------------------------------------------------------------------------- /src/store.mli: -------------------------------------------------------------------------------- 1 | (** NOT USED *) 2 | -------------------------------------------------------------------------------- /src/subtype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/subtype.ml -------------------------------------------------------------------------------- /src/subtype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/subtype.mli -------------------------------------------------------------------------------- /src/typeSubstitution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/typeSubstitution.ml -------------------------------------------------------------------------------- /src/typeSubstitution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/typeSubstitution.mli -------------------------------------------------------------------------------- /src/typeUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/typeUtils.ml -------------------------------------------------------------------------------- /src/typeUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/typeUtils.mli -------------------------------------------------------------------------------- /src/typer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/typer.ml -------------------------------------------------------------------------------- /src/typer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/typer.mli -------------------------------------------------------------------------------- /src/wellFormed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/wellFormed.ml -------------------------------------------------------------------------------- /src/wellFormed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/src/wellFormed.mli -------------------------------------------------------------------------------- /stdlib/char.dsubml: -------------------------------------------------------------------------------- 1 | let char : { A } = Unimplemented;; -------------------------------------------------------------------------------- /stdlib/condition.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/stdlib/condition.dsubml -------------------------------------------------------------------------------- /stdlib/int.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/stdlib/int.dsubml -------------------------------------------------------------------------------- /stdlib/special.dsubml: -------------------------------------------------------------------------------- 1 | let any : Any = Unimplemented;; -------------------------------------------------------------------------------- /stdlib/string.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/stdlib/string.dsubml -------------------------------------------------------------------------------- /stdlib/unit.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/stdlib/unit.dsubml -------------------------------------------------------------------------------- /test/check_typing/simple.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/check_typing/simple.dsubml -------------------------------------------------------------------------------- /test/check_typing/simple_with_stdlib.dsubml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/eval/test1.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/eval/test1.dsubml -------------------------------------------------------------------------------- /test/eval/test1_wrong.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/eval/test1_wrong.dsubml -------------------------------------------------------------------------------- /test/eval/test2.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/eval/test2.dsubml -------------------------------------------------------------------------------- /test/subtype/complicated.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/subtype/complicated.dsubml -------------------------------------------------------------------------------- /test/subtype/not_well_formed.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/subtype/not_well_formed.dsubml -------------------------------------------------------------------------------- /test/subtype/predefined_types.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/subtype/predefined_types.dsubml -------------------------------------------------------------------------------- /test/subtype/simple.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/subtype/simple.dsubml -------------------------------------------------------------------------------- /test/subtype/subtype.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/subtype/subtype.dsubml -------------------------------------------------------------------------------- /test/typing/complicated.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/typing/complicated.dsubml -------------------------------------------------------------------------------- /test/typing/complicated_wrong.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/typing/complicated_wrong.dsubml -------------------------------------------------------------------------------- /test/typing/simple.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/typing/simple.dsubml -------------------------------------------------------------------------------- /test/typing/simple_wrong.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/typing/simple_wrong.dsubml -------------------------------------------------------------------------------- /test/typing/string.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/typing/string.dsubml -------------------------------------------------------------------------------- /test/wellFormed/complicated.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/wellFormed/complicated.dsubml -------------------------------------------------------------------------------- /test/wellFormed/simple.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/wellFormed/simple.dsubml -------------------------------------------------------------------------------- /test/wellFormed/with_subtype.dsubml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannywillems/dsubml/HEAD/test/wellFormed/with_subtype.dsubml --------------------------------------------------------------------------------