delta/ocaml.git, branch implicit-unpack github.com: ocaml/ocaml be principal 2010-10-12T09:37:49+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-10-12T09:37:49+00:00 4d8a058815162a784551a65edb4bb91397a373f6 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10714 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10714 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
compile everything 2010-09-24T04:54:45+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-09-24T04:54:45+00:00 6178fb592b9477a6a70df7d91ced719ec7f9d711 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
more examples 2010-09-10T06:09:02+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-09-10T06:09:02+00:00 3e5f01fe126c542d4f1d223a4c88b5ed4d7d2b7a git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
improve type propagation: allow ty_expected to be polymorphic in type_expect 2010-09-02T05:50:37+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-09-02T05:50:37+00:00 643cddf877728095ebe1fc0c50714a49204b5586 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
also support implicit pack 2010-08-26T06:21:54+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-08-26T06:21:54+00:00 b02b0dfb17dc03b89d6f2f9a452440aba0867d9a git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow also in let .. in 2010-08-26T03:21:44+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-08-26T03:21:44+00:00 b63e264f70b7acc2dcb158d4c56b31bc523629bc git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add examples 2010-08-24T13:06:14+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-08-24T13:06:14+00:00 d372a3008e118a3c1679de0ab88434a408817b12 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
support implicit unpack in patterns too; see implicit_unpack.ml 2010-08-24T12:37:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-08-24T12:37:38+00:00 80ae16102235df65556b94c8f4ad6b32c9822e44 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
use Tmty_ident when there is no with 2010-05-18T09:25:53+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-05-18T09:25:53+00:00 06bdb7d9b6681e82ffdf42ff9da5fbfc1ea849fb git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
check full generalizability, like for subtyping 2010-05-17T13:47:47+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-05-17T13:47:47+00:00 d3dc119b743cc5e16ceabec741deb60c43af6097 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-unpack@10411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02