diff options
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 |