Skip to content

Panic on simple scoped type variable example

When running GHCi with -XScopedTypeVariables:

Prelude> (\(x :: a, y :: a) -> [x, "hi"])
ghc: panic! (the 'impossible' happened)
  (GHC version 7.0.2 for i386-apple-darwin):
	nameModule $dShow{v akk}

I'm unsure if this has been fixed in 7.0.3; apologies if this is an old bug.

Edited by Simon Peyton Jones
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information