Contents of /cduce/trunk/CHANGES

Since 0.2.1
- interval arithmetic for the * operator
- warning for potential division by 0
- Pattern guard /p in regexps (to match the current tail)
- Back to the old semantics for default value patterns in regexps
  (the non-capturing semantics is obtained with /(x:=c))
- bug fixes in configure/Makefile for Cygwin
- bug fix for the compilation of complex patterns with records
- new syntax { l = p else p' }
- fixed a little bit support for XML Schema, but still largely broken

0.2.1

- string:// scheme for load_xml and others
- code updated to OCaml 3.08.1, PXP 1.1.95
- NOTE: support for namespaces in XML Schema may be broken

0.2.0

- OCaml/CDuce interface.

- Language:
  * 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. 
  * 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).
  * Default value patterns in regexps don't consume an element.
  * Logical operators &&, ||, and not.
  * New syntax for currified functions
    fun (p1 : t1)...(pn : tn) : t = ...

- Incompatible changes:
  * 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.
  * Added internal support for abstract data types.
  * Using ulex instead of wlex.
  * Sources can now be in utf8.
  * Separate compilation.
  * Lazy implementation of @.

- Other:
  * Added configure script.
  * Various Makefile improvements.

- Bug fixes:
  * Bug fixes in the parser. Tuples are now ok in regexps.


0.1.1
  * 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
  * Better support for expat; clean Makefile
  * Get rid of ;; and let fun in examples
  * Optional ; for record in attribute position (values and types/patterns)
  * Split --dump into --load and --save
  * Better handling of strings (specific node in AST)
  * Map, transform: tail-recursive implementation
  * Preliminary support for XML Schema
  * Various bug fixes


0.0.91
  * 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  
  * First public release (alpha release)
1	abate	1286	Since 0.2.1
2			- interval arithmetic for the * operator
3			- warning for potential division by 0
4	abate	1329	- Pattern guard /p in regexps (to match the current tail)
5			- Back to the old semantics for default value patterns in regexps
6			(the non-capturing semantics is obtained with /(x:=c))
7			- bug fixes in configure/Makefile for Cygwin
8	abate	1369	- bug fix for the compilation of complex patterns with records
9			- new syntax { l = p else p' }
10			- fixed a little bit support for XML Schema, but still largely broken
11	abate	1286
12	abate	1261	0.2.1
13	abate	1230
14			- string:// scheme for load_xml and others
15	abate	1261	- code updated to OCaml 3.08.1, PXP 1.1.95
16			- NOTE: support for namespaces in XML Schema may be broken
17	abate	1230
18	abate	1176	0.2.0
19	abate	1077
20	abate	1218	- OCaml/CDuce interface.
21
22	abate	1086	- Language:
23	abate	1218	* Support for URLs in load_xml, load_html, load_file, and schemas:
24	abate	975	e.g. you can write `` load_html "http://www.cduce.org/" ''
25	abate	1218	(need either the ocurl package or the netclient package).
26	abate	796	* More advanced (and documented) support for XML Schemas.
27	abate	820	* Preliminary integration of CQL query language that is:
28	abate	1218	select e from p1 in e1, ... ,pn in en where e'.
29			* Allow structured constants in default value patterns (p := c).
30	abate	1086	* Default value patterns in regexps don't consume an element.
31	abate	1218	* Logical operators &&, \|\|, and not.
32			* New syntax for currified functions
33			fun (p1 : t1)...(pn : tn) : t = ...
34	abate	1201
35			- Incompatible changes:
36	abate	1218	* argv is now an operator of type [] -> [ String* ].
37			* The --dump, --load, --save options are deprecated.
38	abate	1205	* Changes to the command line. "--pxp" is replaced with "--no expat".
39	abate	1086
40			- Implementation:
41			* Code upgraded to Ocaml 3.07.
42			* Major cleaning in progress.
43			* Added internal support for abstract data types.
44			* Using ulex instead of wlex.
45			* Sources can now be in utf8.
46	abate	1218	* Separate compilation.
47			* Lazy implementation of @.
48	abate	664
49	abate	1086	- Other:
50			* Added configure script.
51	abate	1218	* Various Makefile improvements.
52	abate	1086
53			- Bug fixes:
54			* Bug fixes in the parser. Tuples are now ok in regexps.
55
56
57	abate	641	0.1.1
58	abate	642	* Various bug fixes (expat might now work)
59	abate	623	* Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
60			* Encoded references
61
62
63	abate	563	0.1.0
64	abate	562	* Support for XML Namespaces
65	abate	527	* Better support for expat; clean Makefile
66	abate	489	* Get rid of ;; and let fun in examples
67	abate	562	* Optional ; for record in attribute position (values and types/patterns)
68	abate	489	* Split --dump into --load and --save
69	abate	527	* Better handling of strings (specific node in AST)
70			* Map, transform: tail-recursive implementation
71			* Preliminary support for XML Schema
72			* Various bug fixes
73	abate	489
74	abate	527
75	abate	475	0.0.91
76			* Second alpha release
77			* Bug fixes and syntax changes (e.g. making "fun" optional in "let fun")
78			* Experimenting with expat support (see expat/README)
79
80
81	abate	370	0.0.9
82			* First public release (alpha release)