Skip to content

Core Lint error on (# #) = (# #)

The silly declaration (# #) = (# #) causes an assertion failure or a Core Lint error:

GHCi, version 9.5.20220429: https://www.haskell.org/ghc/  :? for help
ghci> :set -XUnboxedTuples -dcore-lint
ghci> let (# #) = (# #)
panic! (the 'impossible' happened)
  GHC version 9.5.20220429:
	ASSERT failed!
  NonRecursive
  {(##) = (##)}
  Call stack:
      CallStack (from HasCallStack):
        assertPpr, called at compiler/GHC/HsToCore/Expr.hs:163:11 in ghc:GHC.HsToCore.Expr

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

ghci> (# #) = (# #)
*** Core Lint errors : in result of Desugar (before optimization) ***
<no location info>: warning:
    The type of this binder is unlifted: ds_dzK
    Binder's type: (# #)
    In the RHS of ds_dzK :: (# #)
    Substitution: [TCvSubst
                     In scope: InScope {}
                     Type env: []
                     Co env: []]
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information