Commit 0067eb3c authored by simonpj's avatar simonpj
Browse files

[project @ 2003-10-30 10:12:39 by simonpj]

Wibble
parent 223d65c7
...@@ -302,7 +302,7 @@ cvt_context tys = map cvt_pred tys ...@@ -302,7 +302,7 @@ cvt_context tys = map cvt_pred tys
cvt_pred :: Meta.Type -> HsPred RdrName cvt_pred :: Meta.Type -> HsPred RdrName
cvt_pred ty = case split_ty_app ty of cvt_pred ty = case split_ty_app ty of
(ConT tc, tys) -> HsClassP (tconName tc) (map cvtType tys) (ConT tc, tys) -> HsClassP (tconName tc) (map cvtType tys)
other -> pprPanic "Malformed predicate" (ppr ty) other -> pprPanic "Malformed predicate" (text (show (Meta.pprType ty)))
cvtType :: Meta.Type -> HsType RdrName cvtType :: Meta.Type -> HsType RdrName
cvtType ty = trans (root ty []) cvtType ty = trans (root ty [])
......
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