Commit 75649bcc authored by simonpj's avatar simonpj

[project @ 2005-03-11 10:36:35 by simonpj]

----------------------------------
 	Fix a "class used as a type" crash
	----------------------------------

	Merge to STABLE

Thanks to Shae for finding this one.  tcfail134 tests.
parent adc40205
......@@ -418,7 +418,9 @@ The type desugarer
* Zonks any kinds
It cannot fail, and does no validity checking, except for
structural matters, such as spurious ! annotations.
structural matters, such as
(a) spurious ! annotations.
(b) a class used as a type
\begin{code}
dsHsType :: LHsType Name -> TcM Type
......@@ -499,9 +501,9 @@ ds_var_app :: Name -> [Type] -> TcM Type
ds_var_app name arg_tys
= tcLookup name `thenM` \ thing ->
case thing of
ATyVar _ ty -> returnM (mkAppTys ty arg_tys)
AGlobal (ATyCon tc) -> returnM (mkGenTyConApp tc arg_tys)
other -> pprPanic "ds_app_type" (ppr name <+> ppr arg_tys)
ATyVar _ ty -> returnM (mkAppTys ty arg_tys)
AGlobal (ATyCon tc) -> returnM (mkGenTyConApp tc arg_tys)
other -> wrongThingErr "type" thing name
\end{code}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment