diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-22 23:37:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-22 23:37:24 +0000 |
| commit | 734871bc5864d00ff51b9397fd361ce353748008 (patch) | |
| tree | 53a4726bd25963fff3a6ca63e7459c1f37f980e8 /TODO | |
| parent | 59138e151fbb3e33965af01d14bfe52a3b6ada16 (diff) | |
| download | open-axiom-734871bc5864d00ff51b9397fd361ce353748008.tar.gz | |
* interp/cparse.boot (npDefinitionItem): Consider a declaration as
a definition item too.
* interp/i-map.boot (addDefMap): Don't confuse constant
with niladic functions.
* interp/pf2sex.boot (pfDefinition2Sex): Don't be confused by
typed constant definitions.
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,6 +2,7 @@ === TODO === ============ +* Fix parse tree transformation (e.g. typed definitions.) * Cleanup commuting coercion facility. * Improve efficiency of array operations. * Rework subsumption. |