├── .gitignore ├── CHANGES.md ├── dune ├── dune-project ├── file_formats ├── cmi_format.ml ├── cmi_format.mli ├── cmt_format.ml └── cmt_format.mli ├── flake.lock ├── flake.nix ├── lambda ├── lambda.ml ├── lambda.mli ├── matching.ml ├── matching.mli ├── printlambda.ml ├── printlambda.mli ├── switch.ml ├── switch.mli ├── tmc.ml ├── tmc.mli ├── translattribute.ml ├── translattribute.mli ├── translclass.ml ├── translclass.mli ├── translcore.ml ├── translcore.mli ├── translmod.ml ├── translmod.mli ├── translobj.ml ├── translobj.mli ├── translprim.ml ├── translprim.mli ├── value_rec_compiler.ml └── value_rec_compiler.mli ├── lib └── melange_compiler_libs.ml ├── melange-compiler-libs.opam ├── nix ├── default.nix ├── overlay.nix └── shell.nix ├── parsing ├── ast_invariants.ml ├── builtin_attributes.ml ├── builtin_attributes.mli ├── location.ml ├── location.mli ├── unit_info.ml └── unit_info.mli ├── typing ├── annot.mli ├── btype.ml ├── btype.mli ├── cmt2annot.ml ├── ctype.ml ├── ctype.mli ├── data_types.ml ├── data_types.mli ├── datarepr.ml ├── datarepr.mli ├── env.ml ├── env.mli ├── envaux.ml ├── envaux.mli ├── errortrace.ml ├── errortrace.mli ├── errortrace_report.ml ├── errortrace_report.mli ├── includeclass.ml ├── includeclass.mli ├── includecore.ml ├── includecore.mli ├── includemod.ml ├── includemod.mli ├── includemod_errorprinter.ml ├── includemod_errorprinter.mli ├── mtype.ml ├── mtype.mli ├── oprint.ml ├── oprint.mli ├── out_type.ml ├── out_type.mli ├── parmatch.ml ├── parmatch.mli ├── patterns.ml ├── patterns.mli ├── persistent_env.ml ├── persistent_env.mli ├── predef.ml ├── predef.mli ├── primitive.ml ├── primitive.mli ├── printpat.ml ├── printpat.mli ├── printtyp.ml ├── printtyp.mli ├── printtyped.ml ├── printtyped.mli ├── rawprinttyp.ml ├── rawprinttyp.mli ├── shape.ml ├── shape.mli ├── shape_reduce.ml ├── shape_reduce.mli ├── signature_group.ml ├── signature_group.mli ├── stypes.ml ├── stypes.mli ├── subst.ml ├── subst.mli ├── tast_iterator.ml ├── tast_iterator.mli ├── tast_mapper.ml ├── tast_mapper.mli ├── typeclass.ml ├── typeclass.mli ├── typecore.ml ├── typecore.mli ├── typedecl.ml ├── typedecl.mli ├── typedecl_immediacy.ml ├── typedecl_immediacy.mli ├── typedecl_properties.ml ├── typedecl_properties.mli ├── typedecl_separability.ml ├── typedecl_separability.mli ├── typedecl_unboxed.ml ├── typedecl_unboxed.mli ├── typedecl_variance.ml ├── typedecl_variance.mli ├── typedtree.ml ├── typedtree.mli ├── typemod.ml ├── typemod.mli ├── typeopt.ml ├── typeopt.mli ├── types.ml ├── types.mli ├── typetexp.ml ├── typetexp.mli ├── untypeast.ml ├── untypeast.mli ├── value_rec_check.ml ├── value_rec_check.mli └── value_rec_types.mli ├── utils ├── bs_clflags.ml ├── bs_clflags.mli ├── config.fixed.ml ├── config.ml ├── config.mli ├── diffing.ml ├── diffing.mli ├── dune_support │ ├── dune │ └── new_predef_types.mli ├── misc.ml ├── misc.mli ├── warnings.ml └── warnings.mli └── wrapper └── melange_wrapper.mli /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | _opam 3 | .vscode 4 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/CHANGES.md -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/dune-project -------------------------------------------------------------------------------- /file_formats/cmi_format.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/file_formats/cmi_format.ml -------------------------------------------------------------------------------- /file_formats/cmi_format.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/file_formats/cmi_format.mli -------------------------------------------------------------------------------- /file_formats/cmt_format.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/file_formats/cmt_format.ml -------------------------------------------------------------------------------- /file_formats/cmt_format.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/file_formats/cmt_format.mli -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/flake.nix -------------------------------------------------------------------------------- /lambda/lambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/lambda.ml -------------------------------------------------------------------------------- /lambda/lambda.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/lambda.mli -------------------------------------------------------------------------------- /lambda/matching.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/matching.ml -------------------------------------------------------------------------------- /lambda/matching.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/matching.mli -------------------------------------------------------------------------------- /lambda/printlambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/printlambda.ml -------------------------------------------------------------------------------- /lambda/printlambda.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/printlambda.mli -------------------------------------------------------------------------------- /lambda/switch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/switch.ml -------------------------------------------------------------------------------- /lambda/switch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/switch.mli -------------------------------------------------------------------------------- /lambda/tmc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/tmc.ml -------------------------------------------------------------------------------- /lambda/tmc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/tmc.mli -------------------------------------------------------------------------------- /lambda/translattribute.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translattribute.ml -------------------------------------------------------------------------------- /lambda/translattribute.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translattribute.mli -------------------------------------------------------------------------------- /lambda/translclass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translclass.ml -------------------------------------------------------------------------------- /lambda/translclass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translclass.mli -------------------------------------------------------------------------------- /lambda/translcore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translcore.ml -------------------------------------------------------------------------------- /lambda/translcore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translcore.mli -------------------------------------------------------------------------------- /lambda/translmod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translmod.ml -------------------------------------------------------------------------------- /lambda/translmod.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translmod.mli -------------------------------------------------------------------------------- /lambda/translobj.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translobj.ml -------------------------------------------------------------------------------- /lambda/translobj.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translobj.mli -------------------------------------------------------------------------------- /lambda/translprim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translprim.ml -------------------------------------------------------------------------------- /lambda/translprim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/translprim.mli -------------------------------------------------------------------------------- /lambda/value_rec_compiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/value_rec_compiler.ml -------------------------------------------------------------------------------- /lambda/value_rec_compiler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lambda/value_rec_compiler.mli -------------------------------------------------------------------------------- /lib/melange_compiler_libs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/lib/melange_compiler_libs.ml -------------------------------------------------------------------------------- /melange-compiler-libs.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/melange-compiler-libs.opam -------------------------------------------------------------------------------- /nix/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/nix/default.nix -------------------------------------------------------------------------------- /nix/overlay.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/nix/overlay.nix -------------------------------------------------------------------------------- /nix/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/nix/shell.nix -------------------------------------------------------------------------------- /parsing/ast_invariants.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/ast_invariants.ml -------------------------------------------------------------------------------- /parsing/builtin_attributes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/builtin_attributes.ml -------------------------------------------------------------------------------- /parsing/builtin_attributes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/builtin_attributes.mli -------------------------------------------------------------------------------- /parsing/location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/location.ml -------------------------------------------------------------------------------- /parsing/location.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/location.mli -------------------------------------------------------------------------------- /parsing/unit_info.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/unit_info.ml -------------------------------------------------------------------------------- /parsing/unit_info.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/parsing/unit_info.mli -------------------------------------------------------------------------------- /typing/annot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/annot.mli -------------------------------------------------------------------------------- /typing/btype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/btype.ml -------------------------------------------------------------------------------- /typing/btype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/btype.mli -------------------------------------------------------------------------------- /typing/cmt2annot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/cmt2annot.ml -------------------------------------------------------------------------------- /typing/ctype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/ctype.ml -------------------------------------------------------------------------------- /typing/ctype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/ctype.mli -------------------------------------------------------------------------------- /typing/data_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/data_types.ml -------------------------------------------------------------------------------- /typing/data_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/data_types.mli -------------------------------------------------------------------------------- /typing/datarepr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/datarepr.ml -------------------------------------------------------------------------------- /typing/datarepr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/datarepr.mli -------------------------------------------------------------------------------- /typing/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/env.ml -------------------------------------------------------------------------------- /typing/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/env.mli -------------------------------------------------------------------------------- /typing/envaux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/envaux.ml -------------------------------------------------------------------------------- /typing/envaux.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/envaux.mli -------------------------------------------------------------------------------- /typing/errortrace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/errortrace.ml -------------------------------------------------------------------------------- /typing/errortrace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/errortrace.mli -------------------------------------------------------------------------------- /typing/errortrace_report.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/errortrace_report.ml -------------------------------------------------------------------------------- /typing/errortrace_report.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/errortrace_report.mli -------------------------------------------------------------------------------- /typing/includeclass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includeclass.ml -------------------------------------------------------------------------------- /typing/includeclass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includeclass.mli -------------------------------------------------------------------------------- /typing/includecore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includecore.ml -------------------------------------------------------------------------------- /typing/includecore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includecore.mli -------------------------------------------------------------------------------- /typing/includemod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includemod.ml -------------------------------------------------------------------------------- /typing/includemod.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includemod.mli -------------------------------------------------------------------------------- /typing/includemod_errorprinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includemod_errorprinter.ml -------------------------------------------------------------------------------- /typing/includemod_errorprinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/includemod_errorprinter.mli -------------------------------------------------------------------------------- /typing/mtype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/mtype.ml -------------------------------------------------------------------------------- /typing/mtype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/mtype.mli -------------------------------------------------------------------------------- /typing/oprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/oprint.ml -------------------------------------------------------------------------------- /typing/oprint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/oprint.mli -------------------------------------------------------------------------------- /typing/out_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/out_type.ml -------------------------------------------------------------------------------- /typing/out_type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/out_type.mli -------------------------------------------------------------------------------- /typing/parmatch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/parmatch.ml -------------------------------------------------------------------------------- /typing/parmatch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/parmatch.mli -------------------------------------------------------------------------------- /typing/patterns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/patterns.ml -------------------------------------------------------------------------------- /typing/patterns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/patterns.mli -------------------------------------------------------------------------------- /typing/persistent_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/persistent_env.ml -------------------------------------------------------------------------------- /typing/persistent_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/persistent_env.mli -------------------------------------------------------------------------------- /typing/predef.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/predef.ml -------------------------------------------------------------------------------- /typing/predef.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/predef.mli -------------------------------------------------------------------------------- /typing/primitive.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/primitive.ml -------------------------------------------------------------------------------- /typing/primitive.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/primitive.mli -------------------------------------------------------------------------------- /typing/printpat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/printpat.ml -------------------------------------------------------------------------------- /typing/printpat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/printpat.mli -------------------------------------------------------------------------------- /typing/printtyp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/printtyp.ml -------------------------------------------------------------------------------- /typing/printtyp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/printtyp.mli -------------------------------------------------------------------------------- /typing/printtyped.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/printtyped.ml -------------------------------------------------------------------------------- /typing/printtyped.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/printtyped.mli -------------------------------------------------------------------------------- /typing/rawprinttyp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/rawprinttyp.ml -------------------------------------------------------------------------------- /typing/rawprinttyp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/rawprinttyp.mli -------------------------------------------------------------------------------- /typing/shape.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/shape.ml -------------------------------------------------------------------------------- /typing/shape.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/shape.mli -------------------------------------------------------------------------------- /typing/shape_reduce.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/shape_reduce.ml -------------------------------------------------------------------------------- /typing/shape_reduce.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/shape_reduce.mli -------------------------------------------------------------------------------- /typing/signature_group.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/signature_group.ml -------------------------------------------------------------------------------- /typing/signature_group.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/signature_group.mli -------------------------------------------------------------------------------- /typing/stypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/stypes.ml -------------------------------------------------------------------------------- /typing/stypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/stypes.mli -------------------------------------------------------------------------------- /typing/subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/subst.ml -------------------------------------------------------------------------------- /typing/subst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/subst.mli -------------------------------------------------------------------------------- /typing/tast_iterator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/tast_iterator.ml -------------------------------------------------------------------------------- /typing/tast_iterator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/tast_iterator.mli -------------------------------------------------------------------------------- /typing/tast_mapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/tast_mapper.ml -------------------------------------------------------------------------------- /typing/tast_mapper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/tast_mapper.mli -------------------------------------------------------------------------------- /typing/typeclass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typeclass.ml -------------------------------------------------------------------------------- /typing/typeclass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typeclass.mli -------------------------------------------------------------------------------- /typing/typecore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typecore.ml -------------------------------------------------------------------------------- /typing/typecore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typecore.mli -------------------------------------------------------------------------------- /typing/typedecl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl.ml -------------------------------------------------------------------------------- /typing/typedecl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl.mli -------------------------------------------------------------------------------- /typing/typedecl_immediacy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_immediacy.ml -------------------------------------------------------------------------------- /typing/typedecl_immediacy.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_immediacy.mli -------------------------------------------------------------------------------- /typing/typedecl_properties.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_properties.ml -------------------------------------------------------------------------------- /typing/typedecl_properties.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_properties.mli -------------------------------------------------------------------------------- /typing/typedecl_separability.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_separability.ml -------------------------------------------------------------------------------- /typing/typedecl_separability.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_separability.mli -------------------------------------------------------------------------------- /typing/typedecl_unboxed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_unboxed.ml -------------------------------------------------------------------------------- /typing/typedecl_unboxed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_unboxed.mli -------------------------------------------------------------------------------- /typing/typedecl_variance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_variance.ml -------------------------------------------------------------------------------- /typing/typedecl_variance.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedecl_variance.mli -------------------------------------------------------------------------------- /typing/typedtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedtree.ml -------------------------------------------------------------------------------- /typing/typedtree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typedtree.mli -------------------------------------------------------------------------------- /typing/typemod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typemod.ml -------------------------------------------------------------------------------- /typing/typemod.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typemod.mli -------------------------------------------------------------------------------- /typing/typeopt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typeopt.ml -------------------------------------------------------------------------------- /typing/typeopt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typeopt.mli -------------------------------------------------------------------------------- /typing/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/types.ml -------------------------------------------------------------------------------- /typing/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/types.mli -------------------------------------------------------------------------------- /typing/typetexp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typetexp.ml -------------------------------------------------------------------------------- /typing/typetexp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/typetexp.mli -------------------------------------------------------------------------------- /typing/untypeast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/untypeast.ml -------------------------------------------------------------------------------- /typing/untypeast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/untypeast.mli -------------------------------------------------------------------------------- /typing/value_rec_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/value_rec_check.ml -------------------------------------------------------------------------------- /typing/value_rec_check.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/value_rec_check.mli -------------------------------------------------------------------------------- /typing/value_rec_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/typing/value_rec_types.mli -------------------------------------------------------------------------------- /utils/bs_clflags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/bs_clflags.ml -------------------------------------------------------------------------------- /utils/bs_clflags.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/bs_clflags.mli -------------------------------------------------------------------------------- /utils/config.fixed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/config.fixed.ml -------------------------------------------------------------------------------- /utils/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/config.ml -------------------------------------------------------------------------------- /utils/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/config.mli -------------------------------------------------------------------------------- /utils/diffing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/diffing.ml -------------------------------------------------------------------------------- /utils/diffing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/diffing.mli -------------------------------------------------------------------------------- /utils/dune_support/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/dune_support/dune -------------------------------------------------------------------------------- /utils/dune_support/new_predef_types.mli: -------------------------------------------------------------------------------- 1 | type !+'a iarray 2 | -------------------------------------------------------------------------------- /utils/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/misc.ml -------------------------------------------------------------------------------- /utils/misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/misc.mli -------------------------------------------------------------------------------- /utils/warnings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/warnings.ml -------------------------------------------------------------------------------- /utils/warnings.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/utils/warnings.mli -------------------------------------------------------------------------------- /wrapper/melange_wrapper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melange-re/melange-compiler-libs/HEAD/wrapper/melange_wrapper.mli --------------------------------------------------------------------------------