Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_compile / GivenTypeSynonym.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module Main where
3
4 data A a
5
6 type T a = A a
7
8
9 f :: (A a ~ T Int) => a -> Int
10 f x = x
11
12
13 main :: IO ()
14 main = return ()