delta/ocaml.git/testsuite/tests/typing-gadts/omega07.ml.reference, branch unused_declarations github.com: ocaml/ocaml fix PR#5449 2011-12-28T02:22:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-12-28T02:22:38+00:00 3a5aff77d0b453d91a7c03376a682f0f7c8679aa git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix PR#5450 2011-12-27T08:52:45+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-12-27T08:52:45+00:00 76ac0c7cb15c6f2d12cfe0610cf9908b4d798c23 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge branches/gadts-devel 2011-11-24T09:02:48+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-11-24T09:02:48+00:00 6c78f42d365d3e8d385b2d24ad1749a65ac45b8e git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix gadt type variables 2011-09-27T06:37:06+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-09-27T06:37:06+00:00 ac275d142bfd0e9fd3bd4a2a5f9c6a6156cf94ad git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
do not use unify_pat_types_gadts for normal constructors! 2011-06-14T09:41:21+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-06-14T09:41:21+00:00 fab07a66c6dd92ebbc65d79ae746b88bb0a4f063 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add some more examples + section titles 2011-01-07T07:21:43+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-01-07T07:21:43+00:00 30d608dda03aa33f11b67e06b008d75ffe89bbeb git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
finish section 5 2011-01-06T03:46:34+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-01-06T03:46:34+00:00 c64d239264f9e368105291a609837a2ebbcd39ec git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add sections 5.7 to 5.10 2011-01-05T10:10:04+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-01-05T10:10:04+00:00 3b798337052dac95c357a0458b4047e203909566 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow existentials in "as" patterns + report escaping newtypes + clean-up 2010-12-14T06:33:06+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-12-14T06:33:06+00:00 e88a3e94825f6c50e4b587f5fc546c86aa5c2e1f git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add red-black trees 2010-12-14T04:25:26+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-12-14T04:25:26+00:00 6389ce769b0766583d84495d19517369acb77ee7 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02