ref: 2bcb05a5abfb65ab2779e4418df2cd33415a646c
dir: /tests/errmsg.test/
x = y ----- mhs: "../tmp/E.hs": line 3, col 1: undefined no type signature: x ===== x :: Int x = y ----- mhs: "../tmp/E.hs": line 4, col 5: undefined variable: y ===== x :: T x = 1 ----- mhs: "../tmp/E.hs": line 3, col 6: undefined variable: T ===== type T a = [a] data D (f :: Type -> Type) = D (f Int) x :: D T x = [0] ----- mhs: "../tmp/E.hs": line 5, col 8: bad synonym use ===== END