diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
commit | fb209a840dc764bdfa285ad3cb7575df21a43289 (patch) | |
tree | 22c5f97139814096d211f26b4daa059b0d85d10b /src/ChangeLog | |
parent | a4c3f01ad687e6b8a29db845f725c00b06016f36 (diff) | |
download | open-axiom-fb209a840dc764bdfa285ad3cb7575df21a43289.tar.gz |
r12485@gauss: gdr | 2008-12-17 16:26:21 -0600
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 3b7e5862..1b4d8dd1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,35 @@ +2008-12-25 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/database.boot (getConstructorArity): New. + (getCategoryExports): Likewise. + (getCategoryAttributes): Likewise. + * interp/i-analy.boot (isUnambiguouslyConstructor): New. + (bottomUpIdentifier): Use it. + * algebra/syntax.spad.pamphlet (Identifier): No longer satisfies + SpadSyntaxCategory). + * algebra/exposed.lsp.pamphlet: Expose Signature and + ConstructorCategory. + * algebra/term.spad.pamphlet (operator$OperatorCategory): Remove. + * algebra/domain.spad.pamphlet (ConstructorKind): Improve + documentation. + (ConstructorCategory): New. + (Constructor): Now satisfies ConstructorCategory. + (CategoryConstructor): New. + (DomainConstructor): New. + (Signature): Move from syntax.spad.pamphlet. + (OperatorSignature): New. + (exportedOperators$Category): New. + (principalAncestors$Category): New. + (parents$Category): Likewise. + (constructor$Domain): New. + * algebra/catdef.spad.pamphlet (hash$SetCategory): Tidy default + implementation. + * algebra/outform.spad.pamphlet (vspace$OutputForm): Prevent + infinite recursion for negative input. + (hspace$OutputForm): Likewise. + (rspace$OutputForm): Likewise. + Explicitly quote bytecode symbols. + 2008-12-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/i-eval.boot (evaluateType0): Check for builtin |