tc225.hs\should_compile\typecheck\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/typecheck/should_compile/tc225.hs

blob: 7c4875668b380ede821cd889a6ec34714478ab90 (plain)

{-# LANGUAGE GADTs #-}

-- Newtype in GADT syntax

module ShouldCompile where

newtype Bug a where Bug :: a -> Bug a