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
- better compilation of sequence capture variables
- punning in record/attribute expressions and values ({ x; y } -> {x=x;y=y})
- removed the warning "no caml interface"
- add "system: Latin1->Latin1", "exit: (0--255)->Empty" 
- (e :? t) raises an exception when e doesn't have type t;
  the exception is an explanation of why this is not the case.
- apps-cduce-cvs GODI package is updatable


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	1377	- better compilation of sequence capture variables
12	abate	1394	- punning in record/attribute expressions and values ({ x; y } -> {x=x;y=y})
13	abate	1395	- removed the warning "no caml interface"
14	abate	1401	- add "system: Latin1->Latin1", "exit: (0--255)->Empty"
15			- (e :? t) raises an exception when e doesn't have type t;
16			the exception is an explanation of why this is not the case.
17	abate	1402	- apps-cduce-cvs GODI package is updatable
18	abate	1286
19	abate	1401
20
21	abate	1261	0.2.1
22	abate	1230
23			- string:// scheme for load_xml and others
24	abate	1261	- code updated to OCaml 3.08.1, PXP 1.1.95
25			- NOTE: support for namespaces in XML Schema may be broken
26	abate	1230
27	abate	1176	0.2.0
28	abate	1077
29	abate	1218	- OCaml/CDuce interface.
30
31	abate	1086	- Language:
32	abate	1218	* Support for URLs in load_xml, load_html, load_file, and schemas:
33	abate	975	e.g. you can write `` load_html "http://www.cduce.org/" ''
34	abate	1218	(need either the ocurl package or the netclient package).
35	abate	796	* More advanced (and documented) support for XML Schemas.
36	abate	820	* Preliminary integration of CQL query language that is:
37	abate	1218	select e from p1 in e1, ... ,pn in en where e'.
38			* Allow structured constants in default value patterns (p := c).
39	abate	1086	* Default value patterns in regexps don't consume an element.
40	abate	1218	* Logical operators &&, \|\|, and not.
41			* New syntax for currified functions
42			fun (p1 : t1)...(pn : tn) : t = ...
43	abate	1201
44			- Incompatible changes:
45	abate	1218	* argv is now an operator of type [] -> [ String* ].
46			* The --dump, --load, --save options are deprecated.
47	abate	1205	* Changes to the command line. "--pxp" is replaced with "--no expat".
48	abate	1086
49			- Implementation:
50			* Code upgraded to Ocaml 3.07.
51			* Major cleaning in progress.
52			* Added internal support for abstract data types.
53			* Using ulex instead of wlex.
54			* Sources can now be in utf8.
55	abate	1218	* Separate compilation.
56			* Lazy implementation of @.
57	abate	664
58	abate	1086	- Other:
59			* Added configure script.
60	abate	1218	* Various Makefile improvements.
61	abate	1086
62			- Bug fixes:
63			* Bug fixes in the parser. Tuples are now ok in regexps.
64
65
66	abate	641	0.1.1
67	abate	642	* Various bug fixes (expat might now work)
68	abate	623	* Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
69			* Encoded references
70
71
72	abate	563	0.1.0
73	abate	562	* Support for XML Namespaces
74	abate	527	* Better support for expat; clean Makefile
75	abate	489	* Get rid of ;; and let fun in examples
76	abate	562	* Optional ; for record in attribute position (values and types/patterns)
77	abate	489	* Split --dump into --load and --save
78	abate	527	* Better handling of strings (specific node in AST)
79			* Map, transform: tail-recursive implementation
80			* Preliminary support for XML Schema
81			* Various bug fixes
82	abate	489
83	abate	527
84	abate	475	0.0.91
85			* Second alpha release
86			* Bug fixes and syntax changes (e.g. making "fun" optional in "let fun")
87			* Experimenting with expat support (see expat/README)
88
89
90	abate	370	0.0.9
91			* First public release (alpha release)