From 7830d82c517d4a5ecf91cd89665f3492dd906f40 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sun, 23 Mar 2008 12:13:55 +0000 Subject: [PATCH] Fixed the display of names in ShowCode for Rain --- common/ShowCode.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/ShowCode.hs b/common/ShowCode.hs index 636cf02..8d47a94 100644 --- a/common/ShowCode.hs +++ b/common/ShowCode.hs @@ -323,7 +323,7 @@ instance ShowOccam A.Variable where showOccamM (A.DirectedVariable _ A.DirOutput v) = showOccamM v >> tell ["!"] instance ShowRain A.Variable where - showRainM (A.Variable _ n) = tell [show n] + showRainM (A.Variable _ n) = showName n showRainM (A.DirectedVariable _ A.DirInput v) = tell ["?"] >> showRainM v showRainM (A.DirectedVariable _ A.DirOutput v) = tell ["!"] >> showRainM v showRainM x = tell [""]