summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-poly/poly.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
* update testsuite (2)Gabriel Scherer2023-02-231-0/+9
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-171-5/+2
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-261-3/+10
* also fix Tvar case; no assumption on openingJacques Garrigue2022-11-041-11/+14
* Merge commit 'a7bf9cbaf368f178b606e7cf38ede4a22984a9da' into 5.00_rebase_to_prTom Kelly2021-12-201-7/+6
|\
| * Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-7/+6
* | Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-041-5/+4
|\ \ | |/
| * Remove private_self and public_selfLeo White2021-07-131-5/+4
* | Merge commit 'ec880ee809c3f4f3c7ce4ee223b3e56fde338f4f' into 5.00Tom Kelly2021-10-041-0/+11
|\ \ | |/
| * Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-0/+11
* | Merge commit '099b86a046e304fe15e2bb37557bffc6aafaab15' into parallel_minor_g...Tom Kelly2021-10-011-8/+21
|\ \ | |/
| * Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-0/+1
| * Add tests before improving the internal type error representationMekhrubon Turaev2021-05-061-8/+20
* | Merge commit 'a7d1af4a872e22aebd1e6cc27b2beafdea2ad2dd' into parallel_minor_g...Tom Kelly2021-03-051-0/+24
|\ \ | |/
| * Merge pull request #9857 from lpw25/fix-poly-refs-checkFlorian Angeletti2020-09-031-0/+24
* | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-9/+9
|\ \ | |/
| * Update test reference filesNicolás Ojeda Bär2020-07-211-9/+9
* | Merge commit 'c24198550aab88f105db94a101cf189aa701bbe1' into parallel_minor_g...Tom Kelly2021-03-031-1/+34
|\ \ | |/
| * Merge pull request #9612 from garrigue/pr6744exGabriel Scherer2020-06-101-1/+34
| |\
| | * fix number and add examples for #6744Jacques Garrigue2020-05-271-1/+34
* | | Merge commit '9d4679f338ae0c66de2dc16ea7d9e87c05fe6b9b' into parallel_minor_g...Tom Kelly2021-03-021-0/+72
|\ \ \ | |/ /
| * | Fix #7741: Failure to report escaping type variable (#9545)Jacques Garrigue2020-06-031-0/+62
| * | Fix the polymorphic recursion problem of #9603 (#9617)Jacques Garrigue2020-06-021-0/+10
| |/
* | Merge commit '646d30404e6b5fa0d49aea3860cbf4efe3910601' into parallel_minor_g...Tom Kelly2021-02-261-5/+7
|\ \ | |/
| * Relax the handling of explicit polymorphic typesLeo White2020-01-201-5/+7
* | Merge commit '03c33f500563f3e12355694f1add98e7bd1096ae' into parallel_minor_g...Tom Kelly2021-02-231-2/+14
|\ \ | |/
| * reworded errors for non-regular structural typesFlorian Angeletti2019-10-301-2/+14
* | Merge commit '9a0ebc18d444a8cdb08396ea694084d07249ec5d' into parallel_minor_g...Tom Kelly2020-04-301-4/+6
|\ \ | |/
| * Merge pull request #8860 from Octachron/safer_type_expr_printerFlorian Angeletti2019-10-171-2/+4
| |\
| | * Avoid duplicated mark_loopsFlorian Angeletti2019-10-171-2/+4
| | * make Printtyp.type_expr safer to useFlorian Angeletti2019-10-161-1/+1
| * | Fix #7636 using expansion for vanishing parameters (#9040)Jacques Garrigue2019-10-161-2/+2
| |/
* | Merge commit 'd6fb9ad86a7628d8b8683d8f96957e7ceaa3bf5d' into parallel_minor_g...Tom Kelly2020-04-291-0/+10
|\ \ | |/
| * Allow compiling ocamldoc with -principal (#8955)Jacques Garrigue2019-09-301-0/+10
* | Merge commit '430c20bb7812a4612101b4ed2f112e14fb2d1aee' into parallel_minor_g...Tom Kelly2020-04-271-1/+2
|\ \ | |/
| * #8702: fix some polymorphic variant error messages (#8777)Florian Angeletti2019-07-121-1/+2
* | Merge commit 'a45189331b75c4be012627b3b85ffe964884c887' into parallel_minor_g...Tom Kelly2020-04-271-0/+19
|\ \ | |/
| * Fix PR8701 by expanding types in lower_contravariant (#8725)Jacques Garrigue2019-06-131-0/+19
* | Merge commit '8afe2db3c6bdf06d2596ddba95cb889991196fc5' into parallel_minor_g...Tom Kelly2020-04-211-4/+16
|\ \ | |/
| * Fix #8550: Soundness issue with class generalization (#8552)Jacques Garrigue2019-04-091-0/+12
| * Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-4/+4
* | Merge commit '8e5e3c0ed46ad4ab6849930ccc3de651439cc26d' into parallel_minor_g...Tom Kelly2020-04-201-6/+15
|\ \ | |/
| * type_let: be more careful generalizing parts of the patternThomas Refis2019-03-251-2/+2
| * poly rec: add a test showing lack of generalizationThomas Refis2019-03-251-1/+10
| * Update issue numbers in comments after Mantis -> Github migration. (#8505)Stephen Dolan2019-03-181-6/+6
* | Merge commit '0723ac158e186acd8f036e4bc5b70d9880e3f94f' into parallel_minor_g...Tom Kelly2020-04-101-0/+4
|\ \ | |/
| * MPR7565 bis: more context for universal variable in error messages (#2140)Florian Angeletti2018-11-241-0/+4
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-91/+91
|\ \ | |/
View Lorry Controller Status