c21ffceac1
Fix PR#5927
2017-03-14 19:19:48 +09:00
1c97fdee7d
Fix PR#7496
2017-03-14 11:57:06 +09:00
cfa32f5a8a
Fix Ctype.moregeneral's handling of row_name
2017-02-15 13:29:24 +00:00
6e694c6c7f
Fix PR#7432
2016-12-17 10:36:56 +09:00
a0339d0447
only switch to strict mode in Ctype.local_non_recursive_abbrev for constrained parameters
2016-12-14 13:14:21 +00:00
82e491383e
Fix PR#7397
2016-12-14 13:14:21 +00:00
2802ea1644
Protect against cycles inside fix of PR#7374
2016-12-14 13:14:21 +00:00
08afa04226
Variant of #813 (Support normalisation of paths for unknown types) ( #816 )
...
GPR#816
* Support normalisation of paths for unknown types
* Add test case
2016-12-14 13:14:21 +00:00
1fac6bf715
Addendum to PR#7374: ensure that paths hidden by definitions are checked too in local_non_recursive_abbrev
2016-12-14 13:14:21 +00:00
d3c85ea9c6
Fix PR#7374: Contractiveness check unsound with constraints
2016-12-14 13:14:21 +00:00
10e5659edb
fix discrepancy between the executables generated by
...
ocamlc.opt and ocamlc.byte (and between ocamlopt.opt and ocamlopt.byte)
(reported by Sebastien Hinderer)
2016-12-14 13:14:21 +00:00
c4f208a573
Fix PR#7324
2016-12-14 13:14:21 +00:00
0f90089804
Fix PR#7305
2016-12-14 13:14:21 +00:00
0b4fbc2b30
fix whitespace, long lines, headers
2016-08-01 16:06:59 +02:00
d5a6e50ebe
GPR#606: add unboxed types
2016-07-21 13:51:46 +02:00
8029450095
Make fix of PR#7285 more efficient and robust
2016-07-07 19:14:12 +09:00
9d77b268ed
Fix PR#7285
2016-07-07 18:10:37 +09:00
cae15ea488
Fix PR#7284
2016-07-06 10:47:21 +09:00
3c14f2ed35
Fix PR#6505 extra report (but not -principal)
2016-06-22 10:50:59 +09:00
4feaea361e
Merge pull request #579 from garrigue/nested_equations
...
MPR#7233: Support GADT equations for non-local abstract types
2016-06-13 10:15:35 +09:00
3cb6d6c702
PR#7233: GADT equations for non-local abstract types
2016-06-13 09:25:31 +09:00
240fde10ac
Fix PR#7269 again, cancelling previous fix
2016-06-03 16:50:28 +09:00
fc4ddcb599
Merge branch 'trunk' of github.com:ocaml/ocaml into trunk
2016-05-11 08:39:19 +09:00
5331b57010
keep local constraints in Env.summary
2016-05-11 08:38:34 +09:00
50147913ac
Call the '#' sign hash rather than sharp.
2016-05-09 16:34:40 +02:00
d2c6be000a
add locally created types to Env.local_constraints
2016-05-09 09:38:07 -04:00
b61fe71bf1
minor: avoid confusing then/let/seq indentation
2016-04-20 06:54:38 -04:00
a8a5da4131
Fix PR#7234
2016-04-20 14:04:07 +09:00
390d0fa34e
Fix PR#7222
2016-04-15 23:51:32 +09:00
eb5dd3ee34
Fix error handling in Ctype.unify_gadt
2016-04-08 15:53:23 +09:00
502e4f9336
More warnings when compiling the compiler.
2016-03-15 22:46:35 +01:00
42a5b36bab
Fix probable bug.
...
"Probable" because this was found by code inspection after enabling warning 27. I assume
this could lead to an actual bug in the type-checker, but I have not tried to trigger it.
Fix confirmed by @garrigue.
2016-03-09 12:00:42 +01:00
c989c820fb
Fix PR#7113: -safe-string can break GADT compatibility check
2016-03-01 09:30:35 +09:00
5401ce8473
Update headers for the new license.
...
Remains to be done: remove all headers in testsuite/tests.
2016-02-18 16:59:16 +01:00
50dd38d4b6
Add support for immediate attribute
2016-02-02 11:45:07 +00:00
11ea50d8e2
PR#6762: improve warning 45 (shadowing caused by open) for labels/constructors in presence of re-exported type definitions.
2015-12-01 09:30:41 +01:00
f7d20f161a
Fix for commit 9229b1
2015-12-01 01:53:24 +09:00
9229b15aaa
Fix PR#6980 and remove unused Ctype.iterative_generalization
2015-11-30 13:49:30 +09:00
5d8397a937
Do path compression, and undo it in case of unification error
2015-11-16 22:51:01 +09:00
ce552ccf20
Fix performance problem with PR#7016 and strengthen code
2015-11-16 16:38:08 +09:00
f32db119ce
Fix PR#7036: Module alias and package type equality
2015-11-05 14:20:50 +09:00
a335b18a45
merge branches/gadt-warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-23 08:33:44 +00:00
935b2300b9
Remove dead code.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 14:48:16 +00:00
8ff158b81c
Fix PR#6954: subtleties of expansion...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 14:03:04 +00:00
bea2f16ec8
Fix PR#7016: occur check must handle existing recursive types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 10:25:08 +00:00
5383003075
Delete french metacomments on missing comments
...
(user 'octachron')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-09 20:41:41 +00:00
3724c2e00e
Delete historical french todo from 1997
...
(user 'octachron')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-09 20:41:39 +00:00
5882fdea22
General translation of french comments
...
(user 'octachron')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-09 20:41:38 +00:00
cf303fcc8b
Fix PR#6992
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-18 13:46:56 +00:00
f5bf4bdce1
Fix PR#6993: allow recursive types when doing unification on GADT indices
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-18 09:55:18 +00:00
Jacques Garrigue
Leo White
Damien Doligez
Sébastien Hinderer
Gabriel Scherer
alainfrisch
Will Crichton
Jacques Garrigue