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