├── .gitignore ├── .gitlab-ci.yml ├── .travis.yml ├── COPYING.GPLv3 ├── LICENSE ├── Makefile ├── README.md ├── appveyor-install.ps1 ├── appveyor-opam.sh ├── appveyor.yml ├── autoconf ├── .gitignore ├── Makefile.config.in ├── Makefile.rules ├── aclocal.m4 ├── build.ocp ├── config.ocp2gen.in ├── config.ocpgen.in ├── configure ├── configure.ac ├── generated.files ├── m4 │ ├── ax_compare_version.m4 │ └── ocaml.m4 ├── ocaml-config.h.in ├── travis-ci.sh └── travis-install.sh ├── config.ocp.in ├── configure ├── libs ├── ocplib-ace │ ├── .depend │ ├── ace.ml │ ├── ace.mli │ ├── ace_types.mli │ └── build.ocp ├── ocplib-compiler │ ├── build.ocp │ ├── lexer_iter.ml │ ├── lexer_iter.mli │ ├── parsetree_iter.ml │ ├── parsetree_iter.mli │ ├── parsetree_map.ml │ ├── parsetree_map.mli │ ├── typedtree_iter.ml │ ├── typedtree_iter.mli │ ├── typedtree_map.ml │ └── typedtree_map.mli ├── ocplib-d3pie │ ├── .depend │ ├── build.ocp │ ├── d3.js │ ├── d3.map │ ├── d3pie.ml │ ├── d3pie.mli │ └── d3pie_types.mli ├── ocplib-gettext │ ├── build.ocp │ ├── ocpGettext.ml │ └── ocpGettext.mli ├── ocplib-jsutils │ ├── .depend │ ├── build.ocp │ ├── js_utils.ml │ └── js_utils.mli ├── ocplib-ppx │ ├── build.ocp │ ├── ppx_mapper.ml │ └── ppx_mapper.mli └── ocplib-sempatch │ ├── .gitignore │ ├── .gitlab-ci.yml │ ├── README.md │ ├── build.ocp │ └── lib │ ├── ast_element.ml │ ├── automaton │ ├── automaton.ml │ ├── eval.ml │ ├── eval.mli │ └── generator │ │ ├── abc.ml │ │ ├── abc.mli │ │ ├── automaton_processor.ml │ │ ├── automaton_processor.mli │ │ ├── common.ml │ │ ├── common.mli │ │ ├── eval_builder.ml │ │ ├── eval_builder.mli │ │ ├── from.ml │ │ ├── from.mli │ │ ├── generic.ml │ │ ├── match_builder.ml │ │ ├── match_builder.mli │ │ ├── spec.org │ │ ├── tree402.mli │ │ ├── tree403.mli │ │ ├── tree404.mli │ │ ├── tree405.mli │ │ ├── tree406.mli │ │ ├── type_collector.ml │ │ ├── type_collector.mli │ │ ├── wildcard.ml │ │ └── wildcard.mli │ ├── failure.ml │ ├── failure.mli │ ├── guard_evaluator.ml │ ├── guard_evaluator.mli │ ├── match.ml │ ├── match.mli │ ├── parsing │ ├── code_lexer.mll │ ├── code_parser.mly │ ├── guard.ml │ ├── guard.mli │ ├── guard_lexer.mll │ ├── guard_parser.mly │ ├── parsed_patches.ml │ ├── parsed_patches.mli │ ├── patch_lexer.mll │ ├── patch_parser.mly │ ├── raw_patch.ml │ └── raw_patch.mli │ ├── sempatch.ml │ ├── sempatch.mli │ ├── std_utils.ml │ ├── std_utils │ ├── sUError.ml │ ├── sUError.mli │ ├── sUFun.ml │ ├── sUFun.mli │ ├── sUList.ml │ ├── sUList.mli │ ├── sUMessages.ml │ ├── sUMessages.mli │ ├── sUMisc.ml │ ├── sUMisc.mli │ ├── sUOption.ml │ ├── sUOption.mli │ ├── sUStringMap.ml │ ├── sUStringMap.mli │ └── std_utils.ml │ ├── substitution.ml │ └── substitution.mli ├── ocp-autoconf.config ├── opam ├── plugins ├── README.txt ├── make_db_test.sh ├── ocp-lint-plugin-complex │ ├── build.ocp │ ├── interface_module_type_name.ml │ ├── plugin_complex.ml │ └── tests │ │ ├── .ocplint │ │ ├── build.ocp │ │ └── module_type_name │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ ├── 2d1e84397f8aec6661adbf688ce7b73a │ │ └── 33145cbee016a553d5385ef2bf540c54 │ │ ├── test_module_type_name.ml │ │ └── test_module_type_name.mli ├── ocp-lint-plugin-files │ ├── build.ocp │ ├── interface_missing.ml │ ├── plugin_file_system.ml │ ├── project_files.ml │ └── tests │ │ ├── .ocplint │ │ ├── build.ocp │ │ └── interface_missing │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ └── 06e08076b07bd84b1d19c9c5f869ca4d │ │ └── test_interface_missing.ml ├── ocp-lint-plugin-indent │ ├── build.ocp │ ├── ocp_indent.ml │ ├── plugin_indent.ml │ └── tests │ │ ├── .ocplint │ │ ├── build.ocp │ │ └── ocp_indent │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ ├── 4d4b5217df862462ae39042a1dade445 │ │ ├── 566910322489a75fde76df5112fe7999 │ │ ├── 9f85cae42d6265c02d4cdbbe80cc0ee1 │ │ └── cf5282d2ebef628872c880f0730e92aa │ │ └── test_ocp_indent.ml ├── ocp-lint-plugin-parsetree │ ├── build.ocp │ ├── checkClass.ml │ ├── checkConstructorArgs.ml │ ├── checkExternal.ml │ ├── checkGoodPractices.ml │ ├── checkPatternGuard.ml │ ├── checkPolymorphicVariants.ml │ ├── checkTypeDeclaration.ml │ ├── identifier_length.ml │ ├── list_function_on_singleton.ml │ ├── physical_comp_on_alloc_lit.ml │ ├── plugin_parsetree.ml │ ├── redefine_std_lib.ml │ ├── std_lib.ml │ └── tests │ │ ├── .ocplint │ │ ├── build.ocp │ │ ├── identifier_length │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 7d7e4e04dacf6d2b16f9bc90ebf9c802 │ │ └── test_identifier_length.ml │ │ ├── list_fun_on_singleton │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 6dea8cfb1a7de94d5f362d6548c55948 │ │ └── test_list_fun_on_singleton.ml │ │ ├── physical_comp_on_allocated_lit │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 83f1ad17f3d27d1004a7ce287bce32a3 │ │ └── test_phys_comp_on_allocated_lit.ml │ │ └── redefine_std_lib │ │ ├── .ocplint │ │ ├── config.ml │ │ ├── ocp-lint.result │ │ ├── 8c794107745dd52f38ec72d064978d6a │ │ └── f87a9ba7d82e0113f012a8b023b1efce │ │ └── test_redefine_std_lib.ml ├── ocp-lint-plugin-parsing │ ├── .gitignore │ ├── apply-patch.sh │ ├── build.ocp │ ├── gen-patch.sh │ ├── lintParsingGetFeatures.ml │ ├── lintParsingLinter.ml │ ├── lintParsingLinterCheckTuple.ml │ ├── lintParsingPlugin.ml │ ├── lintParsing_Ast_helper.ml │ ├── lintParsing_Ast_iterator.ml │ ├── lintParsing_Ast_iterator.mli │ ├── lintParsing_Asttypes.mli │ ├── lintParsing_Docstrings.ml │ ├── lintParsing_Lexer.mll │ ├── lintParsing_Location.ml │ ├── lintParsing_Parse.ml │ ├── lintParsing_Parse.mli │ ├── lintParsing_Parser.mly │ ├── lintParsing_Parsetree.mli │ ├── lintParsing_Syntaxerr.ml │ ├── main.ml │ └── tests │ │ ├── .gitignore │ │ ├── .ocplint │ │ ├── .ocpstop │ │ ├── Makefile │ │ ├── build.ocp │ │ ├── test.ml │ │ └── test.reference ├── ocp-lint-plugin-sempatch │ ├── build.ocp │ ├── lint_sempatch.ml │ ├── patches │ │ └── core_patch.md │ ├── plugin_patch.ml │ └── tests │ │ ├── .ocplint │ │ ├── build.ocp │ │ ├── sempatch_backward_if │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── d08e9b505b422eb779cb21717ed422d1 │ │ └── test_sempatch_backward_if.ml │ │ ├── sempatch_comp_to_false │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 3be2d8938459aa4ecf1ca7f35d8ea31d │ │ └── test_sempatch_comp_to_false.ml │ │ ├── sempatch_comp_to_true │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 866b4dd68fbcbb7c7ad4ab4b2fd11503 │ │ └── test_sempatch_comp_to_true.ml │ │ ├── sempatch_constant_if │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 75784dd883a4fe0bcc3293e8b54c4d93 │ │ └── test_constant_if.ml │ │ ├── sempatch_empty_list_compare │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── be780e4c73479987acccf2bc0487e652 │ │ └── test_sempatch_empty_list_cmp.ml │ │ ├── sempatch_identity_let │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 897663146003983141984362715f3b92 │ │ └── test_identity_let.ml │ │ ├── sempatch_incr_decr │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── b413206f36fadacad9a83e5cdcd1caba │ │ └── test_sempatch_incr_decr.ml │ │ ├── sempatch_parallel_let_bindings │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 4444496085a17b45c9007c6fc3d24f19 │ │ ├── sempatch.md │ │ └── test_parallel_let_bindings.ml │ │ ├── sempatch_succ_pred │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 1f3f548f2e69a9d5a787221b9aa2cf80 │ │ ├── sempatch.md │ │ └── test_sempatch_succ_pred.ml │ │ ├── sempatch_test_list_op_on_lit │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── b1e981b56e350a82c813f0beba0db8b9 │ │ └── test_sempatch_list_op_on_lit.ml │ │ ├── sempatch_traverse_nodes │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 65ff12f9029c7c14b4928167bfde08ea │ │ ├── sempatch.md │ │ └── test_sempatch_traverse_nodes.ml │ │ ├── sempatch_useless_else │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ │ └── 66ca2da272df0568b40e918f2f0dfac9 │ │ └── test_sempatch_useless_else.ml │ │ └── sempatch_useless_if │ │ ├── .ocplint │ │ ├── ocp-lint.result │ │ └── 1b78a7f1828148dd946df9b5fcaaf4ac │ │ └── test_sempatch_useless_if.ml ├── ocp-lint-plugin-text │ ├── build.ocp │ ├── code_length.ml │ ├── not_that_char.ml │ ├── plugin_text.ml │ ├── tests │ │ ├── .ocplint │ │ ├── build.ocp │ │ └── code_length │ │ │ ├── .ocplint │ │ │ ├── ocp-lint.result │ │ │ └── 21a080aedc1da1f0a11c1121fdec16b6 │ │ │ └── test_code_length.ml │ └── useless_space.ml ├── ocp-lint-plugin-tokens │ ├── build.ocp │ ├── checkTokens.ml │ └── plugin_tokens.ml └── ocp-lint-plugin-typedtree │ ├── build.ocp │ ├── checkFullyQualified.ml │ ├── checkHashtbl.ml │ ├── checkIdentifier.ml │ ├── checkIdentifierMasking.ml │ ├── checkInheritance.ml │ ├── checkModuleUtilization.ml │ ├── plugin_typedtree.ml │ ├── polymorphic_comparison.ml │ └── tests │ ├── .gitignore │ ├── .ocplint │ ├── .ocpstop │ ├── Makefile │ ├── build.ocp │ ├── test.ml │ └── test.reference ├── push-opam.sh ├── scripts └── pre-commit-lint ├── specs ├── Makefile ├── biblio.bib ├── conclusion.tex ├── config-build-install.tex ├── configuration.tex ├── database.tex ├── extensibility.tex ├── overview.tex ├── related.tex ├── sempatch.tex ├── sempatch_example.sp ├── typerex-lint.pdf ├── typerex-lint.tex ├── usage.tex └── use-cases.tex ├── testsuite ├── .ocplint ├── README.md ├── build.ocp └── testsuite.ml └── tools ├── ocp-lint-doc ├── README.md ├── build.ocp ├── css │ ├── bootstrap.css │ ├── bootstrap.min.css │ ├── ocplint.css │ ├── searchicon.png │ └── simple-sidebar.css ├── examples │ ├── plugin_complex.interface_module_type_name.1.ml │ ├── plugin_complex.interface_module_type_name.1.warn │ ├── plugin_file_system.interface_missing.1.ml │ ├── plugin_file_system.interface_missing.1.warn │ ├── plugin_file_system.project_files.1.ml │ ├── plugin_file_system.project_files.1.warn │ ├── plugin_file_system.project_files.2.ml │ ├── plugin_file_system.project_files.2.warn │ ├── plugin_indent.ocp_indent.1.ml │ ├── plugin_indent.ocp_indent.1.warn │ ├── plugin_parsetree.check_constr_args.1.ml │ ├── plugin_parsetree.check_constr_args.1.warn │ ├── plugin_parsetree.code_identifier_length.1.ml │ ├── plugin_parsetree.code_identifier_length.1.warn │ ├── plugin_parsetree.code_identifier_length.2.ml │ ├── plugin_parsetree.code_identifier_length.2.warn │ ├── plugin_parsetree.code_list_on_singleton.1.ml │ ├── plugin_parsetree.code_list_on_singleton.1.warn │ ├── plugin_parsetree.code_list_on_singleton.2.ml │ ├── plugin_parsetree.code_list_on_singleton.2.warn │ ├── plugin_parsetree.code_redefine_stdlib_module.1.ml │ ├── plugin_parsetree.code_redefine_stdlib_module.1.warn │ ├── plugin_parsetree.code_redefine_stdlib_module.2.ml │ ├── plugin_parsetree.code_redefine_stdlib_module.2.warn │ ├── plugin_parsetree.external_code.1.ml │ ├── plugin_parsetree.external_code.1.warn │ ├── plugin_parsetree.fabrice_good_practices.1.ml │ ├── plugin_parsetree.fabrice_good_practices.1.warn │ ├── plugin_parsetree.fabrice_good_practices.2.ml │ ├── plugin_parsetree.fabrice_good_practices.2.warn │ ├── plugin_parsetree.pattern_guard.1.ml │ ├── plugin_parsetree.pattern_guard.1.warn │ ├── plugin_parsetree.phys_comp_allocated_lit.1.ml │ ├── plugin_parsetree.phys_comp_allocated_lit.1.warn │ ├── plugin_parsetree.polymorphic_variants.1.ml │ ├── plugin_parsetree.polymorphic_variants.1.warn │ ├── plugin_parsetree.type_declaration.1.ml │ ├── plugin_parsetree.type_declaration.1.warn │ ├── plugin_parsing.check_tuple.1.ml │ ├── plugin_parsing.check_tuple.1.warn │ ├── plugin_parsing.raw_syntax.1.ml │ ├── plugin_parsing.raw_syntax.1.warn │ ├── plugin_parsing.raw_syntax.2.ml │ ├── plugin_parsing.raw_syntax.2.warn │ ├── plugin_parsing.raw_syntax.3.ml │ ├── plugin_parsing.raw_syntax.3.warn │ ├── plugin_parsing.raw_syntax.4.ml │ ├── plugin_parsing.raw_syntax.4.warn │ ├── plugin_parsing.raw_syntax.5.ml │ ├── plugin_parsing.raw_syntax.5.warn │ ├── plugin_parsing.raw_syntax.6.ml │ ├── plugin_parsing.raw_syntax.6.warn │ ├── plugin_parsing.raw_syntax.7.ml │ ├── plugin_parsing.raw_syntax.7.warn │ ├── plugin_parsing.raw_syntax.8.ml │ ├── plugin_parsing.raw_syntax.8.warn │ ├── plugin_text.code_length.1.ml │ ├── plugin_text.code_length.1.warn │ ├── plugin_text.not_that_char.1.ml │ ├── plugin_text.not_that_char.1.warn │ ├── plugin_text.not_that_char.2.ml │ ├── plugin_text.not_that_char.2.warn │ ├── plugin_text.useless_space_line.1.ml │ ├── plugin_text.useless_space_line.1.warn │ ├── plugin_text.useless_space_line.2.ml │ ├── plugin_text.useless_space_line.2.warn │ ├── plugin_typedtree.check_hash_table.1.ml │ ├── plugin_typedtree.check_hash_table.1.warn │ ├── plugin_typedtree.check_identifier.1.ml │ ├── plugin_typedtree.check_identifier.1.warn │ ├── plugin_typedtree.check_identifier.2.ml │ ├── plugin_typedtree.check_identifier.2.warn │ ├── plugin_typedtree.check_identifier.3.ml │ ├── plugin_typedtree.check_identifier.3.warn │ ├── plugin_typedtree.check_identifier.4.ml │ ├── plugin_typedtree.check_identifier.4.warn │ ├── plugin_typedtree.fully_qualified_identifiers.1.ml │ ├── plugin_typedtree.fully_qualified_identifiers.1.warn │ ├── plugin_typedtree.module_utilization.1.ml │ ├── plugin_typedtree.module_utilization.1.warn │ ├── plugin_typedtree.module_utilization.2.ml │ ├── plugin_typedtree.module_utilization.2.warn │ ├── plugin_typedtree.module_utilization.3.ml │ ├── plugin_typedtree.module_utilization.3.warn │ ├── plugin_typedtree.polymorphic_function.1.ml │ └── plugin_typedtree.polymorphic_function.1.warn ├── js │ └── make_doc.js ├── make_doc.ml └── ocp.stop ├── ocp-lint-web ├── doc │ ├── img │ │ ├── ocp_lint_web_errors.png │ │ ├── ocp_lint_web_file.png │ │ ├── ocp_lint_web_file_errors.png │ │ ├── ocp_lint_web_file_warnings.png │ │ ├── ocp_lint_web_home.png │ │ └── ocp_lint_web_warnings.png │ ├── makefile │ └── ocp-lint-web.tex ├── src │ ├── build.ocp │ ├── web_code_viewer.ml │ ├── web_components.ml │ ├── web_components.mli │ ├── web_errors.ml │ ├── web_errors.mli │ ├── web_errors_content.ml │ ├── web_errors_content.mli │ ├── web_file_content.ml │ ├── web_file_content.mli │ ├── web_file_content_data.ml │ ├── web_file_content_data.mli │ ├── web_filter_system.ml │ ├── web_filter_system.mli │ ├── web_home_content.ml │ ├── web_home_content.mli │ ├── web_main.ml │ ├── web_navigation_system.ml │ ├── web_navigation_system.mli │ ├── web_utils.ml │ ├── web_utils.mli │ ├── web_warnings_content.ml │ └── web_warnings_content.mli └── static │ ├── css │ ├── adjustment_ace.css │ ├── adjustment_bootstrap.css │ ├── bootstrap.min.css │ ├── bootstrap.min.css.map │ └── ocp_lint_web.css │ ├── fonts │ ├── glyphicons-halflings-regular.eot │ ├── glyphicons-halflings-regular.svg │ ├── glyphicons-halflings-regular.ttf │ ├── glyphicons-halflings-regular.woff │ └── glyphicons-halflings-regular.woff2 │ └── js │ ├── ace.js │ ├── bootstrap.min.js │ ├── d3.js │ ├── d3pie.min.js │ ├── jquery.min.js │ ├── mode-ocaml.js │ ├── ocaml_highlight_rules.js │ ├── ocplib_re.js │ ├── ocplib_unix.js │ └── theme-monokai.js └── ocp-lint ├── README.txt ├── api ├── build.ocp ├── lint_input.ml ├── lint_input.mli ├── lint_map.ml ├── lint_map.mli ├── lint_plugin.ml ├── lint_plugin.mli ├── lint_plugin_api.ml ├── lint_plugin_api.mli ├── lint_plugin_error.ml ├── lint_plugin_error.mli ├── lint_plugin_types.ml ├── lint_plugin_types.mli ├── lint_types.ml ├── lint_types.mli ├── lint_warning.ml ├── lint_warning.mli ├── lint_warning_decl.ml ├── lint_warning_decl.mli ├── lint_warning_types.ml └── lint_warning_types.mli ├── config ├── build.ocp ├── lint_config.ml ├── lint_config.mli ├── lint_config_types.ml └── lint_config_types.mli ├── db ├── build.ocp ├── lint_db.ml ├── lint_db.mli ├── lint_db_error.ml ├── lint_db_error.mli ├── lint_db_types.ml └── lint_db_types.mli ├── init ├── build.ocp ├── lint_globals.ml └── lint_globals.mli ├── main ├── .ocplint ├── build.ocp ├── lint.ml ├── lint.mli ├── lint_actions.ml ├── lint_actions.mli ├── lint_init_dynload.ml ├── lint_init_dynload.mli ├── lint_parallel_engine.ml ├── lint_parallel_engine.mli └── main.ml ├── output ├── build.ocp ├── lint_text.ml ├── lint_text.mli ├── lint_web.ml ├── lint_web.mli ├── lint_web_analysis_info.ml └── lint_web_analysis_info.mli └── utils ├── build.ocp ├── lint_parse_args.ml ├── lint_parse_args.mli ├── lint_utils.ml └── lint_utils.mli /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/.travis.yml -------------------------------------------------------------------------------- /COPYING.GPLv3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/COPYING.GPLv3 -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/README.md -------------------------------------------------------------------------------- /appveyor-install.ps1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/appveyor-install.ps1 -------------------------------------------------------------------------------- /appveyor-opam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/appveyor-opam.sh -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/appveyor.yml -------------------------------------------------------------------------------- /autoconf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/.gitignore -------------------------------------------------------------------------------- /autoconf/Makefile.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/Makefile.config.in -------------------------------------------------------------------------------- /autoconf/Makefile.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/Makefile.rules -------------------------------------------------------------------------------- /autoconf/aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/aclocal.m4 -------------------------------------------------------------------------------- /autoconf/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/build.ocp -------------------------------------------------------------------------------- /autoconf/config.ocp2gen.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/config.ocp2gen.in -------------------------------------------------------------------------------- /autoconf/config.ocpgen.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/config.ocpgen.in -------------------------------------------------------------------------------- /autoconf/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/configure -------------------------------------------------------------------------------- /autoconf/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/configure.ac -------------------------------------------------------------------------------- /autoconf/generated.files: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/generated.files -------------------------------------------------------------------------------- /autoconf/m4/ax_compare_version.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/m4/ax_compare_version.m4 -------------------------------------------------------------------------------- /autoconf/m4/ocaml.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/m4/ocaml.m4 -------------------------------------------------------------------------------- /autoconf/ocaml-config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/ocaml-config.h.in -------------------------------------------------------------------------------- /autoconf/travis-ci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/travis-ci.sh -------------------------------------------------------------------------------- /autoconf/travis-install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/autoconf/travis-install.sh -------------------------------------------------------------------------------- /config.ocp.in: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/configure -------------------------------------------------------------------------------- /libs/ocplib-ace/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ace/.depend -------------------------------------------------------------------------------- /libs/ocplib-ace/ace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ace/ace.ml -------------------------------------------------------------------------------- /libs/ocplib-ace/ace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ace/ace.mli -------------------------------------------------------------------------------- /libs/ocplib-ace/ace_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ace/ace_types.mli -------------------------------------------------------------------------------- /libs/ocplib-ace/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ace/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-compiler/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-compiler/lexer_iter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/lexer_iter.ml -------------------------------------------------------------------------------- /libs/ocplib-compiler/lexer_iter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/lexer_iter.mli -------------------------------------------------------------------------------- /libs/ocplib-compiler/parsetree_iter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/parsetree_iter.ml -------------------------------------------------------------------------------- /libs/ocplib-compiler/parsetree_iter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/parsetree_iter.mli -------------------------------------------------------------------------------- /libs/ocplib-compiler/parsetree_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/parsetree_map.ml -------------------------------------------------------------------------------- /libs/ocplib-compiler/parsetree_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/parsetree_map.mli -------------------------------------------------------------------------------- /libs/ocplib-compiler/typedtree_iter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/typedtree_iter.ml -------------------------------------------------------------------------------- /libs/ocplib-compiler/typedtree_iter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/typedtree_iter.mli -------------------------------------------------------------------------------- /libs/ocplib-compiler/typedtree_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/typedtree_map.ml -------------------------------------------------------------------------------- /libs/ocplib-compiler/typedtree_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-compiler/typedtree_map.mli -------------------------------------------------------------------------------- /libs/ocplib-d3pie/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/.depend -------------------------------------------------------------------------------- /libs/ocplib-d3pie/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-d3pie/d3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/d3.js -------------------------------------------------------------------------------- /libs/ocplib-d3pie/d3.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/d3.map -------------------------------------------------------------------------------- /libs/ocplib-d3pie/d3pie.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/d3pie.ml -------------------------------------------------------------------------------- /libs/ocplib-d3pie/d3pie.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/d3pie.mli -------------------------------------------------------------------------------- /libs/ocplib-d3pie/d3pie_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-d3pie/d3pie_types.mli -------------------------------------------------------------------------------- /libs/ocplib-gettext/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-gettext/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-gettext/ocpGettext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-gettext/ocpGettext.ml -------------------------------------------------------------------------------- /libs/ocplib-gettext/ocpGettext.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-gettext/ocpGettext.mli -------------------------------------------------------------------------------- /libs/ocplib-jsutils/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-jsutils/.depend -------------------------------------------------------------------------------- /libs/ocplib-jsutils/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-jsutils/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-jsutils/js_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-jsutils/js_utils.ml -------------------------------------------------------------------------------- /libs/ocplib-jsutils/js_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-jsutils/js_utils.mli -------------------------------------------------------------------------------- /libs/ocplib-ppx/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ppx/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-ppx/ppx_mapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ppx/ppx_mapper.ml -------------------------------------------------------------------------------- /libs/ocplib-ppx/ppx_mapper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-ppx/ppx_mapper.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/.gitignore -------------------------------------------------------------------------------- /libs/ocplib-sempatch/.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/.gitlab-ci.yml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/README.md -------------------------------------------------------------------------------- /libs/ocplib-sempatch/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/build.ocp -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/ast_element.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/ast_element.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/automaton.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/automaton.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/eval.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/eval.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/abc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/abc.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/abc.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/automaton_processor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/automaton_processor.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/automaton_processor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/automaton_processor.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/common.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/common.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/eval_builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/eval_builder.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/eval_builder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/eval_builder.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/from.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/from.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/from.mli: -------------------------------------------------------------------------------- 1 | include Generic.S with type t = Parsetree.structure 2 | -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/generic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/generic.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/match_builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/match_builder.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/match_builder.mli: -------------------------------------------------------------------------------- 1 | include Generic.S with type t = Parsetree.structure 2 | -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/spec.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/spec.org -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/tree402.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/tree402.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/tree403.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/tree403.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/tree404.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/tree404.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/tree405.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/tree405.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/tree406.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/tree406.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/type_collector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/type_collector.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/type_collector.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/type_collector.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/wildcard.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/automaton/generator/wildcard.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/automaton/generator/wildcard.mli: -------------------------------------------------------------------------------- 1 | include Generic.S with type t = Parsetree.structure 2 | -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/failure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/failure.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/failure.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/failure.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/guard_evaluator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/guard_evaluator.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/guard_evaluator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/guard_evaluator.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/match.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/match.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/match.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/code_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/code_lexer.mll -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/code_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/code_parser.mly -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/guard.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/guard.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/guard.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/guard.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/guard_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/guard_lexer.mll -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/guard_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/guard_parser.mly -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/parsed_patches.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/parsed_patches.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/parsed_patches.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/parsed_patches.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/patch_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/patch_lexer.mll -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/patch_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/patch_parser.mly -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/raw_patch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/raw_patch.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/parsing/raw_patch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/parsing/raw_patch.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/sempatch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/sempatch.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/sempatch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/sempatch.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUError.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUError.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUError.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUError.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUFun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUFun.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUFun.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUFun.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUList.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUList.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUMessages.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUMessages.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUMessages.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUMessages.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUMisc.ml: -------------------------------------------------------------------------------- 1 | let pair a b = a,b 2 | -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUMisc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUMisc.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUOption.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUOption.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUOption.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUOption.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUStringMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUStringMap.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/sUStringMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/sUStringMap.mli -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/std_utils/std_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/std_utils/std_utils.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/substitution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/substitution.ml -------------------------------------------------------------------------------- /libs/ocplib-sempatch/lib/substitution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/libs/ocplib-sempatch/lib/substitution.mli -------------------------------------------------------------------------------- /ocp-autoconf.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/ocp-autoconf.config -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/opam -------------------------------------------------------------------------------- /plugins/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/README.txt -------------------------------------------------------------------------------- /plugins/make_db_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/make_db_test.sh -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/interface_module_type_name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/interface_module_type_name.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/plugin_complex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/plugin_complex.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/module_type_name/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/module_type_name/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/module_type_name/ocp-lint.result/2d1e84397f8aec6661adbf688ce7b73a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/module_type_name/ocp-lint.result/2d1e84397f8aec6661adbf688ce7b73a -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/module_type_name/ocp-lint.result/33145cbee016a553d5385ef2bf540c54: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/module_type_name/ocp-lint.result/33145cbee016a553d5385ef2bf540c54 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/module_type_name/test_module_type_name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/module_type_name/test_module_type_name.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-complex/tests/module_type_name/test_module_type_name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-complex/tests/module_type_name/test_module_type_name.mli -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/interface_missing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/interface_missing.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/plugin_file_system.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/plugin_file_system.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/project_files.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/project_files.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/tests/interface_missing/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/tests/interface_missing/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/tests/interface_missing/ocp-lint.result/06e08076b07bd84b1d19c9c5f869ca4d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/tests/interface_missing/ocp-lint.result/06e08076b07bd84b1d19c9c5f869ca4d -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-files/tests/interface_missing/test_interface_missing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-files/tests/interface_missing/test_interface_missing.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/ocp_indent.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/ocp_indent.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/plugin_indent.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/plugin_indent.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/ocp_indent/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/ocp_indent/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/4d4b5217df862462ae39042a1dade445: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/4d4b5217df862462ae39042a1dade445 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/566910322489a75fde76df5112fe7999: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/566910322489a75fde76df5112fe7999 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/9f85cae42d6265c02d4cdbbe80cc0ee1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/9f85cae42d6265c02d4cdbbe80cc0ee1 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/cf5282d2ebef628872c880f0730e92aa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/ocp_indent/ocp-lint.result/cf5282d2ebef628872c880f0730e92aa -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-indent/tests/ocp_indent/test_ocp_indent.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-indent/tests/ocp_indent/test_ocp_indent.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkClass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkClass.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkConstructorArgs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkConstructorArgs.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkExternal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkExternal.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkGoodPractices.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkGoodPractices.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkPatternGuard.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkPatternGuard.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkPolymorphicVariants.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkPolymorphicVariants.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/checkTypeDeclaration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/checkTypeDeclaration.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/identifier_length.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/identifier_length.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/list_function_on_singleton.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/list_function_on_singleton.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/physical_comp_on_alloc_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/physical_comp_on_alloc_lit.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/plugin_parsetree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/plugin_parsetree.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/redefine_std_lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/redefine_std_lib.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/std_lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/std_lib.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/identifier_length/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/identifier_length/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/identifier_length/ocp-lint.result/7d7e4e04dacf6d2b16f9bc90ebf9c802: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/identifier_length/ocp-lint.result/7d7e4e04dacf6d2b16f9bc90ebf9c802 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/identifier_length/test_identifier_length.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/identifier_length/test_identifier_length.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/list_fun_on_singleton/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/list_fun_on_singleton/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/list_fun_on_singleton/ocp-lint.result/6dea8cfb1a7de94d5f362d6548c55948: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/list_fun_on_singleton/ocp-lint.result/6dea8cfb1a7de94d5f362d6548c55948 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/list_fun_on_singleton/test_list_fun_on_singleton.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/list_fun_on_singleton/test_list_fun_on_singleton.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/physical_comp_on_allocated_lit/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/physical_comp_on_allocated_lit/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/physical_comp_on_allocated_lit/ocp-lint.result/83f1ad17f3d27d1004a7ce287bce32a3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/physical_comp_on_allocated_lit/ocp-lint.result/83f1ad17f3d27d1004a7ce287bce32a3 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/physical_comp_on_allocated_lit/test_phys_comp_on_allocated_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/physical_comp_on_allocated_lit/test_phys_comp_on_allocated_lit.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/config.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/ocp-lint.result/8c794107745dd52f38ec72d064978d6a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/ocp-lint.result/8c794107745dd52f38ec72d064978d6a -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/ocp-lint.result/f87a9ba7d82e0113f012a8b023b1efce: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/ocp-lint.result/f87a9ba7d82e0113f012a8b023b1efce -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsetree/tests/redefine_std_lib/test_redefine_std_lib.ml: -------------------------------------------------------------------------------- 1 | module Pervasives = struct end 2 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/.gitignore -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/apply-patch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/apply-patch.sh -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/gen-patch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/gen-patch.sh -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsingGetFeatures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsingGetFeatures.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsingLinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsingLinter.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsingLinterCheckTuple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsingLinterCheckTuple.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsingPlugin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsingPlugin.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Ast_helper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Ast_helper.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Ast_iterator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Ast_iterator.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Ast_iterator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Ast_iterator.mli -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Asttypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Asttypes.mli -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Docstrings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Docstrings.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Lexer.mll -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Location.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Parse.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Parse.mli -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Parser.mly -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Parsetree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Parsetree.mli -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/lintParsing_Syntaxerr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/lintParsing_Syntaxerr.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/main.ml: -------------------------------------------------------------------------------- 1 | 2 | let () = Lint.main () 3 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/tests/.gitignore -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/.ocpstop: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/tests/Makefile -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/test.ml: -------------------------------------------------------------------------------- 1 | 2 | let x = Pervasives.open_in 3 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-parsing/tests/test.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-parsing/tests/test.reference -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/lint_sempatch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/lint_sempatch.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/patches/core_patch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/patches/core_patch.md -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/plugin_patch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/plugin_patch.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_backward_if/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_backward_if/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_backward_if/ocp-lint.result/d08e9b505b422eb779cb21717ed422d1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_backward_if/ocp-lint.result/d08e9b505b422eb779cb21717ed422d1 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_backward_if/test_sempatch_backward_if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_backward_if/test_sempatch_backward_if.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_false/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_false/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_false/ocp-lint.result/3be2d8938459aa4ecf1ca7f35d8ea31d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_false/ocp-lint.result/3be2d8938459aa4ecf1ca7f35d8ea31d -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_false/test_sempatch_comp_to_false.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_false/test_sempatch_comp_to_false.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_true/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_true/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_true/ocp-lint.result/866b4dd68fbcbb7c7ad4ab4b2fd11503: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_true/ocp-lint.result/866b4dd68fbcbb7c7ad4ab4b2fd11503 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_true/test_sempatch_comp_to_true.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_comp_to_true/test_sempatch_comp_to_true.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_constant_if/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_constant_if/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_constant_if/ocp-lint.result/75784dd883a4fe0bcc3293e8b54c4d93: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_constant_if/ocp-lint.result/75784dd883a4fe0bcc3293e8b54c4d93 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_constant_if/test_constant_if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_constant_if/test_constant_if.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_empty_list_compare/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_empty_list_compare/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_empty_list_compare/ocp-lint.result/be780e4c73479987acccf2bc0487e652: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_empty_list_compare/ocp-lint.result/be780e4c73479987acccf2bc0487e652 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_empty_list_compare/test_sempatch_empty_list_cmp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_empty_list_compare/test_sempatch_empty_list_cmp.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_identity_let/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_identity_let/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_identity_let/ocp-lint.result/897663146003983141984362715f3b92: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_identity_let/ocp-lint.result/897663146003983141984362715f3b92 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_identity_let/test_identity_let.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_identity_let/test_identity_let.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_incr_decr/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_incr_decr/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_incr_decr/ocp-lint.result/b413206f36fadacad9a83e5cdcd1caba: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_incr_decr/ocp-lint.result/b413206f36fadacad9a83e5cdcd1caba -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_incr_decr/test_sempatch_incr_decr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_incr_decr/test_sempatch_incr_decr.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/ocp-lint.result/4444496085a17b45c9007c6fc3d24f19: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/ocp-lint.result/4444496085a17b45c9007c6fc3d24f19 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/sempatch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/sempatch.md -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/test_parallel_let_bindings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_parallel_let_bindings/test_parallel_let_bindings.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/ocp-lint.result/1f3f548f2e69a9d5a787221b9aa2cf80: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/ocp-lint.result/1f3f548f2e69a9d5a787221b9aa2cf80 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/sempatch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/sempatch.md -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/test_sempatch_succ_pred.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_succ_pred/test_sempatch_succ_pred.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_test_list_op_on_lit/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_test_list_op_on_lit/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_test_list_op_on_lit/ocp-lint.result/b1e981b56e350a82c813f0beba0db8b9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_test_list_op_on_lit/ocp-lint.result/b1e981b56e350a82c813f0beba0db8b9 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_test_list_op_on_lit/test_sempatch_list_op_on_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_test_list_op_on_lit/test_sempatch_list_op_on_lit.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/ocp-lint.result/65ff12f9029c7c14b4928167bfde08ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/ocp-lint.result/65ff12f9029c7c14b4928167bfde08ea -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/sempatch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/sempatch.md -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/test_sempatch_traverse_nodes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_traverse_nodes/test_sempatch_traverse_nodes.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_else/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_else/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_else/ocp-lint.result/66ca2da272df0568b40e918f2f0dfac9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_else/ocp-lint.result/66ca2da272df0568b40e918f2f0dfac9 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_else/test_sempatch_useless_else.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_else/test_sempatch_useless_else.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_if/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_if/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_if/ocp-lint.result/1b78a7f1828148dd946df9b5fcaaf4ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_if/ocp-lint.result/1b78a7f1828148dd946df9b5fcaaf4ac -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_if/test_sempatch_useless_if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-sempatch/tests/sempatch_useless_if/test_sempatch_useless_if.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/code_length.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/code_length.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/not_that_char.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/not_that_char.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/plugin_text.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/plugin_text.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/tests/code_length/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/tests/code_length/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/tests/code_length/ocp-lint.result/21a080aedc1da1f0a11c1121fdec16b6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/tests/code_length/ocp-lint.result/21a080aedc1da1f0a11c1121fdec16b6 -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/tests/code_length/test_code_length.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/tests/code_length/test_code_length.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-text/useless_space.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-text/useless_space.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-tokens/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-tokens/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-tokens/checkTokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-tokens/checkTokens.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-tokens/plugin_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-tokens/plugin_tokens.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/checkFullyQualified.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/checkFullyQualified.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/checkHashtbl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/checkHashtbl.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/checkIdentifier.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/checkIdentifier.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/checkIdentifierMasking.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/checkIdentifierMasking.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/checkInheritance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/checkInheritance.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/checkModuleUtilization.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/checkModuleUtilization.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/plugin_typedtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/plugin_typedtree.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/polymorphic_comparison.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/polymorphic_comparison.ml -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/tests/.gitignore -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/tests/.ocplint -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/.ocpstop: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/tests/Makefile -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/tests/build.ocp -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/test.ml: -------------------------------------------------------------------------------- 1 | 2 | let x = Pervasives.open_in 3 | -------------------------------------------------------------------------------- /plugins/ocp-lint-plugin-typedtree/tests/test.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/plugins/ocp-lint-plugin-typedtree/tests/test.reference -------------------------------------------------------------------------------- /push-opam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/push-opam.sh -------------------------------------------------------------------------------- /scripts/pre-commit-lint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/scripts/pre-commit-lint -------------------------------------------------------------------------------- /specs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/Makefile -------------------------------------------------------------------------------- /specs/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/biblio.bib -------------------------------------------------------------------------------- /specs/conclusion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/conclusion.tex -------------------------------------------------------------------------------- /specs/config-build-install.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/config-build-install.tex -------------------------------------------------------------------------------- /specs/configuration.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/configuration.tex -------------------------------------------------------------------------------- /specs/database.tex: -------------------------------------------------------------------------------- 1 | TODO {\bf cache system} -------------------------------------------------------------------------------- /specs/extensibility.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/extensibility.tex -------------------------------------------------------------------------------- /specs/overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/overview.tex -------------------------------------------------------------------------------- /specs/related.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/related.tex -------------------------------------------------------------------------------- /specs/sempatch.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/sempatch.tex -------------------------------------------------------------------------------- /specs/sempatch_example.sp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/sempatch_example.sp -------------------------------------------------------------------------------- /specs/typerex-lint.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/typerex-lint.pdf -------------------------------------------------------------------------------- /specs/typerex-lint.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/typerex-lint.tex -------------------------------------------------------------------------------- /specs/usage.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/usage.tex -------------------------------------------------------------------------------- /specs/use-cases.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/specs/use-cases.tex -------------------------------------------------------------------------------- /testsuite/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/testsuite/.ocplint -------------------------------------------------------------------------------- /testsuite/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/testsuite/README.md -------------------------------------------------------------------------------- /testsuite/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/testsuite/build.ocp -------------------------------------------------------------------------------- /testsuite/testsuite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/testsuite/testsuite.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/README.md -------------------------------------------------------------------------------- /tools/ocp-lint-doc/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint-doc/css/bootstrap.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/css/bootstrap.css -------------------------------------------------------------------------------- /tools/ocp-lint-doc/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/css/bootstrap.min.css -------------------------------------------------------------------------------- /tools/ocp-lint-doc/css/ocplint.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/css/ocplint.css -------------------------------------------------------------------------------- /tools/ocp-lint-doc/css/searchicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/css/searchicon.png -------------------------------------------------------------------------------- /tools/ocp-lint-doc/css/simple-sidebar.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/css/simple-sidebar.css -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_complex.interface_module_type_name.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_complex.interface_module_type_name.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_complex.interface_module_type_name.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_complex.interface_module_type_name.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_file_system.interface_missing.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_file_system.interface_missing.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_file_system.project_files.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_file_system.project_files.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_file_system.project_files.2.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_file_system.project_files.2.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_indent.ocp_indent.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_indent.ocp_indent.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.check_constr_args.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.check_constr_args.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.check_constr_args.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.check_constr_args.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.1.ml: -------------------------------------------------------------------------------- 1 | let x = 1 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.2.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.2.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_identifier_length.2.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_list_on_singleton.1.ml: -------------------------------------------------------------------------------- 1 | List.map (fun a -> a + 1) [] 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_list_on_singleton.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_list_on_singleton.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_list_on_singleton.2.ml: -------------------------------------------------------------------------------- 1 | List.iter print_endline [ "singleton" ] 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_list_on_singleton.2.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_list_on_singleton.2.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_redefine_stdlib_module.1.ml: -------------------------------------------------------------------------------- 1 | module Pervasives = struct end 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_redefine_stdlib_module.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_redefine_stdlib_module.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_redefine_stdlib_module.2.ml: -------------------------------------------------------------------------------- 1 | module Location = struct end 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.code_redefine_stdlib_module.2.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.code_redefine_stdlib_module.2.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.external_code.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.external_code.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.external_code.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.external_code.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.fabrice_good_practices.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.fabrice_good_practices.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.fabrice_good_practices.2.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.fabrice_good_practices.2.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.pattern_guard.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.pattern_guard.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.pattern_guard.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.pattern_guard.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.phys_comp_allocated_lit.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.phys_comp_allocated_lit.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.phys_comp_allocated_lit.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.phys_comp_allocated_lit.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.polymorphic_variants.1.ml: -------------------------------------------------------------------------------- 1 | let e = `A 0 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.polymorphic_variants.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.polymorphic_variants.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.type_declaration.1.ml: -------------------------------------------------------------------------------- 1 | type t = String.t 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsetree.type_declaration.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsetree.type_declaration.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.check_tuple.1.ml: -------------------------------------------------------------------------------- 1 | let p = (0, 0) 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.check_tuple.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.check_tuple.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.2.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.2.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.2.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.3.ml: -------------------------------------------------------------------------------- 1 | let _ = 2 | 0::[1 ; 2] 3 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.3.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.3.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.4.ml: -------------------------------------------------------------------------------- 1 | type a = A of (int) 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.4.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.4.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.5.ml: -------------------------------------------------------------------------------- 1 | let x = (1) 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.5.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.5.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.6.ml: -------------------------------------------------------------------------------- 1 | let f x y = (x + y) 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.6.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.6.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.7.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.7.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.7.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.7.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.8.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.8.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_parsing.raw_syntax.8.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.code_length.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.code_length.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.not_that_char.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.not_that_char.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.not_that_char.2.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.not_that_char.2.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.useless_space_line.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.useless_space_line.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.useless_space_line.2.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_text.useless_space_line.2.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_hash_table.1.ml: -------------------------------------------------------------------------------- 1 | Hashtbl.create 10 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_hash_table.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.check_hash_table.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.1.ml: -------------------------------------------------------------------------------- 1 | let b = Bytes.unsafe_of_string "" 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.2.ml: -------------------------------------------------------------------------------- 1 | Dynlink.loadfile "f.ml" 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.2.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.2.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.3.ml: -------------------------------------------------------------------------------- 1 | let s = String.create 10 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.3.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.3.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.4.ml: -------------------------------------------------------------------------------- 1 | Pervasives.at_exit (fun () -> print_string "end") 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.4.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.check_identifier.4.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.fully_qualified_identifiers.1.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.fully_qualified_identifiers.1.warn: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.1.ml: -------------------------------------------------------------------------------- 1 | let obj = Obj.repr "" 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.2.ml: -------------------------------------------------------------------------------- 1 | open String 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.2.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.2.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.3.ml: -------------------------------------------------------------------------------- 1 | Random.init 0 2 | -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.3.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.module_utilization.3.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.polymorphic_function.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.polymorphic_function.1.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/examples/plugin_typedtree.polymorphic_function.1.warn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/examples/plugin_typedtree.polymorphic_function.1.warn -------------------------------------------------------------------------------- /tools/ocp-lint-doc/js/make_doc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/js/make_doc.js -------------------------------------------------------------------------------- /tools/ocp-lint-doc/make_doc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-doc/make_doc.ml -------------------------------------------------------------------------------- /tools/ocp-lint-doc/ocp.stop: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/img/ocp_lint_web_errors.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/img/ocp_lint_web_errors.png -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/img/ocp_lint_web_file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/img/ocp_lint_web_file.png -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/img/ocp_lint_web_file_errors.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/img/ocp_lint_web_file_errors.png -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/img/ocp_lint_web_file_warnings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/img/ocp_lint_web_file_warnings.png -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/img/ocp_lint_web_home.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/img/ocp_lint_web_home.png -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/img/ocp_lint_web_warnings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/img/ocp_lint_web_warnings.png -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/makefile -------------------------------------------------------------------------------- /tools/ocp-lint-web/doc/ocp-lint-web.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/doc/ocp-lint-web.tex -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_code_viewer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_code_viewer.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_components.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_components.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_components.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_components.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_errors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_errors.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_errors.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_errors.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_errors_content.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_errors_content.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_errors_content.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_errors_content.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_file_content.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_file_content.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_file_content.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_file_content.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_file_content_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_file_content_data.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_file_content_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_file_content_data.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_filter_system.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_filter_system.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_filter_system.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_filter_system.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_home_content.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_home_content.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_home_content.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_home_content.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_main.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_navigation_system.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_navigation_system.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_navigation_system.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_navigation_system.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_utils.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_utils.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_warnings_content.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_warnings_content.ml -------------------------------------------------------------------------------- /tools/ocp-lint-web/src/web_warnings_content.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/src/web_warnings_content.mli -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/css/adjustment_ace.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/css/adjustment_ace.css -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/css/adjustment_bootstrap.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/css/adjustment_bootstrap.css -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/css/bootstrap.min.css -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/css/bootstrap.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/css/bootstrap.min.css.map -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/css/ocp_lint_web.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/css/ocp_lint_web.css -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.eot -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.svg -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.ttf -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.woff -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/fonts/glyphicons-halflings-regular.woff2 -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/ace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/ace.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/bootstrap.min.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/d3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/d3.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/d3pie.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/d3pie.min.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/jquery.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/jquery.min.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/mode-ocaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/mode-ocaml.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/ocaml_highlight_rules.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/ocaml_highlight_rules.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/ocplib_re.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/ocplib_re.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/ocplib_unix.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/ocplib_unix.js -------------------------------------------------------------------------------- /tools/ocp-lint-web/static/js/theme-monokai.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint-web/static/js/theme-monokai.js -------------------------------------------------------------------------------- /tools/ocp-lint/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/README.txt -------------------------------------------------------------------------------- /tools/ocp-lint/api/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_input.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_input.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_input.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_map.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_map.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin_api.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin_api.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin_api.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin_api.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin_error.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin_error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin_error.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin_types.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_plugin_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_plugin_types.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_types.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_types.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_warning.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_warning.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_warning.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_warning.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_warning_decl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_warning_decl.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_warning_decl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_warning_decl.mli -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_warning_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_warning_types.ml -------------------------------------------------------------------------------- /tools/ocp-lint/api/lint_warning_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/api/lint_warning_types.mli -------------------------------------------------------------------------------- /tools/ocp-lint/config/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/config/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/config/lint_config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/config/lint_config.ml -------------------------------------------------------------------------------- /tools/ocp-lint/config/lint_config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/config/lint_config.mli -------------------------------------------------------------------------------- /tools/ocp-lint/config/lint_config_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/config/lint_config_types.ml -------------------------------------------------------------------------------- /tools/ocp-lint/config/lint_config_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/config/lint_config_types.mli -------------------------------------------------------------------------------- /tools/ocp-lint/db/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/db/lint_db.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/lint_db.ml -------------------------------------------------------------------------------- /tools/ocp-lint/db/lint_db.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/lint_db.mli -------------------------------------------------------------------------------- /tools/ocp-lint/db/lint_db_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/lint_db_error.ml -------------------------------------------------------------------------------- /tools/ocp-lint/db/lint_db_error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/lint_db_error.mli -------------------------------------------------------------------------------- /tools/ocp-lint/db/lint_db_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/lint_db_types.ml -------------------------------------------------------------------------------- /tools/ocp-lint/db/lint_db_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/db/lint_db_types.mli -------------------------------------------------------------------------------- /tools/ocp-lint/init/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/init/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/init/lint_globals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/init/lint_globals.ml -------------------------------------------------------------------------------- /tools/ocp-lint/init/lint_globals.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/init/lint_globals.mli -------------------------------------------------------------------------------- /tools/ocp-lint/main/.ocplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/.ocplint -------------------------------------------------------------------------------- /tools/ocp-lint/main/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint.ml -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint.mli -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint_actions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint_actions.ml -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint_actions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint_actions.mli -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint_init_dynload.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint_init_dynload.ml -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint_init_dynload.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint_init_dynload.mli -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint_parallel_engine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint_parallel_engine.ml -------------------------------------------------------------------------------- /tools/ocp-lint/main/lint_parallel_engine.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/main/lint_parallel_engine.mli -------------------------------------------------------------------------------- /tools/ocp-lint/main/main.ml: -------------------------------------------------------------------------------- 1 | 2 | let () = Lint.main () 3 | -------------------------------------------------------------------------------- /tools/ocp-lint/output/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/output/lint_text.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/lint_text.ml -------------------------------------------------------------------------------- /tools/ocp-lint/output/lint_text.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/lint_text.mli -------------------------------------------------------------------------------- /tools/ocp-lint/output/lint_web.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/lint_web.ml -------------------------------------------------------------------------------- /tools/ocp-lint/output/lint_web.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/lint_web.mli -------------------------------------------------------------------------------- /tools/ocp-lint/output/lint_web_analysis_info.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/lint_web_analysis_info.ml -------------------------------------------------------------------------------- /tools/ocp-lint/output/lint_web_analysis_info.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/output/lint_web_analysis_info.mli -------------------------------------------------------------------------------- /tools/ocp-lint/utils/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/utils/build.ocp -------------------------------------------------------------------------------- /tools/ocp-lint/utils/lint_parse_args.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/utils/lint_parse_args.ml -------------------------------------------------------------------------------- /tools/ocp-lint/utils/lint_parse_args.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/utils/lint_parse_args.mli -------------------------------------------------------------------------------- /tools/ocp-lint/utils/lint_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/utils/lint_utils.ml -------------------------------------------------------------------------------- /tools/ocp-lint/utils/lint_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/typerex-lint/HEAD/tools/ocp-lint/utils/lint_utils.mli --------------------------------------------------------------------------------