diff --git a/testsuite/tests/rename/should_fail/T10781.hs b/testsuite/tests/rename/should_fail/T10781.hs new file mode 100644 index 0000000000000000000000000000000000000000..9991c947749922a2ea4770e915249b149f931ff9 --- /dev/null +++ b/testsuite/tests/rename/should_fail/T10781.hs @@ -0,0 +1,12 @@ +module T10781 where +{- ghc-7.10.2 reported: + +T10781.hs:6:5: + Found hole ‘_name’ with type: t + Where: ‘t’ is a rigid type variable bound by + the inferred type of f :: t at T10781.hs:6:1 + Relevant bindings include f :: t (bound at T10781.hs:6:1) + In the expression: Foo._name + In an equation for ‘f’: f = Foo._name +-} +f = Foo._name diff --git a/testsuite/tests/rename/should_fail/T10781.stderr b/testsuite/tests/rename/should_fail/T10781.stderr new file mode 100644 index 0000000000000000000000000000000000000000..5d4dc3c098df0be8ad14cae2caaf564e48809f29 --- /dev/null +++ b/testsuite/tests/rename/should_fail/T10781.stderr @@ -0,0 +1,2 @@ + +T10781.hs:12:5: error: Not in scope: ‘Foo._name’ diff --git a/testsuite/tests/rename/should_fail/all.T b/testsuite/tests/rename/should_fail/all.T index bd717dd8d5a6bcf85b90bd32ab916cff0fc25cca..48814ec9830fc8c3a1b613cf467ea5b1184accb8 100644 --- a/testsuite/tests/rename/should_fail/all.T +++ b/testsuite/tests/rename/should_fail/all.T @@ -137,3 +137,4 @@ test('T9032', test('T10618', normal, compile_fail, ['']) test('T10668', normal, compile_fail, ['']) test('T5001b', normal, compile_fail, ['']) +test('T10781', normal, compile_fail, [''])