[commit: ghc] type-holes-branch: extractRelevant should not see a CHoleCan (2164e97)
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 : type-holes-branch http://hackage.haskell.org/trac/ghc/changeset/2164e97bbde657a0941f204d89dbfa3df3206417 >--------------------------------------------------------------- commit 2164e97bbde657a0941f204d89dbfa3df3206417 Author: Simon Peyton Jones <[email protected]> Date: Sat Sep 1 11:28:26 2012 +0100 extractRelevant should not see a CHoleCan >--------------------------------------------------------------- compiler/typecheck/TcSMonad.lhs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index 09ddf02..ff0f949 100644 --- a/compiler/typecheck/TcSMonad.lhs +++ b/compiler/typecheck/TcSMonad.lhs @@ -790,8 +790,8 @@ extractRelevantInerts wi Just ct -> (singleCt ct, new_funeq_map) in (cts, ics { inert_funeqs = FamHeadMap feqs_map }) extract_ics_relevants (CHoleCan {}) ics = - let cts = inert_holes ics - in (cts, ics { inert_holes = emptyCts }) + = pprPanic "extractRelevantInerts" (ppr wi + -- Holes are put straight into inert_frozen, so never get here extract_ics_relevants (CIrredEvCan { }) ics = let cts = inert_irreds ics in (cts, ics { inert_irreds = emptyCts })