Commit 9cdff2b9 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5372

and update output for T2901
parent 53e07d8b
T2901.hs:6:5: Not in scope: data constructor `F.Foo'
T2901.hs:6:13:
`F.field' is not a (visible) field of constructor `Foo'
T2901.hs:6:13: `F.field' is not a (visible) constructor field name
{-# LANGUAGE DisambiguateRecordFields #-}
module T5372 where
import qualified T5372a
notScope (MkS { x = n }) = n
T5372.hs:4:11:
Not in scope: data constructor `MkS'
Perhaps you meant `T5372a.MkS' (imported from T5372a)
T5372.hs:4:17: `x' is not a (visible) constructor field name
module T5372a where
data S = MkS { x :: Int, y :: Bool }
......@@ -82,3 +82,7 @@ test('mc14', normal, compile_fail, [''])
test('T5211', normal, compile, ['']) # Warnings only
test('T1595a', normal, compile_fail, [''])
test('T5281', normal, compile, ['']) # Warnings only
test('T5372',
extra_clean(['T5372a.hi', 'T5372a.o']),
multimod_compile_fail,
['T5372','-v0'])
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