diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-04 02:59:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-04 02:59:32 +0000 |
| commit | 430354eec3cd3b938fe230405c73a47a1f332b81 (patch) | |
| tree | 78247abebf23b60be311a1c3edee45fa31a55ee8 /NEWS | |
| parent | c65ac7da8c84d58b8acea7858987522957402b6a (diff) | |
| download | open-axiom-430354eec3cd3b938fe230405c73a47a1f332b81.tar.gz | |
update
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -1,11 +1,18 @@ + × The interpreter now allows library `case' functions. + Consequently, `case' no longer requires values of Union types, as + long as the arguments are of appropriate types, e.g. ones for + which a `case' operator has been defined. + × OpenAxiom developers: depsys is no longer built. All files in src/interp/ are now compiled with bootsys. × OpenAxiom now has a domain domain for representing the abstract - syntax tree of Spad and Boot programs. + syntax tree of Spad libraries, Spad scripts, and Boot programs. + Furthermore, parsers for Spad libraries and Spad scripts are + now part of the standard algebra. - × OpenAxiom now supports collections of domains. More generally, - it is now possible define and call functions with arguments + × OpenAxiom now supports aggregates/collections of domains. More + generally, it is now possible define and call functions with arguments that are of domain type. × OpenAxiom no longer uses global setting of the environment |