blob: 553dbc7b5381db09703ac36f67d133a783c81c50 (
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
-- because 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
|