| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 40 | -178/+266 |
| * | Print the type variable that cannot be generalized (#12051) | Stefan Muenzel | 2023-03-27 | 2 | -2/+4 |
| * | error messages: aliases for weakly polymorphic row variables | Florian Angeletti | 2023-03-14 | 1 | -1/+1 |
| * | printtyp: remove spurious space in error traces | Florian Angeletti | 2023-01-02 | 2 | -2/+2 |
| * | error messages: use de bruijn indices to disambiguate names | Florian Angeletti | 2023-01-02 | 1 | -6/+6 |
| * | Include kinds in "Their kinds differ" error | curiousleo | 2022-09-02 | 1 | -1/+1 |
| * | Fix ident collision in includemod | Leo White | 2021-10-12 | 2 | -0/+101 |
| * | Merge pull request #10662 from gasche/pr10661 | Florian Angeletti | 2021-09-27 | 1 | -0/+10 |
| * | Respond to review for the new structured error messages (#10407) | Antal Spector-Zabusky | 2021-06-21 | 2 | -2/+2 |
| * | Use the new structured errors (#10170) for better error messages | Antal Spector-Zabusky | 2021-06-21 | 2 | -0/+6 |
| * | mtype: remove ghost row types from strengthened signature | octachron | 2021-05-03 | 1 | -0/+30 |
| * | Semantic diffings for functor types and applications (#9331) | Gabriel Radanne | 2021-04-07 | 2 | -38/+30 |
| * | stop using single letter in warning settings | octachron | 2021-03-15 | 37 | -37/+37 |
| * | Fix #9695: no error when opening an alias to a missing module | Jacques Garrigue | 2020-06-23 | 2 | -0/+14 |
| * | Remove ocamltests files | Nicolás Ojeda Bär | 2019-09-28 | 1 | -36/+0 |
| * | Improved type hierarchy for type mismatches (#8828) | Mekhrubon Turaev | 2019-07-30 | 1 | -1/+1 |
| * | s/string_of_int/Int.to_string/g | Daniel Bünzli | 2018-11-07 | 2 | -2/+2 |
| * | Update tests | Armaël Guéneau | 2018-10-19 | 9 | -0/+18 |
| * | Deprecate Pervasives (#1605) | Jérémie Dimino | 2018-08-27 | 1 | -1/+1 |
| * | parser: better locations for type constraints | Thomas Refis | 2018-06-21 | 1 | -2/+2 |
| * | Whitespace and overlong line fixes. | David Allsopp | 2018-06-14 | 3 | -4/+3 |
| * | Fix PR#7414 for local modules | Leo White | 2018-05-09 | 3 | -0/+69 |
| * | Migrate the typing-modules-bugs tests to ocamltest | Sébastien Hinderer | 2018-03-18 | 45 | -17/+336 |
| * | Fix MPR#7601 again (#1320) | Jacques Garrigue | 2017-09-13 | 2 | -0/+43 |
| * | add test | Jacques Garrigue | 2017-08-02 | 1 | -0/+18 |
| * | Fix PR#7321 | Jacques Garrigue | 2017-03-15 | 1 | -0/+8 |
| * | PR#6485: add test (#1099) | Florian Angeletti | 2017-03-12 | 1 | -0/+47 |
| * | strengthen and extend examples for PR#7152 | Jacques Garrigue | 2016-12-14 | 1 | -0/+43 |
| * | Fix PR#7305 | Jacques Garrigue | 2016-12-14 | 1 | -0/+29 |
| * | Fix PR#7414 by adding Mtype.lower_nongen | Jacques Garrigue | 2016-11-21 | 1 | -0/+55 |
| * | PR#6752: revert to strict scope | Jacques Garrigue | 2016-06-24 | 2 | -2/+50 |
| * | whitespace and long lines | Damien Doligez | 2016-04-19 | 1 | -1/+1 |
| * | Fix PR#7112 | Jacques Garrigue | 2016-03-16 | 2 | -0/+9 |
| * | Fix PR#7182: external in recursive module | Jacques Garrigue | 2016-03-16 | 1 | -0/+3 |
| * | Fix PR#7152: lower level of non-generalized variables to binding time of encl... | Jacques Garrigue | 2016-03-06 | 1 | -0/+72 |
| * | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -11/+14 |
| * | Fix PR#7082 | Jacques Garrigue | 2015-12-14 | 1 | -0/+7 |
| * | Fix PR#6981 | Jacques Garrigue | 2015-11-30 | 1 | -0/+10 |
| * | Fix PR#7036: Module alias and package type equality | Jacques Garrigue | 2015-11-05 | 1 | -0/+21 |
| * | test case for PR#6954 | Jacques Garrigue | 2015-10-16 | 1 | -0/+11 |
| * | Add test case from PR#6992 | Jacques Garrigue | 2015-09-18 | 1 | -0/+15 |
| * | whitespace cleanup, cut long lines, add some missing headers | Damien Doligez | 2015-09-11 | 2 | -4/+12 |
| * | Fix PR#6985 | Jacques Garrigue | 2015-09-10 | 1 | -0/+7 |
| * | Fix PR#6944 | Jacques Garrigue | 2015-09-09 | 1 | -0/+4 |
| * | Fix PR#6982 | Jacques Garrigue | 2015-09-09 | 1 | -0/+26 |
| * | add tests related to PR#6899 | Jacques Garrigue | 2015-06-29 | 3 | -10/+13 |
| * | Fix PR#6899 | Jacques Garrigue | 2015-06-23 | 1 | -0/+11 |
| * | test for PR#5663 | Jacques Garrigue | 2015-04-22 | 1 | -0/+7 |
| * | Fix PR#6752: scope escaping due to reference inside a module | Jacques Garrigue | 2015-01-17 | 1 | -0/+43 |
| * | tentative fix of PR#6651 | Jacques Garrigue | 2014-11-12 | 2 | -0/+20 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |