fix out-of-scope vars
[ghc-hetmet.git] / compiler / basicTypes / MkId.lhs
index d1d7a02..bc45f52 100644 (file)
@@ -316,7 +316,7 @@ mkDataConIds wrap_name wkr_name data_con
                        Case (Var arg) arg result_ty [(DEFAULT,[], body i (arg:rep_args))]
 
                MarkedUnboxed
-                  -> case splitProductType "do_unbox" (idType arg) of
+                  ->case splitProductType "do_unbox" (idType arg) of
                           (tycon, tycon_args, con, tys) ->
                                   Case (Var arg) arg result_ty  
                                        [(DataAlt con, 
@@ -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