delta/ocaml.git/Changes, branch flambda github.com: ocaml/ocaml merge generative functors 2013-12-17T03:52:50+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-12-17T03:52:50+00:00 cfa350c31aebe2e06611d0fbb41fe88b1f30b8e8 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6275 2013-12-17T01:39:41+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-12-17T01:39:41+00:00 024c8ad498a7c0fc35355c543d94a14bfd3fab51 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5808: allow simple patterns, not only identifiers, in 'let p : t = ...'. 2013-12-16T17:34:23+00:00 Alain Frisch alain@frisch.fr 2013-12-16T17:34:23+00:00 ac5cbb7913a3e260a8d48a1a41d6350e5cf53664 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
update Changes for PR#6257 2013-12-09T08:37:25+00:00 Maxence Guesdon maxence.guesdon@inria.fr 2013-12-09T08:37:25+00:00 685c62c936478e48edaf12975037dabc5495dd9d git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#6262: equality of first-class modules take module type aliases into account. Fix interaction with module inclusion. 2013-12-05T14:57:10+00:00 Alain Frisch alain@frisch.fr 2013-12-05T14:57:10+00:00 32dddc3f82989b0e5b73e0c7d102396d548d785c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be adapted. 2013-12-02T18:00:18+00:00 Alain Frisch alain@frisch.fr 2013-12-02T18:00:18+00:00 2086ac55e6f4cfbd90c94ee4628f7754f7f24def git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6243: Make "ocamlopt -g" more resistant to ill-formed locations. 2013-11-28T14:34:45+00:00 Xavier Leroy xavier.leroy@inria.fr 2013-11-28T14:34:45+00:00 3d7d4b92695e189304fcfe1cdc78950b51a5dbf9 (Reflecting commit r14321 on version/4.01) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
(Reflecting commit r14321 on version/4.01)



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6239: a "raise" in -g mode can end up calling a C function (stash_backtrace). Therefore the containing function must not be a leaf function, so that on x86-32/MacOSX and x86-64, the stack is properly 16-realigned on entrance to containing function. 2013-11-27T17:10:35+00:00 Xavier Leroy xavier.leroy@inria.fr 2013-11-27T17:10:35+00:00 948d5200236ec7a01bd5d94649a4fd7627445499 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
remove camlp4 2013-11-21T16:23:28+00:00 Jérémie Dimino jeremie@dimino.org 2013-11-21T16:23:28+00:00 5d917633adeee07f19848d737a6825bd7a462cf8 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6241 2013-11-19T11:07:39+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-19T11:07:39+00:00 9b974c162f422fb0ad9e8ab3a0b54580c93862db git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02