delta/ocaml.git/testsuite/tests/typing-gadts/term-conv.ml.principal.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