diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-07 04:39:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-07 04:39:45 +0000 |
commit | 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (patch) | |
tree | 68c3a7460fc599833cb259a3709564160d43afcd /src/interp/metalex.lisp | |
parent | 569c20a430023be60c2b38f47bccc5810c6980aa (diff) | |
download | open-axiom-03ca123dfb990c5ea8dde05b6f10902e4a4019b9.tar.gz |
* algebra/domain.spad.pamphlet (DomainTemplate): New.
(FunctorData): Likewise.
(functorData$DomainConstructor): Likewise.
Diffstat (limited to 'src/interp/metalex.lisp')
-rw-r--r-- | src/interp/metalex.lisp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/metalex.lisp b/src/interp/metalex.lisp index 18183d0d..a98d681f 100644 --- a/src/interp/metalex.lisp +++ b/src/interp/metalex.lisp @@ -637,11 +637,11 @@ as keywords.") (defun-parse-token ARGUMENT-DESIGNATOR) (defun |PARSE-OperatorFunctionName| () - (let ((tok (or (match-current-token 'keyword) - (match-current-token 'gliph)))) - (when (and tok (member (token-symbol tok) |$OperatorFunctionNames|)) - (Push-Reduction '|PARSE-OperatorFunctionName| - (copy-tree (token-symbol tok))) + (let ((id (make-symbol-of (or (match-current-token 'keyword) + (match-current-token 'gliph) + (match-current-token 'special-char))))) + (when (and id (member id |$OperatorFunctionNames|)) + (Push-Reduction '|PARSE-OperatorFunctionName| id) (action (advance-token))))) ; Meta tokens fall into the following categories: |