Fix solving of implicit parameter constraints
[ghc.git] / compiler / typecheck / TcType.hs-boot
index 656c424..2bc1473 100644 (file)
@@ -5,3 +5,4 @@ data MetaDetails
 
 data TcTyVarDetails
 pprTcTyVarDetails :: TcTyVarDetails -> SDoc
+vanillaSkolemTv :: TcTyVarDetails