diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-07-17 10:01:25 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-07-17 10:01:42 +0100 |
| commit | ef4e8c54d8dfbceabe53f259ba15f42f6f1b967a (patch) | |
| tree | 36a457a9c8ac560d40201f872c481e363659e496 /testsuite/tests/typecheck/should_fail | |
| parent | da7cfa99def372cde32af62801a7a7e0163efad8 (diff) | |
| download | haskell-ef4e8c54d8dfbceabe53f259ba15f42f6f1b967a.tar.gz | |
Test Trac #9323
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T9323.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T9323.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
3 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9323.hs b/testsuite/tests/typecheck/should_fail/T9323.hs new file mode 100644 index 0000000000..1aea288bbe --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T9323.hs @@ -0,0 +1,7 @@ +module T9323 where + +broken :: [Int] +broken = () + +ambiguous :: a -> String +ambiguous _ = show 0 diff --git a/testsuite/tests/typecheck/should_fail/T9323.stderr b/testsuite/tests/typecheck/should_fail/T9323.stderr new file mode 100644 index 0000000000..f98ce7bafe --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T9323.stderr @@ -0,0 +1,5 @@ + +T9323.hs:4:10: + Couldn't match expected type ‘[Int]’ with actual type ‘()’ + In the expression: () + In an equation for ‘broken’: broken = () diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index c1dbd58f54..cf2af3090d 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -335,3 +335,4 @@ test('T9033', normal, compile_fail, ['']) test('T8883', normal, compile_fail, ['']) test('T9196', normal, compile_fail, ['']) test('T9305', normal, compile_fail, ['']) +test('T9323', normal, compile_fail, ['']) |