blob: 2554e90a650b502a475c9e36fd159ea253792f6f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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 was suboptimal (fun would be illegal here) as of #9177
-- fixed with #19843
foo5 Fun = ()
-- No errors here:
data Bar = Bar
fun x = x
|
