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

Added to an error message in Types to help determine the problem

Browse Source
This commit is contained in:
Neil Brown 2008-03-23 00:07:48 +00:00
parent 7a7b60449c
commit 6f76f6385e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common/Types.hs
View File

@ -48,6 +48,7 @@ import EvalLiterals
import Intrinsics import Intrinsics
import Metadata import Metadata
import Pass import Pass
import PrettyShow
import ShowCode import ShowCode
import TypeSizes import TypeSizes
import Utils import Utils
@ -69,7 +70,8 @@ typeOfName n
t <- typeOfSpec st t <- typeOfSpec st
case t of case t of
Just t' -> return t' Just t' -> return t'
Nothing -> dieP (findMeta n) $ "cannot type name " ++ show st Nothing -> dieP (findMeta n) $ "cannot type name " ++ pshow n ++
":" ++ show st
typeOfSpec :: (CSMR m, Die m) => A.SpecType -> m (Maybe A.Type) typeOfSpec :: (CSMR m, Die m) => A.SpecType -> m (Maybe A.Type)
typeOfSpec st typeOfSpec st