summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/Tests.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-1/+2
* error messages: aliases for weakly polymorphic row variablesFlorian Angeletti2023-03-141-1/+1
* update testsuite (2)Gabriel Scherer2023-02-231-0/+4
* update testsuiteGabriel Scherer2023-02-231-0/+3
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-171-7/+2
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-261-4/+18
* Better error messagesHyunggyu Jang2022-11-101-2/+2
* Printtyp: new function for extending set of prepared typeFlorian Angeletti2022-10-131-0/+13
* 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-151-7/+7
* Change warning 13 messageLeo White2021-07-151-4/+0
* Treat class_signature more like type_exprThomas Refis2021-07-141-4/+4
* Track dummy methods via their scopeLeo White2021-07-131-10/+0
* Give more precise errors for virtual methodsLeo White2021-07-131-39/+35
* Add dummy methods in all casesLeo White2021-07-131-1/+6
* Change representation of class typesLeo White2021-07-131-17/+12
* Relax object duplication restrictionsLeo White2021-07-131-4/+1
* Add more classes testsLeo White2021-07-131-0/+359
* 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
* Update test reference filesNicolás Ojeda Bär2020-07-211-5/+5
* types: allow class type paths in #tFlorian Angeletti2020-01-201-0/+15
* reworded errors for non-regular structural typesFlorian Angeletti2019-10-301-1/+8
* 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
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-6/+6
* Update the testsArmaël Guéneau2018-10-191-8/+8
* Update testsArmaël Guéneau2018-10-191-60/+60
* rec_check.ml: fix a bug in recursive class declarations check.alban2018-07-281-0/+30
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-24/+24
* testsuite: switch typing-objects from toplevel to expect testsThomas Refis2018-02-161-2/+550
* Migrate typing-objects tests to ocamltestSébastien Hinderer2018-01-171-0/+4
* fix commentJacques Garrigue2016-07-051-2/+2
* Fix PR#6505 for real, including -principal case; stricter handling of recursi...Jacques Garrigue2016-07-051-1/+1
* minor comment fixes by OctachronGabriel Scherer2015-10-101-2/+2
* Translation of french comments in testsuiteGabriel Scherer2015-10-091-15/+15
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-10/+12
* clean up TABs and whitespaceDamien Doligez2012-07-301-1/+1
* Fix PR#5291Jacques Garrigue2012-06-011-0/+7
* fix PR#5436Jacques Garrigue2011-12-221-0/+23
* Tests moved to 'typing-objects'Xavier Clerc2010-04-071-0/+304
View Lorry Controller Status