delta/ocaml.git/typing/parmatch.ml, 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
backport of fix from gadts-devel 2011-01-07T07:17:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-01-07T07:17:38+00:00 3345086867b0add9336ade43d05d589f3099a371 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
renammed a function 2010-11-18T06:56:02+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-18T06:56:02+00:00 5a99cea6a3c83b2648e3550a61b2f5ef6d168dc4 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
small cleanup 2010-11-18T06:23:00+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-18T06:23:00+00:00 9a97dd50c97cf1eb18ae22af4517d92bda499956 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
complete_constrs in parmatch.ml now works with gadts. Reverted changes to the syntax tree which are no longer needed. 2010-11-16T06:01:59+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-16T06:01:59+00:00 3ec9bc692b83ffcf56081f06d4af6bba07a1e7e9 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
clean up 2010-11-10T06:01:27+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-10T06:01:27+00:00 1680403fb9b131d9750b1557fe2f58b0d7eea559 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
cleaned up parmatch.ml 2010-11-09T09:13:15+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-09T09:13:15+00:00 45c46a5032246f693c2d2fc94bf461d6a877acdf git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fixed bug in parmatch.ml 2010-11-08T10:19:29+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-08T10:19:29+00:00 4a4e69bf1b976b6e92753332ff73d7bf08d3770e git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
cleaned up parmatch.ml 2010-11-08T09:58:09+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-08T09:58:09+00:00 36734b7536cda67c271093bd5d5f67fb883c4ea3 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
small cleanup 2010-11-08T08:54:26+00:00 Jacques Le Normand rathereasy@gmail.com 2010-11-08T08:54:26+00:00 1d3797436e2b785a8f9b5aea5bc5b81c61afe1d7 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02