Added a line to handle some missing cases in ShowCode
This commit is contained in:
parent
734685d715
commit
677d78a229
|
@ -546,6 +546,7 @@ instance ShowOccam A.Specification where
|
|||
= do item <- currentContext
|
||||
(showOccamLine (return (item ++ " ") >> showName n >> showOccamM rep))
|
||||
-- TODO handle the indent
|
||||
showOccamM s = tell ["Missing case: ", show s]
|
||||
|
||||
|
||||
showProtocolItem :: (A.Name, [A.Type]) -> CodeWriter ()
|
||||
|
|
Loading…
Reference in New Issue
Block a user