diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-20 15:07:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-20 15:07:26 +0000 |
commit | 4601ffa3bc49e44b09f7d58f355d76f4d06de220 (patch) | |
tree | f85d37165cf252ff2bda3fb3aa1f08bec1fd0f43 /src/interp/sys-constants.boot | |
parent | 107ad31254bf3de30516ce0f2563892bacf9cb60 (diff) | |
download | open-axiom-4601ffa3bc49e44b09f7d58f355d76f4d06de220.tar.gz |
* interp/sys-constants.boot ($Identifier): New.
* interp/compiler.boot (compQuote): Use the target mode if appropriate.
* interp/i-spec2.boot (upQUOTE): Likewise.
* algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
Diffstat (limited to 'src/interp/sys-constants.boot')
-rw-r--r-- | src/interp/sys-constants.boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index 51bdfea0..25382ba9 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -427,6 +427,9 @@ $String == $Symbol == '(Symbol) +++ The Identifier domain form +$Identifier == + '(Identifier) ++ The 'wildcar' for a type -- "?" in Spad syntax. This stands for ++ an unspecified type. |