X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=45e8d8db8b363ee95462b31653d0ff2007ba0766;hp=2170d4ff7b3a2c888965cd1d47a8cbecf1c20f5a;hb=26416bba9d0bfe0b10bfee9d01053cf507d2918b;hpb=ffa600f6702f215dd132b8b1b8a1f07d3a9e3ea6 diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs index 2170d4f..45e8d8d 100644 --- a/compiler/typecheck/Inst.lhs +++ b/compiler/typecheck/Inst.lhs @@ -758,9 +758,7 @@ lookupSimpleInst (Method {tci_oid = id, tci_tys = tys, tci_theta = theta, tci_lo lookupSimpleInst (LitInst { tci_lit = lit@OverLit { ol_val = lit_val , ol_rebindable = rebindable } , tci_ty = ty, tci_loc = iloc}) -#ifdef DEBUG - | rebindable = panic "lookupSimpleInst" -- A LitInst invariant -#endif + | debugIsOn && rebindable = panic "lookupSimpleInst" -- A LitInst invariant | Just witness <- shortCutLit lit_val ty = do { let lit' = lit { ol_witness = witness, ol_type = ty } ; return (GenInst [] (L loc (HsOverLit lit'))) }