1. Sebastien Mondet
  2. pvem

Commits

Author Commit Message Date Builds
Sebastien Mondet
doc: improve `README.md` and `implementation.md`
Sebastien Mondet
Release 0.0.1 (updating generated files)
Tags
pvem.0.0.1
Sebastien Mondet
Result: fix compilation with 4.01.0 It seems that the code was using a bug in the type-checker and this bug has been fixed in 4.01.0; see also [Mantis#6256](http://caml.inria.fr/mantis/view.php?id=6256).
Sebastien Mondet
build: update generated files
Sebastien Mondet
build: update generated files
Sebastien Mondet
doc: improve the `READMe.md` file
Sebastien Mondet
build: update generated files
Sebastien Mondet
lib: add function `ERROR_MONAD.destruct`
Sebastien Mondet
build: update generated files
Sebastien Mondet
doc: add an INSTALL file
Sebastien Mondet
build: update generated files
Sebastien Mondet
build: update generated files
Sebastien Mondet
build: update `please.ml` and `META`
Sebastien Mondet
build: replace `mk` with `please.ml`
Sebastien Mondet
build: add (un)install targets
Sebastien Mondet
doc,pvem: add some documentation
Sebastien Mondet
build: add documentation generation
Sebastien Mondet
pvem: add missing functions to signature
Sebastien Mondet
git: add a .gitignore file
Sebastien Mondet
test,build: add a test of the Pvem module For now it does mostly “compatibility checks”, i.e. verifies that common idioms type check nicely.
Sebastien Mondet
pvem: improve `With_deferred` functor application Now it passes the information of who's the deferred type.
Sebastien Mondet
pvem: simplify the `DEFERRED_RESULT` module type
Sebastien Mondet
pvem: add function `some ~or_fail`
Sebastien Mondet
doc: add implementation notes
Sebastien Mondet
build: import basic implementation