Commit 5d541fe7 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

bugs

Mon Sep 18 14:34:44 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * bugs
  Sat Aug  5 21:36:50 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * bugs
    Thu Jul 13 04:20:58 EDT 2006  kevind@bu.edu
parent 44ba24dc
...@@ -530,7 +530,7 @@ mkRecordSelId tycon field_label ...@@ -530,7 +530,7 @@ mkRecordSelId tycon field_label
-- NB: A newtype always has a vanilla DataCon; no existentials etc -- NB: A newtype always has a vanilla DataCon; no existentials etc
-- res_tys will simply be the dataConUnivTyVars -- res_tys will simply be the dataConUnivTyVars
sel_body | isNewTyCon tycon = unwrapNewTypeBody tycon res_tys (Var data_id) 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 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 -- We pull the field lambdas to the top, so we need to
......
...@@ -187,7 +187,7 @@ addBreakpointBindings thing_inside ...@@ -187,7 +187,7 @@ addBreakpointBindings thing_inside
= mkGlobalId VanillaGlobal breakpointCondJumpName = mkGlobalId VanillaGlobal breakpointCondJumpName
(basicType (FunTy boolTy)) vanillaIdInfo (basicType (FunTy boolTy)) vanillaIdInfo
} }
; extendIdEnv [breakpoingJumpId, breakpointCondJumpId] thing_inside} ; extendIdEnv [breakpointJumpId, breakpointCondJumpId] thing_inside}
#else #else
= thing_inside = thing_inside
#endif #endif
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment