summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc/ocamltests
Commit message (Expand)AuthorAgeFilesLines
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-35/+0
* Add tests for includeclass errorsOxana2019-08-141-0/+1
* add test related to issue #8698Jacques Garrigue2019-06-101-0/+1
* pr8548: add regression testsThomas Refis2019-04-161-0/+2
* add expect tests checking is_expansive behaviorThomas Refis2019-04-091-0/+1
* Use newtype names as the underlying variable names (#2277)Matthew Ryan2019-03-261-0/+1
* MPR#7937: avoid Unify in extract_concrete_typedecl (#2287)Florian Angeletti2019-03-071-0/+1
* a type for unification tracesFlorian Angeletti2018-10-171-0/+1
* add some testThomas Refis2018-09-211-0/+1
* check arity of primitivesHugo Heuzard2018-09-031-0/+1
* Update changes and check-typo fixesFlorian Angeletti2018-08-221-1/+1
* contextualization for unbound type variable errorFlorian Angeletti2018-08-221-0/+1
* move pattern_open to expect test (#1982)Florian Angeletti2018-08-101-0/+1
* test suite: empty polymorphic variant in patternoctachron2018-07-311-0/+1
* add one testThomas Refis2018-07-251-0/+1
* testsuite: examples for error paths in TypecoreFlorian Angeletti2018-07-041-0/+2
* PR#6416 et al.: injective mapping between identifiers and printed names (#1120)Florian Angeletti2018-06-261-0/+3
* testsuite: move one test from typing-warnings to typing-miscThomas Refis2018-03-201-0/+1
* add a bunch of testsThomas Refis2018-03-151-0/+1
* Support empty variants (#1546)objmagic2018-03-061-0/+1
* Migrate typing-misc tests to ocamltestSébastien Hinderer2017-12-081-0/+13
View Lorry Controller Status