[Better error message in Type.hs (fails in CGI, though) Joachim Breitner **20100828165837 Ignore-this: eed3aa38ea98b52558afbcfe528450fa ] hunk ./Type.hs 227 - ; return $ ECon id (TVar i) c es' }} + ; return $ ECon id (TVar i) c es' } + Nothing -> fail $ "No type " ++ show c ++ " in type map" + }