Skip to content

GitLab

Open
Created by Otini@trac-Otini

"Panic: no skolem info" with StaticPointers and typed hole

When compiling this minimal example:

{-# LANGUAGE StaticPointers #-}

import Data.Typeable (Typeable)
import GHC.StaticPtr (StaticPtr)

f :: Typeable a => StaticPtr (a -> a)
f = static (\a -> _)

main :: IO ()
main = return ()

I get this output:

Bug.hs:8:19: error:ghc: panic! (the 'impossible' happened)
  (GHC version 8.0.1 for x86_64-unknown-linux):
	No skolem info: a_aJo[sk]

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

Unlike similar reported bugs, this happens on both 8.0.1 and 8.0.2.

Edit: no need to activate GADTs.

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