delta/ocaml.git/typing, branch monadic_let

More work on typing

2013-03-09T17:32:27+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Simplify the bind pattersn to single one in typed tree. Skeleton of compilation to lambda.

2013-03-09T17:11:10+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Rename monadic -> bind

2013-03-09T16:24:11+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Make monadic let behave like let for time being

2013-03-09T16:22:38+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Initial commit.

2013-03-06T20:41:39+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Replace error by warning for PR#5835

2013-02-19T03:12:36+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Add warning 42 for disambiguated labels and constructors (compatibility with old versions)

2013-02-19T02:45:09+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

add -short-paths flag for printing shorter types when using modules

2013-02-09T08:42:11+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

small fixes on GADT ambiguity levels

2013-02-01T10:20:21+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Merge short-paths into a fresh branch of trunk.

2013-01-29T14:21:12+00:00

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