diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-25 17:20:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-25 17:20:33 +0000 |
| commit | 205e00352c8372e5a4bf59cde160dea017295b6e (patch) | |
| tree | 3f2fb95f37ebb66533a5f8463d5daa573055e496 /src/algebra/syntax.spad.pamphlet | |
| parent | 46254b227d3155c2abf6676e3642cbf2af2c1721 (diff) | |
| download | open-axiom-205e00352c8372e5a4bf59cde160dea017295b6e.tar.gz | |
* algebra/strap/PRIMARR.lsp: Remove.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index acbf8892..20396e7e 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -563,10 +563,11 @@ Literal(T: SetCategory): Public == Private where )abbrev domain IDENT Identifier Identifier(): Public == Private where Public == Join(SetCategory, CoercibleTo Symbol) with - new: () -> % ++ returns a new identifier, different from - ++ any other identifier in the running system + gensym: () -> % + ++ \spad{gensym()} returns a new identifier, different from + ++ any other identifier in the running system Private == add - new() == GENSYM()$Foreign(Builtin) + gensym() == GENSYM()$Foreign(Builtin) x = y == EQ(x,y)$Lisp coerce(x: %): Symbol == x : Symbol coerce(x: %): OutputForm == x : OutputForm |