Fixed the display of names in ShowCode for Rain
This commit is contained in:
parent
1bf3f6f0f1
commit
7830d82c51
|
@ -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 ["<invalid Rain variable: ", show x, ">"]
|
||||
|
|
Loading…
Reference in New Issue
Block a user