diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-22 14:37:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-22 14:37:26 +0000 |
| commit | 581024db9368e3ab437a59887ea074b704f23b7c (patch) | |
| tree | eafb9d9553c3c1c06cd2507afa9d06fa00be59c2 /src/algebra/syntax.spad.pamphlet | |
| parent | ce18c80b41c0dc210d9bab1d0bfeadaf9845d853 (diff) | |
| download | open-axiom-581024db9368e3ab437a59887ea074b704f23b7c.tar.gz | |
* boot/parser.boot (bpReturn): Allow assignment.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index c6fb305e..963e841b 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -135,7 +135,9 @@ Syntax(): Public == Private where symbol? rep s coerce(x: %): OutputForm == - rep(x)::OutputForm + x' := rep x + string? x' => outputForm(x' : String) + x'::OutputForm convert(x: %): SExpression == rep x |