blob: 100759492093f067a81e5d391eaf8365c7f4d093 (
plain)
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)
|
