├── .github └── workflows │ └── test.yml ├── .gitignore ├── Changes ├── LICENSE ├── META ├── Makefile ├── README.md ├── _tags ├── lib ├── attr_support_530.ml ├── genletrec.ml ├── genletrec.mli ├── letrec.ml └── letrec.mli ├── lib_test ├── ackermann.ml ├── custom_eq.ml ├── even_odd.ml ├── nested.ml ├── polymorphic.ml ├── recursive_values.ml ├── residuals.ml ├── test_types.ml └── tests.ml ├── myocamlbuild.ml ├── opam └── ppx └── ppx_letrec.ml /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *~ 3 | *.byte 4 | *.native 5 | -------------------------------------------------------------------------------- /Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/Changes -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/LICENSE -------------------------------------------------------------------------------- /META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/META -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/_tags -------------------------------------------------------------------------------- /lib/attr_support_530.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib/attr_support_530.ml -------------------------------------------------------------------------------- /lib/genletrec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib/genletrec.ml -------------------------------------------------------------------------------- /lib/genletrec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib/genletrec.mli -------------------------------------------------------------------------------- /lib/letrec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib/letrec.ml -------------------------------------------------------------------------------- /lib/letrec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib/letrec.mli -------------------------------------------------------------------------------- /lib_test/ackermann.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/ackermann.ml -------------------------------------------------------------------------------- /lib_test/custom_eq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/custom_eq.ml -------------------------------------------------------------------------------- /lib_test/even_odd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/even_odd.ml -------------------------------------------------------------------------------- /lib_test/nested.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/nested.ml -------------------------------------------------------------------------------- /lib_test/polymorphic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/polymorphic.ml -------------------------------------------------------------------------------- /lib_test/recursive_values.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/recursive_values.ml -------------------------------------------------------------------------------- /lib_test/residuals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/residuals.ml -------------------------------------------------------------------------------- /lib_test/test_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/test_types.ml -------------------------------------------------------------------------------- /lib_test/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/lib_test/tests.ml -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/opam -------------------------------------------------------------------------------- /ppx/ppx_letrec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-letrec/HEAD/ppx/ppx_letrec.ml --------------------------------------------------------------------------------