delta/ocaml.git/testsuite/tests/typing-private/new.ml.reference, branch non-vanishing github.com: ocaml/ocaml roll back addition of abstract new types 2013-04-23T13:04:11+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-04-23T13:04:11+00:00 eb89562b21ce5b9591cc9083f39dda5a78fd0bc9 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/non-vanishing@13597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/non-vanishing@13597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add abstract new types and new datatypes 2013-04-23T10:43:09+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-04-23T10:43:09+00:00 7dd86b4d1aac28978761a010e5c1c93454875f43 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/non-vanishing@13593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/non-vanishing@13593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add subtyping for new types 2013-04-21T06:26:29+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-04-21T06:26:29+00:00 c388db818820992223e30b02cf72e9aa6b25f8c5 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/non-vanishing@13583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/non-vanishing@13583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02