import Outputable
import SrcLoc ( Located(..), SrcSpan, unLoc )
import Util ( sortLe )
-import Var ( TyVar, DictId, Id )
+import Var ( TyVar, DictId, Id, Var )
import Bag ( Bag, emptyBag, isEmptyBag, bagToList, unionBags, unionManyBags )
\end{code}
| CoTyApps [Type] -- [] t1 .. tn
| CoLams [Id] -- \x1..xn. []; the xi are dicts or coercions
| CoTyLams [TyVar] -- \a1..an. []
- | CoLet (LHsBinds Id) -- Would be nicer to be core bindings
+ | CoLet (LHsBinds Id) -- let binds in []
+ -- (ould be nicer to be core bindings)
instance Outputable ExprCoFn where
ppr CoHole = ptext SLIT("<>")