├── .gitignore ├── Makefile ├── README.md ├── dune-project ├── src ├── boundID.ml ├── boundID.mli ├── dune ├── env.ml ├── env.mli ├── evaluator.ml ├── freeID.ml ├── freeID.mli ├── lexer.mll ├── main.ml ├── operation.ml ├── parser.mly ├── parserInterface.ml ├── primitives.ml ├── range.ml ├── range.mli ├── richPrinting.ml ├── symbol.ml ├── symbol.mli ├── syntax.ml ├── typechecker.ml ├── typeenv.ml └── typeenv.mli └── test ├── bind.txt ├── genpower.txt ├── genpower2.txt ├── genpower3.txt └── single-stage.txt /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | *~ 3 | .merlin 4 | .DS_Store 5 | main 6 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/dune-project -------------------------------------------------------------------------------- /src/boundID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/boundID.ml -------------------------------------------------------------------------------- /src/boundID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/boundID.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/dune -------------------------------------------------------------------------------- /src/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/env.ml -------------------------------------------------------------------------------- /src/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/env.mli -------------------------------------------------------------------------------- /src/evaluator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/evaluator.ml -------------------------------------------------------------------------------- /src/freeID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/freeID.ml -------------------------------------------------------------------------------- /src/freeID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/freeID.mli -------------------------------------------------------------------------------- /src/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/lexer.mll -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/operation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/operation.ml -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/parserInterface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/parserInterface.ml -------------------------------------------------------------------------------- /src/primitives.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/primitives.ml -------------------------------------------------------------------------------- /src/range.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/range.ml -------------------------------------------------------------------------------- /src/range.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/range.mli -------------------------------------------------------------------------------- /src/richPrinting.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/richPrinting.ml -------------------------------------------------------------------------------- /src/symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/symbol.ml -------------------------------------------------------------------------------- /src/symbol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/symbol.mli -------------------------------------------------------------------------------- /src/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/syntax.ml -------------------------------------------------------------------------------- /src/typechecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/typechecker.ml -------------------------------------------------------------------------------- /src/typeenv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/typeenv.ml -------------------------------------------------------------------------------- /src/typeenv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/src/typeenv.mli -------------------------------------------------------------------------------- /test/bind.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/test/bind.txt -------------------------------------------------------------------------------- /test/genpower.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/test/genpower.txt -------------------------------------------------------------------------------- /test/genpower2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/test/genpower2.txt -------------------------------------------------------------------------------- /test/genpower3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/test/genpower3.txt -------------------------------------------------------------------------------- /test/single-stage.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/toy-macro-ml/HEAD/test/single-stage.txt --------------------------------------------------------------------------------