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

Improved display of unknown types (for debugging, really)

Browse Source
This commit is contained in:
Neil Brown 2008-05-20 22:07:35 +00:00
parent 926659cf70
commit 8c78d056b6
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

@ -237,7 +237,7 @@ instance ShowOccam A.Type where
showOccamM A.Time = tell ["TIME"] showOccamM A.Time = tell ["TIME"]
showOccamM (A.UnknownVarType en) showOccamM (A.UnknownVarType en)
= do tell ["(inferred type for: "] = do tell ["(inferred type for: "]
either showName (const $ return ()) en either showName (tell . (:[]) . show) en
tell [")"] tell [")"]
showOccamM (A.UnknownNumLitType m _ n) showOccamM (A.UnknownNumLitType m _ n)
= tell ["(inferred numeric type: ",show m," ",show n,")"] = tell ["(inferred numeric type: ",show m," ",show n,")"]
@ -283,7 +283,7 @@ instance ShowRain A.Type where
showRainM (A.List t) = tell ["["] >> showRainM t >> tell ["]"] showRainM (A.List t) = tell ["["] >> showRainM t >> tell ["]"]
showRainM (A.UnknownVarType en) showRainM (A.UnknownVarType en)
= do tell ["(inferred type for: "] = do tell ["(inferred type for: "]
either showName (const $ return ()) en either showName (tell . (:[]) . show) en
tell [")"] tell [")"]
showRainM (A.UnknownNumLitType m _ n) showRainM (A.UnknownNumLitType m _ n)
= tell ["(inferred numeric type: ",show m," ",show n,")"] = tell ["(inferred numeric type: ",show m," ",show n,")"]