delta/ocaml.git, branch fstclassmod_parametrized github.com: ocaml/ocaml Fix pretty-printing bug. 2010-09-10T08:08:15+00:00 Alain Frisch alain@frisch.fr 2010-09-10T08:08:15+00:00 3d8524c4893f968f7176e5ae796588b9a212b270 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Adapt Camlp4. 2010-09-09T17:55:58+00:00 Alain Frisch alain@frisch.fr 2010-09-09T17:55:58+00:00 24ac9812d3e2364d55365ef92066b1b4ffa2fec9 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10676 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10676 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Support for constraints on parametrized types in package types. 2010-09-09T17:42:23+00:00 Alain Frisch alain@frisch.fr 2010-09-09T17:42:23+00:00 3dadaeff6c47e7a4e347923dda1b914daf38d601 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
In the untyped parse tree, allow arbitrary module type constraints in package type. This already enables constraints on types defined in sub-modules, e.g. (module S with type X.t = int). 2010-09-09T17:23:56+00:00 Alain Frisch alain@frisch.fr 2010-09-09T17:23:56+00:00 0fe17f8d23cf24bbcccf8a9001c7af9530f5bbdc git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10674 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10674 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Create a branch to experiment with non-constant constraints on package types. 2010-09-09T13:41:24+00:00 Alain Frisch alain@frisch.fr 2010-09-09T13:41:24+00:00 b5bd0d754ab6b08ec8886611121e8a18eb98dff7 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod_parametrized@10673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow with constraints to add a type equation to a datatype definition 2010-09-06T06:34:13+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-09-06T06:34:13+00:00 0247ae7f85b889eff2c381dbaf3431569fbc107e git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix bug with huge values in OCAMLRUNPARAM 2010-09-03T16:31:32+00:00 Damien Doligez damien.doligez-inria.fr 2010-09-03T16:31:32+00:00 eb93a24b5b0ddf99eb5a3fb09a0cba23f62ae9a3 git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10668 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10668 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#4794, PR#4959: call annotations not generated by ocamlopt. 2010-09-02T13:29:21+00:00 Xavier Clerc xavier.clerc@inria.fr 2010-09-02T13:29:21+00:00 07f197af0660f9762c5e44bdd63dce90eb33e9d8 git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5136, continued 2010-08-30T15:15:33+00:00 Damien Doligez damien.doligez-inria.fr 2010-08-30T15:15:33+00:00 8f30592436259a7a4e165a04de8e83a535c75e98 git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10662 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10662 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5136: get rid of some warnings 2010-08-30T10:16:22+00:00 Damien Doligez damien.doligez-inria.fr 2010-08-30T10:16:22+00:00 b6aec49badbcf3828d605931907bf419f651173a git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02