diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-24 22:44:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-24 22:44:25 +0000 |
| commit | 46254b227d3155c2abf6676e3642cbf2af2c1721 (patch) | |
| tree | 451de596a30ee469d9bbdeb03baf6c0add5fb6ab /src/algebra/syntax.spad.pamphlet | |
| parent | 4f11d3a9059c2f3c30cb106ff6db938b5524f2d5 (diff) | |
| download | open-axiom-46254b227d3155c2abf6676e3642cbf2af2c1721.tar.gz | |
* algebra/syntax.spad.pamphlet (new$Identifier): New.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 359942fd..acbf8892 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -562,8 +562,11 @@ Literal(T: SetCategory): Public == Private where ++ )abbrev domain IDENT Identifier Identifier(): Public == Private where - Public == Join(SetCategory, CoercibleTo Symbol) + Public == Join(SetCategory, CoercibleTo Symbol) with + new: () -> % ++ returns a new identifier, different from + ++ any other identifier in the running system Private == add + new() == GENSYM()$Foreign(Builtin) x = y == EQ(x,y)$Lisp coerce(x: %): Symbol == x : Symbol coerce(x: %): OutputForm == x : OutputForm |