ExpandSynsFail4.hs 265 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11
-- Synonyms shouldn't be expanded since type error is visible without
-- expansions. Error message should not have `Type synonyms expanded: ...` part.

module Main where

type T a = [a]

f :: T Int -> String
f = undefined

main = putStrLn $ f (undefined :: T Bool)