[commit: ghc] tc-untouchables: Fix an ASSERT (adb6bcb)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/adb6bcb7b85410dd42828a4824962ce9c6e9d667 >--------------------------------------------------------------- commit adb6bcb7b85410dd42828a4824962ce9c6e9d667 Author: Simon Peyton Jones <[email protected]> Date: Mon Oct 1 10:37:12 2012 +0100 Fix an ASSERT >--------------------------------------------------------------- compiler/typecheck/TcMType.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index 5037ade..7a3db58 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -679,7 +679,7 @@ zonkFlats binds_var untch cts , not (tv `elemVarSet` tyVarsOfType ty_lhs) -- , Just ty_lhs' <- occurCheck tv ty_lhs = ASSERT2( isWantedCt orig_ct, ppr orig_ct ) - ASSERT2( case orig_ct of { CFunEqCan {} -> True; _ -> False }, ppr orig_ct ) + ASSERT2( case tcSplitTyConApp_maybe ty_lhs of { Just (tc,_) -> isSynFamilyTyCon tc; _ -> False }, ppr orig_ct ) do { writeMetaTyVar tv ty_lhs ; let evterm = EvCoercion (mkTcReflCo ty_lhs) evvar = ctev_evar (cc_ev zct)