delta/ocaml.git/testsuite/tests/typing-gadts/test.ml.principal.reference, branch gadts github.com: ocaml/ocaml fix record pattern-matching; sort records in typed tree 2011-06-15T09:26:30+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-06-15T09:26:30+00:00 852558d482255cde6fa686906ee27d26c2a69603 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11091 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
update tests 2011-06-06T06:44:23+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-06-06T06:44:23+00:00 336e4165613933c20146ceabe15651c1b3b42493 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* make -principal stricter for gadts 2011-04-19T02:13:52+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-04-19T02:13:52+00:00 ea15141d8a4cb934a2fa28639c5fba5f0fd47115 * may also change behaviour without -principal * propagate type constraints in let expressions to patterns git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
* may also change behaviour without -principal
* propagate type constraints in let expressions to patterns


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix principality by expanding local definitions when exporting a value 2011-03-10T06:27:24+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-03-10T06:27:24+00:00 04968cc2e6bd6f97beda87440ba1569f2ffb4815 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
disable progragation in pattern-matchings containing polymorphic variants 2010-11-11T10:02:56+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-11-11T10:02:56+00:00 73102f0fdf7fe427d3893fb033f480a7714d51e9 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02