testsuite/tests/gadt/T3013.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE GADTs #-}
-- #3013.
-- This isn't strictly a GADT test, but it uses GADT syntax

module T3013 where

data T where
  A, B :: T
  C :: T
  D, E :: Int -> T

f :: T -> T
f A = D 3