delta/ocaml.git/bytecomp/typeopt.ml, branch flambda github.com: ocaml/ocaml 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
fix a few problems with whitespace and over-long lines 2013-03-09T22:38:52+00:00 Damien Doligez damien.doligez-inria.fr 2013-03-09T22:38:52+00:00 c63f9e09579ba88c4b9510ccce062fbc767fd3a6 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 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
Compile with warning 33, and remove unused opens. 2012-05-29T11:10:03+00:00 Alain Frisch alain@frisch.fr 2012-05-29T11:10:03+00:00 05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Keep type variable names 2011-09-22T09:05:42+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-09-22T09:05:42+00:00 156fff1b8a1a3d4bbc0daae237dc55400a174a5a git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 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
renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27T14:17:02+00:00 Damien Doligez damien.doligez-inria.fr 2011-07-27T14:17:02+00:00 3b507dd1aa286684543a35cc7da763feebf9aa8d git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow variance in GADTs 2010-11-08T06:59:46+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-11-08T06:59:46+00:00 f368f4e0d58e83102799797e96e36117abbb4731 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
removed Type_variant, fixed bug in GADT exhaustive check 2010-10-21T04:02:02+00:00 Jacques Le Normand rathereasy@gmail.com 2010-10-21T04:02:02+00:00 304dba8a0fad4714e916b6947e6d572dd5f9dd88 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fixed bug in syntax extension. Made unification of variants and objects local. Removed personal comments 2010-10-19T05:24:36+00:00 Jacques Le Normand rathereasy@gmail.com 2010-10-19T05:24:36+00:00 a1910000e316a501b0a78faadc54428327ea1913 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02