Commit d3cae190 authored by Joachim Breitner's avatar Joachim Breitner

Add testcase for #9177 and adjust test output

parent ae41a50f
mod132.hs:6:7: Not in scope: data constructor ‘Foo’
mod132.hs:6:7:
Not in scope: data constructor ‘Foo’
Perhaps you meant variable ‘foo’ (line 6)
......@@ -4,4 +4,4 @@ mod134.hs:6:19:
Perhaps you meant one of these:
‘Prelude.read’ (imported from Prelude),
‘Prelude.reads’ (imported from Prelude),
‘Prelude.snd’ (imported from Prelude)
data constructor ‘Prelude.Left’ (imported from Prelude)
......@@ -2,6 +2,6 @@
mod73.hs:3:7:
Not in scope: ‘Prelude.g’
Perhaps you meant one of these:
‘Prelude.id’ (imported from Prelude),
‘Prelude.log’ (imported from Prelude),
‘Prelude.pi’ (imported from Prelude)
data constructor ‘Prelude.GT’ (imported from Prelude),
data constructor ‘Prelude.EQ’ (imported from Prelude),
data constructor ‘Prelude.LT’ (imported from Prelude)
module T9177 where
-- the main use case
type Foo = (int)
-- other interesting cases
type Foo2 = (integerr)
foo3 = bar
foo4 = Fun
-- this warning is suboptimal (fun would be illegal here)
foo5 Fun = ()
-- No errors here:
data Bar = Bar
fun x = x
T9177.hs:4:13:
Not in scope: type variable ‘int’
Perhaps you meant type constructor or class ‘Int’ (imported from Prelude)
T9177.hs:7:14:
Not in scope: type variable ‘integerr’
Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude)
T9177.hs:9:8:
Not in scope: ‘bar’
Perhaps you meant data constructor ‘Bar’ (line 14)
T9177.hs:10:8:
Not in scope: data constructor ‘Fun’
Perhaps you meant variable ‘fun’ (line 15)
T9177.hs:11:6:
Not in scope: data constructor ‘Fun’
Perhaps you meant variable ‘fun’ (line 15)
......@@ -114,3 +114,4 @@ test('T8448', normal, compile_fail, [''])
test('T9006',
extra_clean(['T9006a.hi', 'T9006a.o']),
multimod_compile_fail, ['T9006', '-v0'])
test('T9177', normal, compile_fail, [''])
tcfail062.hs:34:6:
Not in scope: type variable ‘behaviouralExpression’
Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25)
tcfail062.hs:34:29:
Not in scope: type variable ‘behaviouralExpression’
Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment