summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-2520-21/+21
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-272-1/+25
* error messages: aliases for weakly polymorphic row variablesFlorian Angeletti2023-03-144-4/+4
* update testsuite (2)Gabriel Scherer2023-02-233-0/+9
* update testsuiteGabriel Scherer2023-02-231-0/+3
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-171-7/+2
* Merge pull request #11536 from COCTI/wrap_defGabriel Scherer2023-01-141-0/+15
|\
| * Introduce wrapper functions for level management ([Ctype.wrap_def], etc)Takafumi Saikawa2022-12-271-0/+15
* | check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-261-4/+18
|/
* Better error messagesHyunggyu Jang2022-11-102-2/+37
* Printtyp: new function for extending set of prepared typeFlorian Angeletti2022-10-132-1/+14
* Test for type-var inconsistent names.Ulysse Gérard2022-10-131-0/+19
* Fix regression allowing virtual methods in non-virtual classesLeo White2022-07-081-0/+61
* Do not trigger warning when calling virtual methods introduced by constrainin...Nicolás Ojeda Bär2022-04-271-0/+15
* classes: handle multiple update to method privacyFlorian Angeletti2021-12-081-0/+13
* Update privacy when methods are overridden. Fixes #10781.Leo White2021-11-181-10/+0
* Add tests for #10781Leo White2021-11-181-0/+65
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-153-14/+15
* fix bug of non-shared field_kindJacques Garrigue2021-08-051-0/+73
* Change warning 13 messageLeo White2021-07-152-5/+0
* Set object name of self typeLeo White2021-07-142-7/+6
* Treat class_signature more like type_exprThomas Refis2021-07-143-11/+9
* Track dummy methods via their scopeLeo White2021-07-131-10/+0
* Give more precise errors for virtual methodsLeo White2021-07-132-41/+36
* Add dummy methods in all casesLeo White2021-07-132-21/+56
* Change representation of class typesLeo White2021-07-132-33/+34
* Build met_env on second passLeo White2021-07-131-2/+2
* Relax object duplication restrictionsLeo White2021-07-131-4/+1
* Add more classes testsLeo White2021-07-132-0/+466
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-14/+0
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-2/+1
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-1/+4
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-0/+2
* Add new test cases for failures of type-specific unification methodsAntal Spector-Zabusky2021-06-211-0/+18
* Add more new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-211-0/+21
* Update test reference filesNicolás Ojeda Bär2020-07-212-7/+7
* types: allow class type paths in #tFlorian Angeletti2020-01-201-0/+15
* reworded errors for non-regular structural typesFlorian Angeletti2019-10-301-1/+8
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-14/+0
* Move the Obj.id+serialization tests from expect tests to reference testsGabriel Scherer2019-09-241-49/+0
* typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-1/+1
* Refactor environment lookup functionsLeo White2019-08-151-6/+4
* Add some tests related to instance variablesLeo White2019-08-151-0/+31
* Closes #7865 via a non-regression test.Jeremy Yallop2019-04-182-0/+22
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-084-10/+10
* bugfix: restore "self cannot be closed" error messageFlorian Angeletti2019-02-272-0/+18
* Update the testsArmaël Guéneau2018-10-194-23/+23
* Update testsArmaël Guéneau2018-10-1910-115/+115
* unification trace: reify object error earlierFlorian Angeletti2018-10-173-0/+30
* rec_check.ml: fix a bug in recursive class declarations check.alban2018-07-281-0/+30
View Lorry Controller Status