diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 0adfc2dc..a8d6c7a3 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -581,16 +581,18 @@ Literal(T: SetCategory): Public == Private where ++ )abbrev domain IDENT Identifier Identifier(): Public == Private where - Public == Join(SetCategory, CoercibleTo Symbol) with + Public == Join(SetCategory, CoercibleTo Symbol, CoercibleTo String) with gensym: () -> % ++ \spad{gensym()} returns a new identifier, different from ++ any other identifier in the running system Private == add import %peq: (%,%) -> Boolean from Foreign Builtin - import %gensym: () -> % from Foreign Builtin + import %gensym: () -> % from Foreign Builtin + import %sname: % -> String from Foreign Builtin gensym() == %gensym() x = y == %peq(x,y) coerce(x: %): Symbol == x : Symbol + coerce(x: %): String == %sname x coerce(x: %): OutputForm == x : OutputForm @ |