From 581024db9368e3ab437a59887ea074b704f23b7c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 22 Sep 2008 14:37:26 +0000
Subject: 	* boot/parser.boot (bpReturn): Allow assignment.

---
 src/algebra/syntax.spad.pamphlet | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/algebra')

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
-- 
cgit v1.2.3