Fixed the generation of formals that are arrays of channel-ends
This commit is contained in:
parent
aa2b31718a
commit
5024e0d615
|
@ -464,6 +464,15 @@ instance ShowOccam A.Formal where
|
||||||
space
|
space
|
||||||
showName n
|
showName n
|
||||||
showOccamM dir
|
showOccamM dir
|
||||||
|
showOccamM (A.Formal am (A.Array ds (A.ChanEnd dir sh t)) n)
|
||||||
|
= do maybeVal am
|
||||||
|
mapM_ showOccamM ds
|
||||||
|
showOccamM sh
|
||||||
|
tell ["CHAN "]
|
||||||
|
showOccamM t
|
||||||
|
space
|
||||||
|
showName n
|
||||||
|
showOccamM dir
|
||||||
showOccamM (A.Formal am t n) = (maybeVal am)
|
showOccamM (A.Formal am t n) = (maybeVal am)
|
||||||
>> (showOccamM t)
|
>> (showOccamM t)
|
||||||
>> space
|
>> space
|
||||||
|
|
Loading…
Reference in New Issue
Block a user