cgi-bin/viewcvs.cgi/CHANGES

Since 0.2.2

- Warning for capture variables and projections that always return the empty
  sequence.
- Bug fixes when printing location in source code.

0.2.2

- Language:
  * 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:
    AnyXml=<(Atom) (Record)>[ (AnyXml|Char)* ]
  * New style for comments: /* ... */
    Simple and double quotes within these comments are not handled
    specially. Moreover, these comments cannot be nested.
    The new style should be used for textual comments (which can include
    the simple quote); the old style is better for ignoring pieces of code.
  * Pattern guard /p in regexps to match the current tail. This can be used
    for setting "markers" without capturing anything, e.g.:
       [ (/(x:=1) ...) | (/(x:=2) ...) ]
    Back to the old semantics for default value patterns in regexps
    (they do capture an element).
  * New syntax  {...; l = p else p'; ... }. p' is applied
    to the whole matched record when p does not match (or when
    the field is missing). Equivalent to:
    { ...; l = p; ...} | ({...;...} & p')
  * Punning in record/attribute expressions and patterns.
    { x; y } is a shorthand for {x=x;y=y}.
  * New syntax for R**n in regular expressions, equivalent
    to R...R (n times), where n > 0.
  * Interval arithmetic for the * operator.
  * Warning for potential division by 0.
  * New "system", "exit", "getenv" built-in functions.

- Toplevel, interpreter, compiler:
  * New #silent, #verbose directives.
  * New --script option.
  * Removed the warning "no caml interface".

- Compilation:
  * Better compilation of sequence capture variables.
    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.
  * Fixed a little bit support for XML Schema, but still largely broken.
  * Fix --stdin.
  * Bug fix in print_xml (do not create a namespace decl for "xml:").

- Distribution:
  * apps-cduce-cvs GODI package is updatable.
  * The release tarball does not contain the CDuce website, only
    the HTML documentation (memento, tutorial, manual).

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	Since 0.2.2
2
3	- Warning for capture variables and projections that always return the empty
4	sequence.
5	- Bug fixes when printing location in source code.
6
7	0.2.2
8
9	- Language:
10	* Runtime type-check: (e :? t) raises an exception when e doesn't
11	have type t; the exception is an explanation of why this is not the case.
12	(The actual message may change in the future.)
13	* Better return type for load_xml, defined as:
14	AnyXml=<(Atom) (Record)>[ (AnyXml\|Char)* ]
15	* New style for comments: /* ... */
16	Simple and double quotes within these comments are not handled
17	specially. Moreover, these comments cannot be nested.
18	The new style should be used for textual comments (which can include
19	the simple quote); the old style is better for ignoring pieces of code.
20	* Pattern guard /p in regexps to match the current tail. This can be used
21	for setting "markers" without capturing anything, e.g.:
22	[ (/(x:=1) ...) \| (/(x:=2) ...) ]
23	Back to the old semantics for default value patterns in regexps
24	(they do capture an element).
25	* New syntax {...; l = p else p'; ... }. p' is applied
26	to the whole matched record when p does not match (or when
27	the field is missing). Equivalent to:
28	{ ...; l = p; ...} \| ({...;...} & p')
29	* Punning in record/attribute expressions and patterns.
30	{ x; y } is a shorthand for {x=x;y=y}.
31	* New syntax for R**n in regular expressions, equivalent
32	to R...R (n times), where n > 0.
33	* Interval arithmetic for the * operator.
34	* Warning for potential division by 0.
35	* New "system", "exit", "getenv" built-in functions.
36
37	- Toplevel, interpreter, compiler:
38	* New #silent, #verbose directives.
39	* New --script option.
40	* Removed the warning "no caml interface".
41
42	- Compilation:
43	* Better compilation of sequence capture variables.
44	Now, [ ... x::Any* ] is as efficient as [ ... ; x ]. Can also be written
45	[ ... /x _* ]. The [ ... ; ... ] syntax is no longer necessary
46	and might be deprecated.
47
48	- Bug fixes, including:
49	* Bug fixes in configure/Makefile for Cygwin.
50	* Bug fix for the compilation of complex patterns with records.
51	* Fixed a little bit support for XML Schema, but still largely broken.
52	* Fix --stdin.
53	* Bug fix in print_xml (do not create a namespace decl for "xml:").
54
55	- Distribution:
56	* apps-cduce-cvs GODI package is updatable.
57	* The release tarball does not contain the CDuce website, only
58	the HTML documentation (memento, tutorial, manual).
59
60	0.2.1
61
62	- string:// scheme for load_xml and others
63	- code updated to OCaml 3.08.1, PXP 1.1.95
64	- NOTE: support for namespaces in XML Schema may be broken
65
66	0.2.0
67
68	- OCaml/CDuce interface.
69
70	- Language:
71	* Support for URLs in load_xml, load_html, load_file, and schemas:
72	e.g. you can write `` load_html "http://www.cduce.org/" ''
73	(need either the ocurl package or the netclient package).
74	* More advanced (and documented) support for XML Schemas.
75	* Preliminary integration of CQL query language that is:
76	select e from p1 in e1, ... ,pn in en where e'.
77	* Allow structured constants in default value patterns (p := c).
78	* Default value patterns in regexps don't consume an element.
79	* Logical operators &&, \|\|, and not.
80	* New syntax for currified functions
81	fun (p1 : t1)...(pn : tn) : t = ...
82
83	- Incompatible changes:
84	* argv is now an operator of type [] -> [ String* ].
85	* The --dump, --load, --save options are deprecated.
86	* Changes to the command line. "--pxp" is replaced with "--no expat".
87
88	- Implementation:
89	* Code upgraded to Ocaml 3.07.
90	* Major cleaning in progress.
91	* Added internal support for abstract data types.
92	* Using ulex instead of wlex.
93	* Sources can now be in utf8.
94	* Separate compilation.
95	* Lazy implementation of @.
96
97	- Other:
98	* Added configure script.
99	* Various Makefile improvements.
100
101	- Bug fixes:
102	* Bug fixes in the parser. Tuples are now ok in regexps.
103
104
105	0.1.1
106	* Various bug fixes (expat might now work)
107	* Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
108	* Encoded references
109
110
111	0.1.0
112	* Support for XML Namespaces
113	* Better support for expat; clean Makefile
114	* Get rid of ;; and let fun in examples
115	* Optional ; for record in attribute position (values and types/patterns)
116	* Split --dump into --load and --save
117	* Better handling of strings (specific node in AST)
118	* Map, transform: tail-recursive implementation
119	* Preliminary support for XML Schema
120	* Various bug fixes
121
122
123	0.0.91
124	* Second alpha release
125	* Bug fixes and syntax changes (e.g. making "fun" optional in "let fun")
126	* Experimenting with expat support (see expat/README)
127
128
129	0.0.9
130	* First public release (alpha release)