suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

When showing occam code, use CHAN/PORT rather than CHAN OF/PORT OF.

Browse Source
This commit is contained in:
Adam Sampson 2008-04-05 23:19:12 +00:00
parent 9fa45cf406
commit 37b5735de1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common/ShowCode.hs
View File

@ -235,9 +235,9 @@ instance ShowOccam A.Type where
A.Dimension n -> tell ["["] >> showOccamM n >> tell ["]"]
A.UnknownDimension -> tell ["[]"]
| d <- ds]
showOccamM (A.Chan _ _ t) = tell ["CHAN OF "] >> showOccamM t
showOccamM (A.Chan _ _ t) = tell ["CHAN "] >> showOccamM t
showOccamM (A.Counted ct et) = showOccamM ct >> tell ["::"] >> showOccamM et
showOccamM (A.Port t) = tell ["PORT OF "] >> showOccamM t
showOccamM (A.Port t) = tell ["PORT "] >> showOccamM t
showOccamM (A.UserDataType n) = showName n >> helper "{data type}"
showOccamM (A.Record n) = showName n >> helper "{record}"
showOccamM (A.UserProtocol n) = showName n >> helper "{protocol}"