summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/dummy.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* error messages: aliases for weakly polymorphic row variablesFlorian Angeletti2023-03-141-1/+1
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-6/+6
* Set object name of self typeLeo White2021-07-141-5/+5
* Treat class_signature more like type_exprThomas Refis2021-07-141-5/+3
* Add dummy methods in all casesLeo White2021-07-131-20/+50
* Change representation of class typesLeo White2021-07-131-16/+22
* Build met_env on second passLeo White2021-07-131-2/+2
* Add more classes testsLeo White2021-07-131-0/+107
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-2/+2
* Update the testsArmaël Guéneau2018-10-191-7/+7
* Update testsArmaël Guéneau2018-10-191-13/+13
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-3/+3
* do not close objects which have been unified with an outer self typeThomas Refis2018-03-061-8/+15
* only add a dummy method when typechecking a class/class typeThomas Refis2018-03-061-28/+6
* add an example where we unify the self type of a class with the one of an objectThomas Refis2018-03-061-0/+39
* add more tests related to the behavior of the self type escape checkThomas Refis2018-03-061-0/+153
View Lorry Controller Status