e4de6c19b1
use uid for usage warnings
2020-03-05 13:35:12 +01:00
2d31ebfc8b
Add support for [@@immediate64]
...
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
2019-09-24 07:56:15 +01:00
f2db8ca4ae
Merge pull request #2127 from lpw25/lookup-errors
...
Refactor lookup functions
2019-08-21 15:48:06 +01:00
c19e8b2350
Refactor environment lookup functions
2019-08-15 15:56:50 +01:00
38c3710eea
Rollbacking changes of Constructor_names and Label_names errors message
2019-08-08 12:04:03 +01:00
407d650f6e
Printing additional info about types mismatch during compilation error.
2019-07-30 09:51:02 +01:00
6cb5905c27
Improved type hierarchy for type mismatches ( #8828 )
...
Added special types for variants, records, constructors or labels type mismatch.
Printing additional info about types mismatch during compilation error.
2019-07-30 08:56:28 +01:00
fb497f1c82
Fix soundness issue in extension constructor inclusion
2019-07-11 17:16:08 +01:00
4fe08b25d6
Fix #7851 by checking type declaration coherence for recursive modules ( #8570 )
2019-04-19 10:57:55 +09:00
2e5b9d1ef1
"Alerts" as a generalization of "deprecated" ( #1804 )
2018-11-15 09:51:35 +01:00
c00a46e2cf
more precise extension mismatch error messages
2018-08-09 10:18:54 +01:00
b5d1929e87
Whitespace and overlong line fixes.
2018-06-14 15:15:34 +01:00
bce9d4b659
Fix usage warnings with no mli file ( #1358 )
2018-03-14 17:57:31 +01:00
6071c8f640
Remove blank line to improve readability.
2017-05-15 16:20:18 +02:00
dd2ced22d9
Support for deprecated class/class types.
2017-05-09 13:47:49 +02:00
5f0e745159
Support for deprecated_mutable attribute.
2017-05-09 13:35:41 +02:00
04f4f4a745
Support for deprecated attribute on constructors.
2017-05-09 13:17:41 +02:00
18ca259774
Move logic from Includemod to Includecore.
2017-05-09 12:57:07 +02:00
9112876c44
Fix PR#7321
2017-03-15 11:37:31 +09:00
3b1e11bb89
add comment
2016-12-14 13:14:21 +00:00
989cd729bd
Fix PR#7378
2016-12-14 13:14:21 +00:00
d5a6e50ebe
GPR#606: add unboxed types
2016-07-21 13:51:46 +02:00
502e4f9336
More warnings when compiling the compiler.
2016-03-15 22:46:35 +01:00
a18af2a837
Fix PR#7160: Type synonym definitions can weaken gadt constructor types
2016-03-03 09:58:26 +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
c242a29b12
Compile with -principal
2016-01-14 15:29:41 +01:00
ac62abe4d2
#6342 : fix error message when constraints differ in type declarations.
2015-12-03 00:06:18 +01:00
3856cd00c5
Remove dead code.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 14:55:15 +00:00
ccfec3a1dc
Add location info on Tcoerce_primitive
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-04-03 16:40:24 +00:00
7bacc5beb4
Typedtree: add type information to primitive coercions
...
This will enable type-directed optimizations during translation of
module coercions.
WARNING: this breaks Typedtree representation, magic number will have to
be adjusted.
From: Frederic Bour <frederic.bour@lakaban.net>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-17 11:55:24 +00:00
e3ad818fb5
Reintegrate-merge constructors_with_record5 branch.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-14 15:51:30 +00:00
7a21fae1a7
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 12:26:11 +00:00
cbfe627f92
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-22 13:45:02 +00:00
b56dc4b3df
PR#5584: merge open extensible types, extension-patch-4.0.2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04 23:08:45 +00:00
7303ac34ca
fix some of the whitespace problems in the source
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12 10:17:02 +00:00
fa13304327
Distinguish explicitly representation of regular records and inlined records with tag = 0.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04 12:37:49 +00:00
ab7b60aa8d
Support exception rebinding.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04 12:25:21 +00:00
ce4c5fad1d
Rvert parts of the original commit which are not relevant with the encoding approach.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31 16:17:37 +00:00
132ff51559
Some preparation for record arguments.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-28 17:08:53 +00:00
645dcf25e5
Keep location and attributes in type, label and constructor declarations. Deprecated warning when a deprecated type or constructor is referenced.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-27 10:54:55 +00:00
f836495698
Fix #5571 .
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-09 11:16:25 +00:00
c3bf54a7b6
merge changes from version/4.00 from 4.00.1 to r13697
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-22 12:56:54 +00:00
67e18e5c4d
Fix PR#5985 for constrained parameters too.
...
Required more variance information, so variance is now an abstract type.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-03 13:38:30 +00:00
c425ae1ce8
Fix PR#5985; compute injectivity of types but no new syntax
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-30 05:26:57 +00:00
497ec43277
Fix PR#5993
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-19 08:48:25 +00:00
def31744f9
remove all $Id keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
997a678d5e
clean up TABs and whitespace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 18:04:46 +00:00
d8f8f9ee3b
keep the text width to 80 columns
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-31 08:07:31 +00:00
d39d43e55f
merge with branch bin-annot
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 14:52:37 +00:00
Thomas Refis
Jeremie Dimino
Leo White
Mekhrubon Turaev
Mekhrubon Turaev
Jacques Garrigue
Alain Frisch
David Allsopp
Damien Doligez
Will Crichton
Nicolas Ojeda Bar
Fabrice Le Fessant
Gabriel Scherer
Damien Doligez
Jacques Garrigue