tcfail176.hs\should_fail\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_fail/tcfail176.hs

blob: 39f3818ede6af3f471d5df77f0efed23dc9b4a3d (plain)

{-# LANGUAGE GADTs #-}

-- Newtype in GADT syntax

module ShouldFail where

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