summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Do not trigger warning when calling virtual methods introduced by constrainin...Nicolás Ojeda Bär2022-04-271-25/+15
* explain the behavior and implementation of Ident.tblGabriel Scherer2022-04-102-1/+43
* Fixing typosJPR2022-03-211-3/+3
* Fix #11101 by making `occur ty ty` succeed (#11109)Jacques Garrigue2022-03-152-2/+5
* Merge pull request #10987 from trefis/instance_constructorThomas Refis2022-03-044-28/+51
|\
| * instance_constructor: gasche's reviewThomas Refis2022-03-041-5/+3
| * solve_Ppat_construct: comment on the treatment of existentialsThomas Refis2022-02-031-3/+6
| * instance_constructor: in_pattern doesn't really make sense anymoreThomas Refis2022-02-034-13/+35
| * instance_constructor: only iterate over existentials onceThomas Refis2022-02-031-18/+18
* | Remove uses of ;; from the codebaseSébastien Hinderer2022-02-259-107/+67
* | Merge pull request #10981 from shindere/cmi-fileSébastien Hinderer2022-02-161-7/+11
|\ \
| * | Implement a -cmi-file option for ocamlc and ocamloptSébastien Hinderer2022-02-111-7/+11
* | | Env: clear uid_to_loc (#11012)Thomas Refis2022-02-151-0/+1
|/ /
* | #10836: recognize unrecoverable errors in the signature inclusion check (#10952)Florian Angeletti2022-02-032-16/+87
* | Merge pull request #10959 from COCTI/fix10907Florian Angeletti2022-02-033-1/+10
|/
* Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-0110-39/+12
* Merge pull request #10825 from gasche/shape-strong-call-by-needFlorian Angeletti2022-01-206-97/+310
* Merge pull request #10831 from ocaml-multicore/multicore-prXavier Leroy2022-01-105-4/+11
|\
| * Use void args, remove unused features.KC Sivaramakrishnan2021-12-302-10/+0
| * Merge commit '7a0e1d2c7631764ce49081a9f204b55884214e2b' into 5.00_rebase_to_prTom Kelly2021-12-215-33/+69
| |\
| * \ Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_prTom Kelly2021-12-214-25/+39
| |\ \
| * \ \ Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-2014-444/+1274
| |\ \ \
| * \ \ \ Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-201-13/+15
| |\ \ \ \
| * \ \ \ \ Merge commit '18c4d16b3b80388f5b77dcc5a268c33eceb37ebe' into 5.00_rebase_to_prTom Kelly2021-12-201-1/+3
| |\ \ \ \ \
| * \ \ \ \ \ Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-2012-202/+291
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_prTom Kelly2021-12-209-158/+206
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge commit 'a7bf9cbaf368f178b606e7cf38ede4a22984a9da' into 5.00_rebase_to_prTom Kelly2021-12-207-165/+230
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_prTom Kelly2021-12-201-109/+58
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | remove noise from diff with upstream on typing/Tom Kelly2021-10-078-55/+28
| * | | | | | | | | | Merge commit '6e053e0dbba91a7c6ca1aad98f1b46557d319493' into 5.00Tom Kelly2021-10-042-4/+5
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-048-57/+91
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge commit '359f46f2241fe828ad7eb6252cc8fd68ce92731d' into 5.00Tom Kelly2021-10-044-15/+47
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '7ad8c1368346c8a9d492f130442bff48807961b4' into 5.00Tom Kelly2021-10-0420-477/+556
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'fa43873b3b38fdf4d38ea069182d28a8b7b4b47e' into 5.00Tom Kelly2021-10-0411-325/+725
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-042-1/+2
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '672965bfda6220c690d26ff6a0b7a9a59519d9af' into 5.00Tom Kelly2021-10-041-4/+34
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '80482ed60b9c3459595f3df4e124744a2eb79993' into 5.00Tom Kelly2021-10-043-32/+3
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '8949e28fa1995de9fa72ee377993624af0f4a616' into 5.00Tom Kelly2021-10-049-73/+39
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-0423-1552/+1949
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '758fc7ddd609fd51ff811db2af5393672b2ef37c' into 5.00Tom Kelly2021-10-045-16/+15
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'cbbb5e025cd6cad3d16aeddb25af2fe932b17e8e' into 5.00Tom Kelly2021-10-0414-324/+584
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '650ba029a5c1c3e9f2edc8cacd30ff27d3184348' into 5.00Tom Kelly2021-10-0424-1217/+1325
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'ec880ee809c3f4f3c7ce4ee223b3e56fde338f4f' into 5.00Tom Kelly2021-10-0421-937/+1655
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'e5e9c5fed56efdd67601e4dbbaebeb134aee361c' into 5.00Tom Kelly2021-10-017-85/+188
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '0ba253df4667668bc01dd9e239fba13f743e1752' into parallel_minor_g...Tom Kelly2021-10-012-42/+21
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'fe96962fd4287f269dcfc54a58efc19db50a6ad7' into parallel_minor_g...Tom Kelly2021-10-0120-165/+172
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-0115-318/+591
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '099b86a046e304fe15e2bb37557bffc6aafaab15' into parallel_minor_g...Tom Kelly2021-10-0123-988/+1623
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '687a2e8d82790e33ce2470829877686dedf84080' into parallel_minor_g...Tom Kelly2021-10-0116-115/+119
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '24d7f3bde8f0af585b8328b5b4e5f386f8909cff' into parallel_minor_g...Tom Kelly2021-10-017-150/+168
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
View Lorry Controller Status