Type families + hs-boot files = panic (type family consistency check too early)
I have these modules:
A.hs-boot:
{-# LANGUAGE TypeFamilies #-}
module A where
type family F a
B.hs:
{-# LANGUAGE TypeFamilies #-}
module B where
import {-# SOURCE #-} A
type instance F Int = Bool
A.hs:
{-# LANGUAGE TypeFamilies #-}
module A where
import B
type family F a
And now this happens:
rae:11:50:47 ~/temp/bug> ~/Documents/ghc-cur/inplace/bin/ghc-stage2 --version
The Glorious Glasgow Haskell Compilation System, version 7.11.20151104
rae:11:50:50 ~/temp/bug> ~/Documents/ghc-cur/inplace/bin/ghc-stage2 -c A.hs-boot
rae:11:50:52 ~/temp/bug> ~/Documents/ghc-cur/inplace/bin/ghc-stage2 -c B.hs
rae:11:50:54 ~/temp/bug> ~/Documents/ghc-cur/inplace/bin/ghc-stage2 -c A.hs
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 7.11.20151104 for x86_64-apple-darwin):
tcIfaceGlobal (local): not found:
F
[]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
rae:11:50:57 ~/temp/bug>
The problem occurs only in one-shot mode.
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | high |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |