TDNoPragma.hs\should_fail\type-data\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/type-data/should_fail/TDNoPragma.hs

blob: a1b5386f62943c44dace34af5ff581a0d3221e94 (plain)

module TDNoPragma where

-- requires LANGUAGE TypeData
type data Nat = Zero | Succ Nat