Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail4.hs
1 -- Synonyms shouldn't be expanded since type error is visible without
2 -- expansions. Error message should not have `Type synonyms expanded: ...` part.
3
4 module Main where
5
6 type T a = [a]
7
8 f :: T Int -> String
9 f = undefined
10
11 main = putStrLn $ f (undefined :: T Bool)