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 /src/ChangeLog | |
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 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 463e45cb..03d653b5 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,14 @@ 2010-05-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * 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. + +2010-05-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/ptrees.boot (pfWith): Now a function of two arguments. (pfWithWithon): Remove. (pfDefinableName?): New. |