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

Show expected tags when none are specified.

Browse Source
This commit is contained in:
Adam Sampson 2008-04-06 17:47:07 +00:00
parent 8cedbed5fc
commit 4b841e1dc1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
frontends/OccamTypes.hs
View File

@ -449,8 +449,8 @@ protocolTypes m t tag
case lookup tagName ntss of
Just ts -> return ts
Nothing -> diePC m $ formatCode "Tag % not found in protocol %; expected one of %" tagName n (map fst ntss)
(A.ProtocolCase _ _, Nothing) ->
diePC m $ formatCode "No tag specified for variant protocol %" n
(A.ProtocolCase _ ntss, Nothing) ->
diePC m $ formatCode "No tag specified for variant protocol %; expected one of %" n (map fst ntss)
-- Not actually a protocol.
_ -> diePC m $ formatCode "% is not a protocol" n
-- Not a protocol (e.g. CHAN INT); just return it.