X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDsListComp.lhs;h=2827fb688c804c9b5a722f9f4a0f49d5d25b661f;hb=15cb792d18b1094e98c035dca6ecec5dad516056;hp=6bb41a92e4b54bcd7cfcdbd3c2babd43ca1a2885;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git diff --git a/compiler/deSugar/DsListComp.lhs b/compiler/deSugar/DsListComp.lhs index 6bb41a9..2827fb6 100644 --- a/compiler/deSugar/DsListComp.lhs +++ b/compiler/deSugar/DsListComp.lhs @@ -12,7 +12,7 @@ import {-# SOURCE #-} DsExpr ( dsLExpr, dsLocalBinds ) import BasicTypes ( Boxity(..) ) import HsSyn -import TcHsSyn ( hsPatType, mkVanillaTuplePat ) +import TcHsSyn ( hsLPatType, mkVanillaTuplePat ) import CoreSyn import DsMonad -- the monadery used in the desugarer @@ -197,7 +197,7 @@ deBindComp pat core_list1 quals body core_list2 u3_ty@u1_ty = exprType core_list1 -- two names, same thing -- u1_ty is a [alpha] type, and u2_ty = alpha - u2_ty = hsPatType pat + u2_ty = hsLPatType pat res_ty = exprType core_list2 h_ty = u1_ty `mkFunTy` res_ty @@ -313,7 +313,7 @@ dfListComp c_id n_id (BindStmt pat list1 _ _ : quals) body = dsLExpr list1 `thenDs` \ core_list1 -> -- find the required type - let x_ty = hsPatType pat + let x_ty = hsLPatType pat b_ty = idType n_id in