Contents of /cduce/trunk/CHANGES

Since 0.4.1
- Added int_of_char

0.4.1
=======


- Tools:
   * Error message when using --mlstub without the built-in OCaml interface
   * Improvements to the type pretty-printer
   * "include" uses the -I options

- Language:
   * New Caml_int builtin type
   * The // construction no longer stops at the first matched subtree
     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 
     matching

- Bug fix:
   * "eval" can now be called several times and use the toplevel environment
   * use "open_out_bin" (needed for Cygwin installation)
   * "open" allowed as tag name
   * exceptions raised by the expat parser and by the dump_to_file
     primitives are now catchable
   * work-around the double close bug in OCaml

0.4.0pl1

- Packaging bug

0.4.0

- Adapted to OCaml 3.09.
- To build the OCaml/CDuce interface, OCaml sources are now needed.

0.3.92

- Tools:
   * Build and install dtd2cduce when PXP is available.
   * Display of location for errors and warnings compatible with OCaml.

- Language:
   * Better error messages for xtransform.

- Bug fix:
   * Forgot PLIST.godi in the package.


0.3.91

- Tools:
   * Get rid of cdo2ml and mlcduce_wrapper. Now included in cduce.

- Bug fix:
   * Internal uid collision when using OCaml externals.
   * Makes "String.length" works (String used to resolve to the CDuce type).

0.3.9

- Language:
   * Added split_atom, make_atom. Removed atom_of.
   * Added char_of_int built_in function.
   * Now int_of also accepts octal binary and hexadecimals.
   * The field access also works for XML element attributes.
   * More catchable exceptions (for load_xml, load_file, etc).
   * namespaces, schemas, "using" identifiers are now exported.
   * "open" statement.

- Implementation:
   * More efficient implementation of records at runtime.
   * Clean-up of the internal representation.
   * The XML Schemas are now parsed only at compile time.
   * The automata for pattern matching are now produced at compile time.

- Tools:
   * The functionality of cdo2ml is now assured by cduce itself, with
     the --mlstub option.
   * Remove the --dump option (which was deprecated).
   * Remove support for sessions in the web prototype.

- Bug fixes:
   * Correct handling of external references with expat.
   * Installation problem under some BSD (using "install -c").

0.3.2
   * Bug fix in configure

0.3.1

- Bug fix:
   * configure must not require pxp
   * inclusion of external entities with expat
   * META.in, cduce_mktop missing in package
   * several bugfixes for XML Schema
   * Adapt to ocaml-expat 0.9.1
   * don't build cdo2ml, mlcduce_wrapper when ocaml iface not available

- Language:
   * Can now preserve namespaces when parsing XML or when creating XML elements
   * "or" is now equivalent to ||

0.3.0

