delta/ocaml.git, branch polyrec github.com: ocaml/ocaml l'exemple de Xavier 2009-10-22T08:45:21+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2009-10-22T08:45:21+00:00 7d9e1dd495d4ba55d670de92dad383b821c574a0 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
seems to work! (see end of testlabl/poly.ml) 2009-10-22T07:28:04+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2009-10-22T07:28:04+00:00 910b9b83478a8dedf84c38591d187319e69d3b31 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add explicit polymorphic annotations and polymorphic recursion 2009-10-22T05:16:12+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2009-10-22T05:16:12+00:00 c8dd8f9863cb9ed8346238af5c8525fd8753264a git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Update Changes. 2009-10-20T09:04:37+00:00 Alain Frisch alain@frisch.fr 2009-10-20T09:04:37+00:00 ada68db994d45acef53e23cd6bedfd2bc4b3e5af git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Import changes from the newtypein branch (svn merge -r 9367:9381 https://yquem.inria.fr/caml/svn/ocaml/branches/newtypein). 2009-10-20T07:06:43+00:00 Alain Frisch alain@frisch.fr 2009-10-20T07:06:43+00:00 09cb552e178f1468e6736b2f262a057923e3a964 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Treat these GIF files as binary data 2009-10-18T08:14:24+00:00 Xavier Leroy xavier.leroy@inria.fr 2009-10-18T08:14:24+00:00 835ae86ff12308d2fb2da222d092bd5b458d5007 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Import changes from the newtypein branch (svn merge -r 9361:9367 https://frisch@yquem.inria.fr/caml/svn/ocaml/branches/newtypein). 2009-10-06T12:51:42+00:00 Alain Frisch alain@frisch.fr 2009-10-06T12:51:42+00:00 db5a053fb41a9722b9a050f0ef8ec32dbccf40dc git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Variable err is initialized to 0. 2009-09-25T15:03:06+00:00 Pierre Weis Pierre.Weis@inria.fr 2009-09-25T15:03:06+00:00 e5522b690df9e7ee2ed076b693875450a03d6bcb git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Les fonctions internal_tracevis et internal_tracedestroy sont mal declarees. 2009-09-25T12:56:10+00:00 Pierre Weis Pierre.Weis@inria.fr 2009-09-25T12:56:10+00:00 4b71a3183cd0da9367297b218fb7230e465b722c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Spell-check. 2009-09-25T08:01:40+00:00 Pierre Weis Pierre.Weis@inria.fr 2009-09-25T08:01:40+00:00 0ae5a2decf28328f933b5b97b39d8c2aea82a2cd git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02