summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/gadt/T3013.hs
blob: 3b123a0d808f7dc0918db8a6a8a4d5f00b6902b6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# LANGUAGE GADTs #-}
-- Trac 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