Browse thread
Caml-get 0.7
- Maxence Guesdon
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Maxence Guesdon <maxence.guesdon@i...> |
| Subject: | Caml-get 0.7 |
Hello, I'm glad to announce the release of Caml-get 0.7. Caml-get is a tool to distribute and get Objective-Caml code in a way similar to the apt-get utility. It is useful to distribute and reuse small pieces of code rather than create (and depend on) a library for each of them. More details on the Caml-get page: http://pauillac.inria.fr/~guesdon/camlget.en.html Changes in 0.7: - new architecture: there is now a Camlget library, used by the command line tool. A Camlget_gui module allows to create graphical interfaces to handle camlget repositories (client side). - the command line tool now asks the user before upgrading a piece of code and can display the differences between the current code and the new version. - a new ocamldoc generator, odoc_cgtest, is included. Using @cgtest tags in ocamldoc comments, one can write ocaml expressions of type bool; the odoc_cgtest generator gather these assertions in a single file which can be run to perform tests (i.e. indicate which assertions fail). Odoc_htmlcg, the included html generator, can handle these new tags to display the assertions in the documentation. Here is an example of definition of assertions: (** [v1 << v2] returns true if version [v1] is strictly inferior to version [v2] . @cgtest The following assertions hold: - [[1;2] << [1;3]] - [not ([1;2] << [1;2])] - [let v = [ 1; 2 ; 3] and w = [ 1; 2] in w << v ] *) val (<<) : version -> version -> bool - The plugin for cameleon has been improved. Cheers, -- Maxence Guesdon http://yquem.inria.fr/~guesdon/ http://devel.inria.fr/rocq/