Skip to content
Snippets Groups Projects
Commit 695cb7fe authored by Eric Seidel's avatar Eric Seidel Committed by Ben Gamari
Browse files

deal with un-wiring of IP class

(cherry picked from commit 17388b0f)
parent 0ff3b72b
No related branches found
No related tags found
5 merge requests!38Make --no-tmp-comp-dir the default,!37Adapt to latest xhtml version, various optimizations,!31Support HsToken in DataDecl and ClassDecl,!12Drop orphan instance when defined upstream.,!10Haddock interfaces produced from `.hi` files
......@@ -34,8 +34,8 @@ import TyCon
import Type
import TyCoRep
import TysPrim ( alphaTyVars )
import TysWiredIn ( listTyConName, ipTyCon )
import PrelNames ( hasKey, eqTyConKey )
import TysWiredIn ( listTyConName )
import PrelNames ( hasKey, eqTyConKey, ipClassKey )
import Unique ( getUnique )
import Util ( filterByList, filterOut )
import Var
......@@ -372,7 +372,7 @@ synifyType _ (TyConApp tc tys)
| getName tc == listTyConName, [ty] <- tys =
noLoc $ HsListTy (synifyType WithinType ty)
-- ditto for implicit parameter tycons
| tc == ipTyCon
| tc `hasKey` ipClassKey
, [name, ty] <- tys
, Just x <- isStrLitTy name
= noLoc $ HsIParamTy (HsIPName x) (synifyType WithinType ty)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment