├── .gitignore ├── .ocamlformat ├── .ocamlinit ├── CHANGES.md ├── LICENSE ├── Makefile ├── README.md ├── dune-project ├── lib ├── builders.ml ├── builders.mli ├── dune ├── equality.ml ├── equality.mli ├── errors.ml ├── getters.ml ├── getters.mli ├── include.ml ├── include.mli ├── index.mld ├── interp_deriver.ml ├── interp_deriver.mli ├── inv_ctx.ml ├── let_open.ml ├── let_open.mli ├── lident.ml ├── lident.mli ├── miscellany.ml ├── miscellany.mli ├── names.ml ├── names.mli ├── overall_deriver.ml ├── ppx_mica.ml ├── printers.ml ├── printers.mli ├── test_harness_deriver.ml ├── test_harness_deriver.mli ├── type_deriver.ml ├── type_deriver.mli └── utils.ml ├── ppx_mica.opam └── test ├── .gitignore ├── ppx_test ├── dune ├── errors │ ├── dune │ └── dune.inc ├── gen_dune_rules.ml └── passing │ ├── bst.expected │ ├── bst.ml │ ├── dune │ ├── dune.inc │ ├── func_with_two_args.expected │ ├── func_with_two_args.ml │ ├── one_function_signature.expected │ ├── one_function_signature.ml │ ├── polynomial.expected │ ├── polynomial.ml │ ├── regex.expected │ ├── regex.ml │ ├── sets.expected │ ├── sets.ml │ ├── stack.expected │ ├── stack.ml │ ├── two_function_signature.expected │ └── two_function_signature.ml └── utils_test ├── README.md ├── all_tests.ml ├── boilerplate.ml ├── dune ├── test_abs_ty_helpers.ml ├── test_cstr_helpers.ml ├── test_equality.ml ├── test_gen_atom.ml ├── test_lident_helpers.ml ├── test_monomorphization.ml ├── test_name_helpers.ml ├── test_runner.ml └── test_ty_helpers.ml /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | .DS_Store 3 | *.txt 4 | *.jsonl 5 | .vscode/ 6 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/.ocamlformat -------------------------------------------------------------------------------- /.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/.ocamlinit -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/dune-project -------------------------------------------------------------------------------- /lib/builders.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/builders.ml -------------------------------------------------------------------------------- /lib/builders.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/builders.mli -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/equality.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/equality.ml -------------------------------------------------------------------------------- /lib/equality.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/equality.mli -------------------------------------------------------------------------------- /lib/errors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/errors.ml -------------------------------------------------------------------------------- /lib/getters.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/getters.ml -------------------------------------------------------------------------------- /lib/getters.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/getters.mli -------------------------------------------------------------------------------- /lib/include.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/include.ml -------------------------------------------------------------------------------- /lib/include.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/include.mli -------------------------------------------------------------------------------- /lib/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/index.mld -------------------------------------------------------------------------------- /lib/interp_deriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/interp_deriver.ml -------------------------------------------------------------------------------- /lib/interp_deriver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/interp_deriver.mli -------------------------------------------------------------------------------- /lib/inv_ctx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/inv_ctx.ml -------------------------------------------------------------------------------- /lib/let_open.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/let_open.ml -------------------------------------------------------------------------------- /lib/let_open.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/let_open.mli -------------------------------------------------------------------------------- /lib/lident.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/lident.ml -------------------------------------------------------------------------------- /lib/lident.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/lident.mli -------------------------------------------------------------------------------- /lib/miscellany.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/miscellany.ml -------------------------------------------------------------------------------- /lib/miscellany.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/miscellany.mli -------------------------------------------------------------------------------- /lib/names.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/names.ml -------------------------------------------------------------------------------- /lib/names.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/names.mli -------------------------------------------------------------------------------- /lib/overall_deriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/overall_deriver.ml -------------------------------------------------------------------------------- /lib/ppx_mica.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/ppx_mica.ml -------------------------------------------------------------------------------- /lib/printers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/printers.ml -------------------------------------------------------------------------------- /lib/printers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/printers.mli -------------------------------------------------------------------------------- /lib/test_harness_deriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/test_harness_deriver.ml -------------------------------------------------------------------------------- /lib/test_harness_deriver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/test_harness_deriver.mli -------------------------------------------------------------------------------- /lib/type_deriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/type_deriver.ml -------------------------------------------------------------------------------- /lib/type_deriver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/type_deriver.mli -------------------------------------------------------------------------------- /lib/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/lib/utils.ml -------------------------------------------------------------------------------- /ppx_mica.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/ppx_mica.opam -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | -------------------------------------------------------------------------------- /test/ppx_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/dune -------------------------------------------------------------------------------- /test/ppx_test/errors/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/errors/dune -------------------------------------------------------------------------------- /test/ppx_test/errors/dune.inc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/ppx_test/gen_dune_rules.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/gen_dune_rules.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/bst.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/bst.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/bst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/bst.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/dune -------------------------------------------------------------------------------- /test/ppx_test/passing/dune.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/dune.inc -------------------------------------------------------------------------------- /test/ppx_test/passing/func_with_two_args.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/func_with_two_args.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/func_with_two_args.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/func_with_two_args.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/one_function_signature.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/one_function_signature.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/one_function_signature.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/one_function_signature.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/polynomial.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/polynomial.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/polynomial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/polynomial.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/regex.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/regex.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/regex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/regex.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/sets.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/sets.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/sets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/sets.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/stack.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/stack.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/stack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/stack.ml -------------------------------------------------------------------------------- /test/ppx_test/passing/two_function_signature.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/two_function_signature.expected -------------------------------------------------------------------------------- /test/ppx_test/passing/two_function_signature.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/ppx_test/passing/two_function_signature.ml -------------------------------------------------------------------------------- /test/utils_test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/README.md -------------------------------------------------------------------------------- /test/utils_test/all_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/all_tests.ml -------------------------------------------------------------------------------- /test/utils_test/boilerplate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/boilerplate.ml -------------------------------------------------------------------------------- /test/utils_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/dune -------------------------------------------------------------------------------- /test/utils_test/test_abs_ty_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_abs_ty_helpers.ml -------------------------------------------------------------------------------- /test/utils_test/test_cstr_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_cstr_helpers.ml -------------------------------------------------------------------------------- /test/utils_test/test_equality.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_equality.ml -------------------------------------------------------------------------------- /test/utils_test/test_gen_atom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_gen_atom.ml -------------------------------------------------------------------------------- /test/utils_test/test_lident_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_lident_helpers.ml -------------------------------------------------------------------------------- /test/utils_test/test_monomorphization.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_monomorphization.ml -------------------------------------------------------------------------------- /test/utils_test/test_name_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_name_helpers.ml -------------------------------------------------------------------------------- /test/utils_test/test_runner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_runner.ml -------------------------------------------------------------------------------- /test/utils_test/test_ty_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ngernest/mica/HEAD/test/utils_test/test_ty_helpers.ml --------------------------------------------------------------------------------