Commit d0c77054 authored by Pietro Abate's avatar Pietro Abate

Update CHANGES file

parent 57cf0c69
0.6.0
* Port to OCaml 4.01
* Fix installation scripts
- Tools:
* Add a script to configure opam
* Add two test suites for development
0.6.1
* Fix the source so that it can be compiled with Ocaml 4.02 and the external version of camlp4
* Upgrade Ocaml interface to support ocaml 4.02
* Modularise the Ocaml interface. This version of CDuce now supports the following combinations:
ocaml compiler | ocaml sources (for the CDuce-Ocaml interface)
3.11.x 3.12.x | 3.11.x 3.12.x
4.00/4.01 | 3.11.x 3.12.x 4.00 4.01
4.02 | 4.02
It is however recommended to use the same version of for the Ocaml compiler and the Ocaml sources
* Parallelize the Makefile (make -j works as exptected)
current
* build: replaced netcgi2 for netcgi1
0.6.0
* Upgrade the Ocaml interface to support ocaml 4.00 and 4.01 (contributed by Julien Lopez)
Warning: the Ocaml interface now requires ocaml >= 4.00 and < 4.02 (4.02 is not supported)
0.5.5
* Added load_xml_subst and print_xml_subst for namespaces substitution.
(necessary for Web Services with OcCDuce and CDuce_WS).
(necessary for Web Services with OcCDuce and CDuce_WS).
0.5.4
* Added Services for Ocsigen.
......@@ -50,10 +55,10 @@ current
0.4.2
- Language:
- Language:
* Added int_of_char
- Bug fix:
- Bug fix:
* "match 1 with (x := `nil) -> x" raised an assert failure
......@@ -70,14 +75,14 @@ current
on each branch
* New "dump_xml" and "dump_xml_utf8", equivalent to the composition
of print and print_xml, but more efficient
- Implementation:
* New subtyping algorithm
* Small improvement to the pattern matching compiler
* Improve type-checking time for map
* Improve type-checking of record expressions
* Don't display warnings for unused branches in ghost (generated) pattern
* Don't display warnings for unused branches in ghost (generated) pattern
matching
- Bug fix:
......@@ -188,16 +193,16 @@ current
- ".." to denote open record types/patterns:
open record: { l1=t1 l2=t2 .. }
closed record: { l1=t1 l2=t2 }
- the ";" between fields is optional even for records
- the ";" between fields is optional even for records
(used to be optional only for attributes)
* Keywords are now allowed as type names
* Concatenation @ allowed in types
* Record concatenation + allowed in types
* Changed "string://" URL-pseudo schema to "string:"
* Changed "string://" URL-pseudo schema to "string:"
* Better resolution of external entities for PXP and expat
- Tools:
* A new tool cduce_mktop produces customized CDuce toplevels with embedded
* A new tool cduce_mktop produces customized CDuce toplevels with embedded
OCaml externals.
* Removed the validate tool.
* Don't build dtd2cduce by default (it requires PXP). An online
......@@ -221,7 +226,7 @@ current
0.2.2
- Language:
* Runtime type-check: (e :? t) raises an exception when e doesn't
* Runtime type-check: (e :? t) raises an exception when e doesn't
have type t; the exception is an explanation of why this is not the case.
(The actual message may change in the future.)
* Better return type for load_xml, defined as:
......@@ -258,7 +263,7 @@ current
Now, [ ... x::Any* ] is as efficient as [ ... ; x ]. Can also be written
[ ... /x _* ]. The [ ... ; ... ] syntax is no longer necessary
and might be deprecated.
- Bug fixes, including:
* Bug fixes in configure/Makefile for Cygwin.
* Bug fix for the compilation of complex patterns with records.
......@@ -285,7 +290,7 @@ current
* Support for URLs in load_xml, load_html, load_file, and schemas:
e.g. you can write `` load_html "http://www.cduce.org/" ''
(need either the ocurl package or the netclient package).
* More advanced (and documented) support for XML Schemas.
* More advanced (and documented) support for XML Schemas.
* Preliminary integration of CQL query language that is:
select e from p1 in e1, ... ,pn in en where e'.
* Allow structured constants in default value patterns (p := c).
......@@ -298,7 +303,7 @@ current
* argv is now an operator of type [] -> [ String* ].
* The --dump, --load, --save options are deprecated.
* Changes to the command line. "--pxp" is replaced with "--no expat".
- Implementation:
* Code upgraded to Ocaml 3.07.
* Major cleaning in progress.
......@@ -320,7 +325,7 @@ current
* Various bug fixes (expat might now work)
* Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
* Encoded references
0.1.0
* Support for XML Namespaces
......@@ -338,7 +343,7 @@ current
* Second alpha release
* Bug fixes and syntax changes (e.g. making "fun" optional in "let fun")
* Experimenting with expat support (see expat/README)
0.0.9
0.0.9
* First public release (alpha release)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment