import HsTypes ( PolyType )
-- others:
-import Id ( DictVar(..), GenId, Id(..) )
+import Id ( SYN_IE(DictVar), GenId, SYN_IE(Id) )
import Name ( pprNonSym, pprSym )
import Outputable ( interppSP, interpp'SP, ifnotPprForUser )
import PprType ( pprGenType, pprParendGenType, GenType{-instance-} )
id -- id for zero, typed applied
SrcLoc
- | ListComp (HsExpr tyvar uvar id pat) -- list comprehension
- [Qual tyvar uvar id pat] -- at least one Qual(ifier)
+ | ListComp (HsExpr tyvar uvar id pat) -- list comprehension
+ [Qualifier tyvar uvar id pat] -- at least one Qualifier
| ExplicitList -- syntactic list
[HsExpr tyvar uvar id pat]
where
pp_expr = pprParendExpr sty expr
- pp_prefixly = ppHang (ppCat [ppStr "( \\ _x ->", ppr sty op])
- 4 (ppCat [pp_expr, ppStr "_x )"])
+ pp_prefixly = ppHang (ppCat [ppStr "( \\ x_ ->", ppr sty op])
+ 4 (ppCat [pp_expr, ppStr "x_ )"])
pp_infixly v
= ppSep [ ppBeside ppLparen pp_expr,
ppBeside (pprSym sty v) ppRparen ]
where
pp_expr = pprParendExpr sty expr
- pp_prefixly = ppHang (ppCat [ppStr "( \\ _x ->", ppr sty op, ppPStr SLIT("_x")])
+ pp_prefixly = ppHang (ppCat [ppStr "( \\ x_ ->", ppr sty op, ppPStr SLIT("x_")])
4 (ppBeside pp_expr ppRparen)
pp_infixly v
= ppSep [ ppBeside ppLparen (pprSym sty v),
``Qualifiers'' in list comprehensions:
\begin{code}
-data Qual tyvar uvar id pat
+data Qualifier tyvar uvar id pat
= GeneratorQual pat
(HsExpr tyvar uvar id pat)
| LetQual (HsBinds tyvar uvar id pat)
\begin{code}
instance (NamedThing id, Outputable id, Outputable pat,
Eq tyvar, Outputable tyvar, Eq uvar, Outputable uvar) =>
- Outputable (Qual tyvar uvar id pat) where
+ Outputable (Qualifier tyvar uvar id pat) where
ppr sty (GeneratorQual pat expr)
= ppCat [ppr sty pat, ppStr "<-", ppr sty expr]
ppr sty (LetQual binds)