cgi-bin/viewcvs.cgi/CHANGES

Since 0.2.2

- 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

- Tools:
   * A new tool cduce_mktop produces customized CDuce toplevels with embedded 
     OCaml externals.
   * Removed the validate tool.

- 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.

- 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	1434	Since 0.2.2
2
3	abate	1502	- Language:
4			* Warning for capture variables and projections that always return the empty
5			sequence.
6			* Major rewrite of the support for XML Schema
7			* removed print_schema directive
8			* removed the "kind" selector (e.g. S # t as element)
9			* include,import implemented
10			* support wildcards any,anyAttrivbute
11			* support xsi:nil
12			* support xsd:decimal,xsd:float
13			* many bug fixes
14			* Removed the syntax "external {...}", replaced with
15			"unit.val with { ty1 ty2 ... }".
16			* Removed the syntax H:val, replaced with H.val.
17			* Removed the syntax S#t, replaced with S.t.
18			* Overloaded the dot (record field acces, CDuce, OCaml, Schema units).
19			A dot in an identifier must now be escaped with a backslash, e.g. x\.y
20			* Identifiers (for types, values) are now qualified names.
21			* float_of: String -> Float
22	abate	1519	* Syntax modifications for records and attributes:
23			- ".." to denote open record types/patterns:
24			open record: { l1=t1 l2=t2 .. }
25			closed record: { l1=t1 l2=t2 }
26			- the ";" between fields is optional even for records
27			(used to be optional only for attributes)
28	abate	1520	* Keywords are now allowed as type names
29	abate	1524	* Concatenation @ allowed in types
30			* Record concatenation + allowed in types
31	abate	1434
32	abate	1502	- Tools:
33	abate	1512	* A new tool cduce_mktop produces customized CDuce toplevels with embedded
34	abate	1502	OCaml externals.
35	abate	1504	* Removed the validate tool.
36	abate	1502
37			- Implementation:
38	abate	1516	* Various bug fixes.
39			* More efficient hash-consing of types.
40			* improved #print_type (does not use the abbreviation for the printed type).
41	abate	1502
42	abate	1506	- Distribution:
43	abate	1516	* MIT license.
44	abate	1502
45	abate	1516	- CQL:
46			* Rewrote the optimization (pushing projections).
47			* The syntax for "where" clause is now simply an "and"-separated
48			list of conditions ("or" is no longer supported).
49			* Better types for "min","max","distinct_values" operators.
50	abate	1506
51	abate	1422	0.2.2
52	abate	1286
53	abate	1422	- Language:
54			* Runtime type-check: (e :? t) raises an exception when e doesn't
55			have type t; the exception is an explanation of why this is not the case.
56			(The actual message may change in the future.)
57			* Better return type for load_xml, defined as:
58			AnyXml=<(Atom) (Record)>[ (AnyXml\|Char)* ]
59			* New style for comments: /* ... */
60			Simple and double quotes within these comments are not handled
61			specially. Moreover, these comments cannot be nested.
62			The new style should be used for textual comments (which can include
63			the simple quote); the old style is better for ignoring pieces of code.
64			* Pattern guard /p in regexps to match the current tail. This can be used
65			for setting "markers" without capturing anything, e.g.:
66			[ (/(x:=1) ...) \| (/(x:=2) ...) ]
67			Back to the old semantics for default value patterns in regexps
68			(they do capture an element).
69			* New syntax {...; l = p else p'; ... }. p' is applied
70			to the whole matched record when p does not match (or when
71			the field is missing). Equivalent to:
72			{ ...; l = p; ...} \| ({...;...} & p')
73			* Punning in record/attribute expressions and patterns.
74			{ x; y } is a shorthand for {x=x;y=y}.
75			* New syntax for R**n in regular expressions, equivalent
76			to R...R (n times), where n > 0.
77			* Interval arithmetic for the * operator.
78			* Warning for potential division by 0.
79			* New "system", "exit", "getenv" built-in functions.
80	abate	1401
81	abate	1422	- Toplevel, interpreter, compiler:
82			* New #silent, #verbose directives.
83			* New --script option.
84			* Removed the warning "no caml interface".
85
86			- Compilation:
87			* Better compilation of sequence capture variables.
88			Now, [ ... x::Any* ] is as efficient as [ ... ; x ]. Can also be written
89			[ ... /x _* ]. The [ ... ; ... ] syntax is no longer necessary
90			and might be deprecated.
91
92			- Bug fixes, including:
93			* Bug fixes in configure/Makefile for Cygwin.
94			* Bug fix for the compilation of complex patterns with records.
95			* Fixed a little bit support for XML Schema, but still largely broken.
96			* Fix --stdin.
97	abate	1423	* Bug fix in print_xml (do not create a namespace decl for "xml:").
98	abate	1422
99	abate	1425	- Distribution:
100	abate	1422	* apps-cduce-cvs GODI package is updatable.
101	abate	1425	* The release tarball does not contain the CDuce website, only
102			the HTML documentation (memento, tutorial, manual).
103	abate	1422
104	abate	1261	0.2.1
105	abate	1230
106			- string:// scheme for load_xml and others
107	abate	1261	- code updated to OCaml 3.08.1, PXP 1.1.95
108			- NOTE: support for namespaces in XML Schema may be broken
109	abate	1230
110	abate	1176	0.2.0
111	abate	1077
112	abate	1218	- OCaml/CDuce interface.
113
114	abate	1086	- Language:
115	abate	1218	* Support for URLs in load_xml, load_html, load_file, and schemas:
116	abate	975	e.g. you can write `` load_html "http://www.cduce.org/" ''
117	abate	1218	(need either the ocurl package or the netclient package).
118	abate	796	* More advanced (and documented) support for XML Schemas.
119	abate	820	* Preliminary integration of CQL query language that is:
120	abate	1218	select e from p1 in e1, ... ,pn in en where e'.
121			* Allow structured constants in default value patterns (p := c).
122	abate	1086	* Default value patterns in regexps don't consume an element.
123	abate	1218	* Logical operators &&, \|\|, and not.
124			* New syntax for currified functions
125			fun (p1 : t1)...(pn : tn) : t = ...
126	abate	1201
127			- Incompatible changes:
128	abate	1218	* argv is now an operator of type [] -> [ String* ].
129			* The --dump, --load, --save options are deprecated.
130	abate	1205	* Changes to the command line. "--pxp" is replaced with "--no expat".
131	abate	1086
132			- Implementation:
133			* Code upgraded to Ocaml 3.07.
134			* Major cleaning in progress.
135			* Added internal support for abstract data types.
136			* Using ulex instead of wlex.
137			* Sources can now be in utf8.
138	abate	1218	* Separate compilation.
139			* Lazy implementation of @.
140	abate	664
141	abate	1086	- Other:
142			* Added configure script.
143	abate	1218	* Various Makefile improvements.
144	abate	1086
145			- Bug fixes:
146			* Bug fixes in the parser. Tuples are now ok in regexps.
147
148
149	abate	641	0.1.1
150	abate	642	* Various bug fixes (expat might now work)
151	abate	623	* Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
152			* Encoded references
153
154
155	abate	563	0.1.0
156	abate	562	* Support for XML Namespaces
157	abate	527	* Better support for expat; clean Makefile
158	abate	489	* Get rid of ;; and let fun in examples
159	abate	562	* Optional ; for record in attribute position (values and types/patterns)
160	abate	489	* Split --dump into --load and --save
161	abate	527	* Better handling of strings (specific node in AST)
162			* Map, transform: tail-recursive implementation
163			* Preliminary support for XML Schema
164			* Various bug fixes
165	abate	489
166	abate	527
167	abate	475	0.0.91
168			* Second alpha release
169			* Bug fixes and syntax changes (e.g. making "fun" optional in "let fun")
170			* Experimenting with expat support (see expat/README)
171
172
173	abate	370	0.0.9
174			* First public release (alpha release)