Skip to content

makeCorePair: arity missing when inlining pattern synonyms in GHC 9.2

I have pattern synonyms of the following style:

newtype LGate = LGate CChar
  deriving newtype (Eq,Ord,B.Bits,Show)

{-# INLINE And #-}
pattern And :: LGate
pattern And <- LGate 0b00000000
  where
    And = LGate 0b00000000

I added that INLINE pragma for GHC 9.2.2, but when I compile I get a bunch of makeCorePair: arity missing $mAnd messages appearing in my terminal. Everything seems to run correctly, but it smells suspicious so I thought I'd report it here just in case.

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