delta/ocaml.git/otherlibs/labltk/browser/searchpos.ml, branch monadic_let github.com: ocaml/ocaml More work on typing 2013-03-09T17:32:27+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-09T17:32:27+00:00 6cde432b2c3793ca15380d4b222fb7714ae7f25e git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Rename monadic -> bind 2013-03-09T16:24:11+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-09T16:24:11+00:00 eb530edf3d6c03331471a8b594f0d9d7ed09e9d3 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Initial commit. 2013-03-06T20:41:39+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-06T20:41:39+00:00 66019d7675ba5527563d6ae1ce4fc3976b465d2a git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merge short-paths into a fresh branch of trunk. 2013-01-29T14:21:12+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-01-29T14:21:12+00:00 26e1ff7138c3e90e845fb278fc6283a166f1871f Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
Also fix a bit unification and subtyping errors.
You now need the flag -short-path to activate short paths.



git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Stop keeping a Path.t to refer to labels and constructors in the Typedtree AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway 2012-10-24T12:03:00+00:00 Alain Frisch alain@frisch.fr 2012-10-24T12:03:00+00:00 0b37b273568cc9d64816494b882ee71098baf97d (especially when we will add more powerful disambiguation strategies). The correct way to identify an item is through the pair (type,name), which can be deduced from the label_description/constructor_description stored in the Typedtree. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
(especially when we will add more powerful disambiguation strategies).  The correct way to identify an item is through the pair (type,name), which can be deduced from the
label_description/constructor_description stored in the Typedtree.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5770: Syntax error messages involving unclosed parens are sometimes incorrect. 2012-10-16T14:04:33+00:00 Alain Frisch alain@frisch.fr 2012-10-16T14:04:33+00:00 238814e29339d82520524ee319b18928931837f8 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge version/4.00 at revision 12866 2012-08-21T07:10:35+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2012-08-21T07:10:35+00:00 35185d610b16e81ea11834963be61cecab7147c9 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix PR#5674: move Texp_poly and Texp_newtype to exp_extra 2012-07-10T08:25:58+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2012-07-10T08:25:58+00:00 43c7d1b51c6fb3a91b9729b816630f536d4a60e2 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge with branch bin-annot 2012-05-30T14:52:37+00:00 Fabrice Le Fessant Fabrice.Le_fessant@inria.fr 2012-05-30T14:52:37+00:00 d39d43e55fab716fbe05cec3c89233f0dd208835 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Follow-up on PR#5553 2012-03-23T02:35:00+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2012-03-23T02:35:00+00:00 57c5658f540c6be79ff53d91c90e85734fdd987e git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02