hls-tactics-plugin-1.2.0.0: test/golden/GoldenGADTAuto.expected.hs

{-# LANGUAGE GADTs #-}
module GoldenGADTAuto where
data CtxGADT a where
  MkCtxGADT :: (Show a, Eq a) => a -> CtxGADT a

ctxGADT :: CtxGADT ()
ctxGADT = MkCtxGADT ()