blob: 9d9c482027cb7919c7cb195de1ce828e1dcbcdbd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
module T9177 where
-- the main use case
type Foo = (int)
-- other interesting cases
type Foo2 = (integerr)
-- These two out-of-scope errors aren't caught until
-- the type checker, so they aren't reported at all
-- becuase the renamer aborts compilation
foo3 = bar
foo4 = Fun
-- this warning is suboptimal (fun would be illegal here)
foo5 Fun = ()
-- No errors here:
data Bar = Bar
fun x = x
|