Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt15.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- Triggered a desugaring bug in earlier verison
4
5 module Shouldcompile where
6
7 data T a where
8 T1 :: Int -> T Int
9
10 f :: (T a, a) -> Int
11 f (T1 x, z) = z