diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-03 02:42:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-03 02:42:35 +0000 |
| commit | 58820ffb5e4e1ba4de8840a4883a1e42857a1a2d (patch) | |
| tree | 3c1099cb4b8cc0bc878cd36ca670f9db0af8ead6 /src/algebra/syntax.spad.pamphlet | |
| parent | b1127318c2fc599f970c3f9cba423eaf46ac0564 (diff) | |
| download | open-axiom-58820ffb5e4e1ba4de8840a4883a1e42857a1a2d.tar.gz | |
* algebra/syntax.spad.pamphlet (Syntax): Print syntax objects as
s-expressions.
* algebra/sex.spad.pamphlet (SExpression): Print strings as
String.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index a649c1f5..e0d71282 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -129,8 +129,9 @@ Syntax(): Public == Private where IDENTP(s)$Lisp coerce(x: %): OutputForm == - x case String => outputForm(x : String) - x pretend OutputForm + -- For the moment, print syntax as s-expression. + import SExpression + (x pretend SExpression)::OutputForm convert(x: %): SExpression == x : SExpression |