id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
5912,exporting while having defined a non-nullary promoted type synonym causes panic,guest,,"{{{
{-# LANGUAGE DataKinds #-}

module Bug(loop) where

data UnaryTypeC a = UnaryDataC a

type Bug = 'UnaryDataC

loop = loop
}}}

produces

{{{
ghc Bug.hs
[1 of 1] Compiling Bug              ( Bug.hs, Bug.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 7.4.1 for x86_64-unknown-linux):
	urk! lookup local fingerprint main:Bug.UnaryDataC{d r0}
}}}

it won't panic if either:[[BR]]

1. the export is removed[[BR]]
2. the data constructor (UnaryDataC) is nullary[[BR]]
3. there is no type synonym defined [[BR]]

a verbose run:

{{{
ghc -v -dcore-lint Bug.hs
Glasgow Haskell Compiler, Version 7.4.1, stage 2 booted by GHC version 7.0.3
Using binary package database: /usr/lib/ghc-7.4.1/package.conf.d/package.cache
Using binary package database: /home/exfalso/.ghc/x86_64-linux-7.4.1/package.conf.d/package.cache
wired-in package ghc-prim mapped to ghc-prim-0.2.0.0-c2ff696e5b8ec4d4b2bc2e42085fe471
wired-in package integer-gmp mapped to integer-gmp-0.4.0.0-3cccac07aef8e27023f605c1f45bdf74
wired-in package base mapped to base-4.5.0.0-6db966b4cf8c1a91188e66d354ba065e
wired-in package rts mapped to builtin_rts
wired-in package template-haskell mapped to template-haskell-2.7.0.0-133c0fdb189e05de22bd926d39f99fe3
wired-in package dph-seq not found.
wired-in package dph-par not found.
Hsc static flags: -static
*** Chasing dependencies:
Chasing modules from: *Bug.hs
Stable obj: []
Stable BCO: []
Ready for upsweep
  [NONREC
      ModSummary {
         ms_hs_date = Sat Mar  3 16:40:21 GMT 2012
         ms_mod = main:Bug,
         ms_textual_imps = [import (implicit) Prelude]
         ms_srcimps = []
      }]
*** Deleting temp files:
Deleting: 
compile: input file Bug.hs
Created temporary directory: /tmp/ghc21075_0
*** Checking old interface for main:Bug:
[1 of 1] Compiling Bug              ( Bug.hs, Bug.o )
*** Parser:
*** Renamer/typechecker:
*** Desugar:
Result size of Desugar (after optimization) = 5
*** Core Linted result of Desugar (after optimization):
*** Simplifier:
Result size of Simplifier iteration=1 = 8
*** Core Linted result of Simplifier:
Result size of Simplifier = 8
*** Core Linted result of Simplifier:
*** Tidy Core:
Result size of Tidy Core = 8
*** Core Linted result of Tidy Core:
*** Deleting temp files:
Deleting: /tmp/ghc21075_0/ghc21075_0.s
Warning: deleting non-existent /tmp/ghc21075_0/ghc21075_0.s
*** Deleting temp dirs:
Deleting: /tmp/ghc21075_0
ghc: panic! (the 'impossible' happened)
  (GHC version 7.4.1 for x86_64-unknown-linux):
	urk! lookup local fingerprint main:Bug.UnaryDataC{d r9J}
}}}

system:

{{{
$ uname -a
Linux QuodLibet 3.2.8-1-ARCH #1 SMP PREEMPT Mon Feb 27 21:51:46 CET 2012 x86_64 Intel(R) Core(TM)2 Duo CPU T6500 @ 2.10GHz GenuineIntel GNU/Linux
$ gcc --version
gcc (GCC) 4.6.2 20120120 (prerelease)
}}}

",bug,closed,normal,,Compiler,7.4.1,fixed,promoted synonym,,Linux,x86_64 (amd64),Compile-time crash,Unknown,polykinds/T5912,,,