diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2015-03-22 17:51:51 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2015-03-23 20:44:40 +0100 |
| commit | 567db32b074860723e2b7c38f119b1880a803775 (patch) | |
| tree | e39585a4c9c00314f4afaa02886735467b891385 /testsuite/tests/stranal/should_compile | |
| parent | a0678f1f0e62496c108491e1c80d5eef3936474a (diff) | |
| download | haskell-567db32b074860723e2b7c38f119b1880a803775.tar.gz | |
New lint check: Check idArity invariants (#10181)
The arity of an id should not be larger than what the type allows, and
it should also not contradict the strictness signature. This adds a lint
check for that.
This broke test T8743, uncovering a bug in the SOURCE import machinery,
which is now filed as #10182.
Diffstat (limited to 'testsuite/tests/stranal/should_compile')
| -rw-r--r-- | testsuite/tests/stranal/should_compile/all.T | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/stranal/should_compile/all.T b/testsuite/tests/stranal/should_compile/all.T index 184ff1ec88..eae3ba01b3 100644 --- a/testsuite/tests/stranal/should_compile/all.T +++ b/testsuite/tests/stranal/should_compile/all.T @@ -18,8 +18,8 @@ test('newtype', req_profiling, compile, ['-prof -auto-all']) test('T1988', normal, compile, ['']) test('T8467', normal, compile, ['']) test('T8037', normal, compile, ['']) -test('T8743', [ extra_clean(['T8743.o-boot', 'T8743.hi-boot']) ], multimod_compile, ['T8743', '-v0']) +test('T8743', [ extra_clean(['T8743.o-boot', 'T8743.hi-boot']), expect_broken(10182) ], multimod_compile, ['T8743', '-v0']) test('T9208', when(compiler_debugged(), expect_broken(9208)), compile, ['']) # T9208 fails (and should do so) if you have assertion checking on in the compiler -# Hence the above expect_broken. See comments in the Trac ticket
\ No newline at end of file +# Hence the above expect_broken. See comments in the Trac ticket |