X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=bc45f523a0c733fae73dafd7f8eb9096e2e35e5f;hb=5d541fe7c43a1dc4c1b2dd9ee49e64238b0754ca;hp=d36c94e1c6b3171875cdd0c10765bdc58e6ea539;hpb=44ba24dc84d271ca9bd5ab5060cb63ed87f585e3;p=ghc-hetmet.git diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs index d36c94e..bc45f52 100644 --- a/compiler/basicTypes/MkId.lhs +++ b/compiler/basicTypes/MkId.lhs @@ -530,7 +530,7 @@ mkRecordSelId tycon field_label -- NB: A newtype always has a vanilla DataCon; no existentials etc -- res_tys will simply be the dataConUnivTyVars sel_body | isNewTyCon tycon = unwrapNewTypeBody tycon res_tys (Var data_id) - | otherwise = Case (Var data_id) data_id field_tau (default_alt ++ the_alts) + | otherwise = Case (Var data_id) data_id field_ty (default_alt ++ the_alts) mk_result poly_result = mkVarApps (mkVarApps poly_result field_tyvars) field_dict_ids -- We pull the field lambdas to the top, so we need to