delta/ocaml.git, 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
Simplify the bind pattersn to single one in typed tree. Skeleton of compilation to lambda. 2013-03-09T17:11:10+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-09T17:11:10+00:00 3fbe26df0e779cf0e7b9d8916d81061bd11d1884 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
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 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
Make monadic let behave like let for time being 2013-03-09T16:22:38+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-09T16:22:38+00:00 765daa5dcdcb855a31582a652b9944650f49336b git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
typo 2013-03-09T16:03:22+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-09T16:03:22+00:00 6d0ede7f608306a6a914e55f1ea7a1bb543c0da9 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Add some simple tests 2013-03-06T21:23:27+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-06T21:23:27+00:00 6ace324761cec481d7490a4f93fe940c407ef185 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13367 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
Monadic let notation 2013-03-06T20:27:40+00:00 Wojciech Meyer wojciech.meyer@gmail.com 2013-03-06T20:27:40+00:00 c6219c03841fc0bc6b2c14fecfb1239e5fd62f61 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Labtk now supports 8.6. 2013-02-27T19:31:47+00:00 Pierre Weis Pierre.Weis@inria.fr 2013-02-27T19:31:47+00:00 a81a5b038c10f2c28e642fad06ac1c54534ccf91 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Imported from caml_examples. 2013-02-27T19:27:45+00:00 Pierre Weis Pierre.Weis@inria.fr 2013-02-27T19:27:45+00:00 c2b3b25823867d53ee55997ff0eb4d1661eb91c5 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02