├── .gitignore ├── Makefile ├── _tags ├── back.ml ├── builtin.ml ├── config.ml ├── emit.ml ├── error.ml ├── exe.ml ├── fpretty.ml ├── front.ml ├── global.ml ├── implementation.ml ├── instruction.ml ├── lambda.ml ├── ld.ml ├── lexer.mll ├── location.ml ├── main.ml ├── objdump.ml ├── parser.mly ├── prettiest.ml ├── pretty.ml ├── printer.ml ├── runtime ├── common.h ├── compare.c ├── error.c ├── error.h ├── instruct.c ├── instruct.h ├── io.c ├── io.h ├── main.c ├── prim.c ├── prim.h ├── str.c ├── str.h └── value.h ├── syntax.ml ├── tests ├── expr.ml ├── fib.ml ├── hello.ml ├── levenshtein.ml ├── match.ml ├── misc.ml └── try.ml ├── type.ml └── typing.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/Makefile -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- 1 | false: use_menhir 2 | true: debug 3 | -------------------------------------------------------------------------------- /back.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/back.ml -------------------------------------------------------------------------------- /builtin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/builtin.ml -------------------------------------------------------------------------------- /config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/config.ml -------------------------------------------------------------------------------- /emit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/emit.ml -------------------------------------------------------------------------------- /error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/error.ml -------------------------------------------------------------------------------- /exe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/exe.ml -------------------------------------------------------------------------------- /fpretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/fpretty.ml -------------------------------------------------------------------------------- /front.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/front.ml -------------------------------------------------------------------------------- /global.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/global.ml -------------------------------------------------------------------------------- /implementation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/implementation.ml -------------------------------------------------------------------------------- /instruction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/instruction.ml -------------------------------------------------------------------------------- /lambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/lambda.ml -------------------------------------------------------------------------------- /ld.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/ld.ml -------------------------------------------------------------------------------- /lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/lexer.mll -------------------------------------------------------------------------------- /location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/location.ml -------------------------------------------------------------------------------- /main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/main.ml -------------------------------------------------------------------------------- /objdump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/objdump.ml -------------------------------------------------------------------------------- /parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/parser.mly -------------------------------------------------------------------------------- /prettiest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/prettiest.ml -------------------------------------------------------------------------------- /pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/pretty.ml -------------------------------------------------------------------------------- /printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/printer.ml -------------------------------------------------------------------------------- /runtime/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/common.h -------------------------------------------------------------------------------- /runtime/compare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/compare.c -------------------------------------------------------------------------------- /runtime/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/error.c -------------------------------------------------------------------------------- /runtime/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/error.h -------------------------------------------------------------------------------- /runtime/instruct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/instruct.c -------------------------------------------------------------------------------- /runtime/instruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/instruct.h -------------------------------------------------------------------------------- /runtime/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/io.c -------------------------------------------------------------------------------- /runtime/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/io.h -------------------------------------------------------------------------------- /runtime/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/main.c -------------------------------------------------------------------------------- /runtime/prim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/prim.c -------------------------------------------------------------------------------- /runtime/prim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/prim.h -------------------------------------------------------------------------------- /runtime/str.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/str.c -------------------------------------------------------------------------------- /runtime/str.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/str.h -------------------------------------------------------------------------------- /runtime/value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/runtime/value.h -------------------------------------------------------------------------------- /syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/syntax.ml -------------------------------------------------------------------------------- /tests/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/expr.ml -------------------------------------------------------------------------------- /tests/fib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/fib.ml -------------------------------------------------------------------------------- /tests/hello.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/hello.ml -------------------------------------------------------------------------------- /tests/levenshtein.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/levenshtein.ml -------------------------------------------------------------------------------- /tests/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/match.ml -------------------------------------------------------------------------------- /tests/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/misc.ml -------------------------------------------------------------------------------- /tests/try.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/tests/try.ml -------------------------------------------------------------------------------- /type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/type.ml -------------------------------------------------------------------------------- /typing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MaskRay/CamlFeatherweight/HEAD/typing.ml --------------------------------------------------------------------------------