| 1 |
Since 0.2.1 |
Since 0.2.2 |
| 2 |
- interval arithmetic for the * operator |
|
| 3 |
- warning for potential division by 0 |
- Warning for capture variables and projections that always return the empty |
| 4 |
- Pattern guard /p in regexps (to match the current tail) |
sequence. |
| 5 |
- Back to the old semantics for default value patterns in regexps |
- Bug fixes when printing location in source code. |
| 6 |
(the non-capturing semantics is obtained with /(x:=c)) |
- Major rewrite of the support for XML Schema |
| 7 |
- bug fixes in configure/Makefile for Cygwin |
* removed print_schema directive |
| 8 |
- bug fix for the compilation of complex patterns with records |
* removed the "kind" selector (e.g. S # t as element) |
| 9 |
- new syntax { l = p else p' } |
* include,import implemented |
| 10 |
- fixed a little bit support for XML Schema, but still largely broken |
* |
| 11 |
- better compilation of sequence capture variables |
- removed the syntax "external {...}", replaced with |
| 12 |
- punning in record/attribute expressions and values ({ x; y } -> {x=x;y=y}) |
"unit.val with { ty1 ty2 ... }" |
| 13 |
|
- removed the syntax H:val, replaced with H.val |
| 14 |
|
- removed the syntax S#t, replaced with S.t |
| 15 |
|
- overloaded the dot (record field acces, CDuce, OCaml, Schema units) |
| 16 |
|
- identifiers (for types, values) are now qualified names |
| 17 |
|
- A new tool cduce_mktop produce CDuce toplevels with embeded OCaml functions |
| 18 |
|
- several bug fixes |
| 19 |
|
- validate renamed to cduce_validate |
| 20 |
|
- more efficient hash-consing of types |
| 21 |
|
- better error message with script on stdin |
| 22 |
|
- a dot in an identifier must be escaped with a backslash, e.g. x\.y |
| 23 |
|
- improved #print_type (does not use the abbreviation for the printed type) |
| 24 |
|
- float_of: String -> Float |
| 25 |
|
|
| 26 |
|
0.2.2 |
| 27 |
|
|
| 28 |
|
- Language: |
| 29 |
|
* Runtime type-check: (e :? t) raises an exception when e doesn't |
| 30 |
|
have type t; the exception is an explanation of why this is not the case. |
| 31 |
|
(The actual message may change in the future.) |
| 32 |
|
* Better return type for load_xml, defined as: |
| 33 |
|
AnyXml=<(Atom) (Record)>[ (AnyXml|Char)* ] |
| 34 |
|
* New style for comments: /* ... */ |
| 35 |
|
Simple and double quotes within these comments are not handled |
| 36 |
|
specially. Moreover, these comments cannot be nested. |
| 37 |
|
The new style should be used for textual comments (which can include |
| 38 |
|
the simple quote); the old style is better for ignoring pieces of code. |
| 39 |
|
* Pattern guard /p in regexps to match the current tail. This can be used |
| 40 |
|
for setting "markers" without capturing anything, e.g.: |
| 41 |
|
[ (/(x:=1) ...) | (/(x:=2) ...) ] |
| 42 |
|
Back to the old semantics for default value patterns in regexps |
| 43 |
|
(they do capture an element). |
| 44 |
|
* New syntax {...; l = p else p'; ... }. p' is applied |
| 45 |
|
to the whole matched record when p does not match (or when |
| 46 |
|
the field is missing). Equivalent to: |
| 47 |
|
{ ...; l = p; ...} | ({...;...} & p') |
| 48 |
|
* Punning in record/attribute expressions and patterns. |
| 49 |
|
{ x; y } is a shorthand for {x=x;y=y}. |
| 50 |
|
* New syntax for R**n in regular expressions, equivalent |
| 51 |
|
to R...R (n times), where n > 0. |
| 52 |
|
* Interval arithmetic for the * operator. |
| 53 |
|
* Warning for potential division by 0. |
| 54 |
|
* New "system", "exit", "getenv" built-in functions. |
| 55 |
|
|
| 56 |
|
- Toplevel, interpreter, compiler: |
| 57 |
|
* New #silent, #verbose directives. |
| 58 |
|
* New --script option. |
| 59 |
|
* Removed the warning "no caml interface". |
| 60 |
|
|
| 61 |
|
- Compilation: |
| 62 |
|
* Better compilation of sequence capture variables. |
| 63 |
|
Now, [ ... x::Any* ] is as efficient as [ ... ; x ]. Can also be written |
| 64 |
|
[ ... /x _* ]. The [ ... ; ... ] syntax is no longer necessary |
| 65 |
|
and might be deprecated. |
| 66 |
|
|
| 67 |
|
- Bug fixes, including: |
| 68 |
|
* Bug fixes in configure/Makefile for Cygwin. |
| 69 |
|
* Bug fix for the compilation of complex patterns with records. |
| 70 |
|
* Fixed a little bit support for XML Schema, but still largely broken. |
| 71 |
|
* Fix --stdin. |
| 72 |
|
* Bug fix in print_xml (do not create a namespace decl for "xml:"). |
| 73 |
|
|
| 74 |
|
- Distribution: |
| 75 |
|
* apps-cduce-cvs GODI package is updatable. |
| 76 |
|
* The release tarball does not contain the CDuce website, only |
| 77 |
|
the HTML documentation (memento, tutorial, manual). |
| 78 |
|
|
| 79 |
0.2.1 |
0.2.1 |
| 80 |
|
|
Parent Directory
| 
Revision Log
| 
Patch