delta/ocaml.git/typing/datarepr.mli, branch contribution_workflow github.com: ocaml/ocaml GPR#606: add unboxed types 2016-07-21T11:51:46+00:00 Damien Doligez damien.doligez@inria.fr 2016-05-25T14:29:05+00:00 d5a6e50ebee73ff98c4179bba7570cdd9e488a35 






Update headers for the new license.
2016-02-18T15:59:16+00:00

Damien Doligez
damien.doligez@inria.fr

2016-02-18T15:11:59+00:00

5401ce8473062b19dd3553d022593cc5d91ccbff

Remains to be done: remove all headers in testsuite/tests.





Remains to be done: remove all headers in testsuite/tests.







Cleanup.
2014-10-03T11:29:58+00:00

Alain Frisch
alain@frisch.fr

2014-10-03T11:29:58+00:00

d5583e22fb7e31a80613269c8c146b168ea386e0

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







Integrate simple change from constructors_with_record4.
2014-10-03T08:58:06+00:00

Alain Frisch
alain@frisch.fr

2014-10-03T08:58:06+00:00

c0d246224ab82cd208f9936766f06e4874388ede

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







PR#5584: merge open extensible types, extension-patch-4.0.2
2014-05-04T23:08:45+00:00

Jacques Garrigue
garrigue at math.nagoya-u.ac.jp

2014-05-04T23:08:45+00:00

b56dc4b3df8d022b54f40682a9d5d4168c690413

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







Keep location and attributes in type, label and constructor declarations.  Deprecated warning when a deprecated type or constructor is referenced.
2013-09-27T10:54:55+00:00

Alain Frisch
alain@frisch.fr

2013-09-27T10:54:55+00:00

645dcf25e5d165b90bea465b7d74471d6ee369c2

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







remove all $Id keywords
2012-10-15T17:50:56+00:00

Damien Doligez
damien.doligez-inria.fr

2012-10-15T17:50:56+00:00

def31744f996fecdb187d43de38ddae2ff3ab881

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







merge with branch bin-annot
2012-05-30T14:52:37+00:00

Fabrice Le Fessant
Fabrice.Le_fessant@inria.fr

2012-05-30T14:52:37+00:00

d39d43e55fab716fbe05cec3c89233f0dd208835

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







Keep locations for exception declaration. This gives better error messages and paves the way to #5524.
2012-03-06T19:03:17+00:00

Alain Frisch
alain@frisch.fr

2012-03-06T19:03:17+00:00

f0b95f334978d169d395ba1267110bdae6615097

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







merge branches/gadts
2011-07-29T10:32:43+00:00

Jacques Garrigue
garrigue at math.nagoya-u.ac.jp

2011-07-29T10:32:43+00:00

9dc661c3bfa20708442de95b08227529ddf8c941

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02