- Language:
   * Warning for capture variables and projections that always return the empty
     sequence.
   * Major rewrite of the support for XML Schema
     * removed print_schema directive
     * removed the "kind" selector (e.g. S # t as element)
     * include,import implemented
     * support wildcards any,anyAttrivbute
     * support xsi:nil
     * support xsd:decimal,xsd:float
     * many bug fixes
   * Removed the syntax  "external {...}", replaced with
     "unit.val with { ty1 ty2 ... }".
   * Removed the syntax H:val, replaced with H.val.
   * Removed the syntax S#t, replaced with S.t.
   * Overloaded the dot (record field acces, CDuce, OCaml, Schema units).
     A dot in an identifier must now be escaped with a backslash, e.g. x\.y
   * Identifiers (for types, values) are now qualified names.
   * float_of: String -> Float
   * Syntax modifications for records and attributes:
      - ".." 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 
        (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:" 
   * Better resolution of external entities for PXP and expat

- Tools:
   * 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
     version is available at http://www.cduce.org/dtd2cduce.html

- Implementation:
   * Various bug fixes.
   * More efficient hash-consing of types.
   * improved #print_type (does not use the abbreviation for the printed type).

- Distribution:
   * MIT license.
   * CDuce can be built without support for PXP.

- CQL:
   * Rewrote the optimization (pushing projections).
   * The syntax for "where" clause is now simply an "and"-separated
     list of conditions ("or" is no longer supported).
   * Better types for "min","max","distinct_values" operators.

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	abate	1932	Since 0.4.1
2			- Added int_of_char
3
4	abate	1908	0.4.1
5	abate	1933	=======
6	abate	1819
7	abate	1933
8	abate	1908	- Tools:
9			* Error message when using --mlstub without the built-in OCaml interface
10			* Improvements to the type pretty-printer
11			* "include" uses the -I options
12	abate	1819
13	abate	1908	- Language:
14			* New Caml_int builtin type
15			* The // construction no longer stops at the first matched subtree
16			on each branch
17			* New "dump_xml" and "dump_xml_utf8", equivalent to the composition
18			of print and print_xml, but more efficient
19
20
21			- Implementation:
22			* New subtyping algorithm
23			* Small improvement to the pattern matching compiler
24			* Improve type-checking time for map
25			* Improve type-checking of record expressions
26			* Don't display warnings for unused branches in ghost (generated) pattern
27			matching
28
29			- Bug fix:
30			* "eval" can now be called several times and use the toplevel environment
31			* use "open_out_bin" (needed for Cygwin installation)
32			* "open" allowed as tag name
33			* exceptions raised by the expat parser and by the dump_to_file
34			primitives are now catchable
35			* work-around the double close bug in OCaml
36
37	abate	1814	0.4.0pl1
38
39			- Packaging bug
40
41	abate	1812	0.4.0
42
43			- Adapted to OCaml 3.09.
44			- To build the OCaml/CDuce interface, OCaml sources are now needed.
45
46	abate	1801	0.3.92
47	abate	1779
48			- Tools:
49			* Build and install dtd2cduce when PXP is available.
50	abate	1786	* Display of location for errors and warnings compatible with OCaml.
51	abate	1779
52			- Language:
53			* Better error messages for xtransform.
54
55	abate	1801	- Bug fix:
56			* Forgot PLIST.godi in the package.
57	abate	1779
58	abate	1801
59	abate	1772	0.3.91
60
61			- Tools:
62			* Get rid of cdo2ml and mlcduce_wrapper. Now included in cduce.
63
64			- Bug fix:
65			* Internal uid collision when using OCaml externals.
66			* Makes "String.length" works (String used to resolve to the CDuce type).
67
68	abate	1762	0.3.9
69
70			- Language:
71	abate	1694	* Added split_atom, make_atom. Removed atom_of.
72	abate	1671	* Added char_of_int built_in function.
73	abate	1698	* Now int_of also accepts octal binary and hexadecimals.
74			* The field access also works for XML element attributes.
75	abate	1762	* More catchable exceptions (for load_xml, load_file, etc).
76			* namespaces, schemas, "using" identifiers are now exported.
77			* "open" statement.
78
79			- Implementation:
80	abate	1746	* More efficient implementation of records at runtime.
81			* Clean-up of the internal representation.
82	abate	1762	* The XML Schemas are now parsed only at compile time.
83			* The automata for pattern matching are now produced at compile time.
84
85			- Tools:
86	abate	1746	* The functionality of cdo2ml is now assured by cduce itself, with
87			the --mlstub option.
88			* Remove the --dump option (which was deprecated).
89			* Remove support for sessions in the web prototype.
90	abate	1762
91			- Bug fixes:
92	abate	1746	* Correct handling of external references with expat.
93	abate	1762	* Installation problem under some BSD (using "install -c").
94	abate	1671
95	abate	1570	0.3.2
96			* Bug fix in configure
97
98	abate	1564	0.3.1
99	abate	1565
100			- Bug fix:
101	abate	1564	* configure must not require pxp
102			* inclusion of external entities with expat
103			* META.in, cduce_mktop missing in package
104	abate	1565	* several bugfixes for XML Schema
105			* Adapt to ocaml-expat 0.9.1
106			* don't build cdo2ml, mlcduce_wrapper when ocaml iface not available
107	abate	1564
108	abate	1565	- Language:
109			* Can now preserve namespaces when parsing XML or when creating XML elements
110			* "or" is now equivalent to \|\|
111
112	abate	1547	0.3.0
113	abate	1434
114	abate	1502	- Language:
115			* Warning for capture variables and projections that always return the empty
116			sequence.
117			* Major rewrite of the support for XML Schema
118			* removed print_schema directive
119			* removed the "kind" selector (e.g. S # t as element)
120			* include,import implemented
121			* support wildcards any,anyAttrivbute
122			* support xsi:nil
123			* support xsd:decimal,xsd:float
124			* many bug fixes
125			* Removed the syntax "external {...}", replaced with
126			"unit.val with { ty1 ty2 ... }".
127			* Removed the syntax H:val, replaced with H.val.
128			* Removed the syntax S#t, replaced with S.t.
129			* Overloaded the dot (record field acces, CDuce, OCaml, Schema units).
130			A dot in an identifier must now be escaped with a backslash, e.g. x\.y
131			* Identifiers (for types, values) are now qualified names.
132			* float_of: String -> Float
133	abate	1519	* Syntax modifications for records and attributes:
134			- ".." to denote open record types/patterns:
135			open record: { l1=t1 l2=t2 .. }
136			closed record: { l1=t1 l2=t2 }
137			- the ";" between fields is optional even for records
138			(used to be optional only for attributes)
139	abate	1520	* Keywords are now allowed as type names
140	abate	1524	* Concatenation @ allowed in types
141			* Record concatenation + allowed in types
142	abate	1535	* Changed "string://" URL-pseudo schema to "string:"
143			* Better resolution of external entities for PXP and expat
144	abate	1434
145	abate	1502	- Tools:
146	abate	1512	* A new tool cduce_mktop produces customized CDuce toplevels with embedded
147	abate	1502	OCaml externals.
148	abate	1504	* Removed the validate tool.
149	abate	1542	* Don't build dtd2cduce by default (it requires PXP). An online
150			version is available at http://www.cduce.org/dtd2cduce.html
151	abate	1502
152			- Implementation:
153	abate	1516	* Various bug fixes.
154			* More efficient hash-consing of types.
155			* improved #print_type (does not use the abbreviation for the printed type).
156	abate	1502
157	abate	1506	- Distribution:
158	abate	1516	* MIT license.
159	abate	1542	* CDuce can be built without support for PXP.
160	abate	1502
161	abate	1516	- CQL:
162			* Rewrote the optimization (pushing projections).
163			* The syntax for "where" clause is now simply an "and"-separated
164			list of conditions ("or" is no longer supported).
165			* Better types for "min","max","distinct_values" operators.
166	abate	1506
167	abate	1422	0.2.2
168	abate	1286
169	abate	1422	- Language:
170			* Runtime type-check: (e :? t) raises an exception when e doesn't
171			have type t; the exception is an explanation of why this is not the case.
172			(The actual message may change in the future.)
173			* Better return type for load_xml, defined as:
174			AnyXml=<(Atom) (Record)>[ (AnyXml\|Char)* ]
175			* New style for comments: /* ... */
176			Simple and double quotes within these comments are not handled
177			specially. Moreover, these comments cannot be nested.
178			The new style should be used for textual comments (which can include
179			the simple quote); the old style is better for ignoring pieces of code.
180			* Pattern guard /p in regexps to match the current tail. This can be used
181			for setting "markers" without capturing anything, e.g.:
182			[ (/(x:=1) ...) \| (/(x:=2) ...) ]
183			Back to the old semantics for default value patterns in regexps
184			(they do capture an element).
185			* New syntax {...; l = p else p'; ... }. p' is applied
186			to the whole matched record when p does not match (or when
187			the field is missing). Equivalent to:
188			{ ...; l = p; ...} \| ({...;...} & p')
189			* Punning in record/attribute expressions and patterns.
190			{ x; y } is a shorthand for {x=x;y=y}.
191			* New syntax for R**n in regular expressions, equivalent
192			to R...R (n times), where n > 0.
193			* Interval arithmetic for the * operator.
194			* Warning for potential division by 0.
195			* New "system", "exit", "getenv" built-in functions.
196	abate	1401
197	abate	1422	- Toplevel, interpreter, compiler:
198			* New #silent, #verbose directives.
199			* New --script option.
200			* Removed the warning "no caml interface".
201
202			- Compilation:
203			* Better compilation of sequence capture variables.
204			Now, [ ... x::Any* ] is as efficient as [ ... ; x ]. Can also be written
205			[ ... /x _* ]. The [ ... ; ... ] syntax is no longer necessary
206			and might be deprecated.
207
208			- Bug fixes, including:
209			* Bug fixes in configure/Makefile for Cygwin.
210			* Bug fix for the compilation of complex patterns with records.
211			* Fixed a little bit support for XML Schema, but still largely broken.
212			* Fix --stdin.
213	abate	1423	* Bug fix in print_xml (do not create a namespace decl for "xml:").
214	abate	1422
215	abate	1425	- Distribution:
216	abate	1422	* apps-cduce-cvs GODI package is updatable.
217	abate	1425	* The release tarball does not contain the CDuce website, only
218			the HTML documentation (memento, tutorial, manual).
219	abate	1422
220	abate	1261	0.2.1
221	abate	1230
222			- string:// scheme for load_xml and others
223	abate	1261	- code updated to OCaml 3.08.1, PXP 1.1.95
224			- NOTE: support for namespaces in XML Schema may be broken
225	abate	1230
226	abate	1176	0.2.0
227	abate	1077
228	abate	1218	- OCaml/CDuce interface.
229
230	abate	1086	- Language:
231	abate	1218	* Support for URLs in load_xml, load_html, load_file, and schemas:
232	abate	975	e.g. you can write `` load_html "http://www.cduce.org/" ''
233	abate	1218	(need either the ocurl package or the netclient package).
234	abate	796	* More advanced (and documented) support for XML Schemas.
235	abate	820	* Preliminary integration of CQL query language that is:
236	abate	1218	select e from p1 in e1, ... ,pn in en where e'.
237			* Allow structured constants in default value patterns (p := c).
238	abate	1086	* Default value patterns in regexps don't consume an element.
239	abate	1218	* Logical operators &&, \|\|, and not.
240			* New syntax for currified functions
241			fun (p1 : t1)...(pn : tn) : t = ...
242	abate	1201
243			- Incompatible changes:
244	abate	1218	* argv is now an operator of type [] -> [ String* ].
245			* The --dump, --load, --save options are deprecated.
246	abate	1205	* Changes to the command line. "--pxp" is replaced with "--no expat".
247	abate	1086
248			- Implementation:
249			* Code upgraded to Ocaml 3.07.
250			* Major cleaning in progress.
251			* Added internal support for abstract data types.
252			* Using ulex instead of wlex.
253			* Sources can now be in utf8.
254	abate	1218	* Separate compilation.
255			* Lazy implementation of @.
256	abate	664
257	abate	1086	- Other:
258			* Added configure script.
259	abate	1218	* Various Makefile improvements.
260	abate	1086
261			- Bug fixes:
262			* Bug fixes in the parser. Tuples are now ok in regexps.
263
264
265	abate	641	0.1.1
266	abate	642	* Various bug fixes (expat might now work)
267	abate	623	* Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
268			* Encoded references
269
270
271	abate	563	0.1.0
272	abate	562	* Support for XML Namespaces
273	abate	527	* Better support for expat; clean Makefile
274	abate	489	* Get rid of ;; and let fun in examples
275	abate	562	* Optional ; for record in attribute position (values and types/patterns)
276	abate	489	* Split --dump into --load and --save
277	abate	527	* Better handling of strings (specific node in AST)
278			* Map, transform: tail-recursive implementation
279			* Preliminary support for XML Schema
280			* Various bug fixes
281	abate	489
282	abate	527
283	abate	475	0.0.91
284			* Second alpha release
285			* Bug fixes and syntax changes (e.g. making "fun" optional in "let fun")
286			* Experimenting with expat support (see expat/README)
287
288
289	abate	370	0.0.9
290			* First public release (alpha release)