diff options
| author | Austin Seipp <austin@well-typed.com> | 2014-02-16 19:14:36 -0600 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-02-17 01:46:04 -0600 |
| commit | a8a01e742434df11b830ab99af12d9045dfcbc4b (patch) | |
| tree | 959310ee2b5963b1540b93cc3b2416694c7f4688 /testsuite/tests/safeHaskell/safeLanguage/all.T | |
| parent | 5023c91780e90947680fe0640f7564a4f6448bea (diff) | |
| download | haskell-a8a01e742434df11b830ab99af12d9045dfcbc4b.tar.gz | |
Fix #8745 - GND is now -XSafe compatible.
As discussed in the ticket, after the landing of #8773, GND is now
-XSafe compatible.
This fixes the test fallout as well. In particular SafeLang07 was
removed following in the steps of SafeLang06, since it no longer failed
from GND, but failed due to roles and was thus invalid.
The other tests were tweaked to use TemplateHaskell instead of GND in
order to trigger safety warnings.
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'testsuite/tests/safeHaskell/safeLanguage/all.T')
| -rw-r--r-- | testsuite/tests/safeHaskell/safeLanguage/all.T | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/testsuite/tests/safeHaskell/safeLanguage/all.T b/testsuite/tests/safeHaskell/safeLanguage/all.T index 5932348594..dc968917fb 100644 --- a/testsuite/tests/safeHaskell/safeLanguage/all.T +++ b/testsuite/tests/safeHaskell/safeLanguage/all.T @@ -15,11 +15,10 @@ test('SafeLang03', normal, compile, ['']) test('SafeLang04', normal, compile_and_run, ['']) test('SafeLang05', normal, compile_and_run, ['']) -# SafeLang06 was a test involving GeneralizedNewtypeDeriving, but the code -# fails to compile with roles; thus the test is no longer valid and has -# been removed +# SafeLang06 and SafeLang07 wwere tests involving +# GeneralizedNewtypeDeriving, but the code failed to compile with +# roles; thus the tests were no longer valid and have been removed -test('SafeLang07', normal, compile_fail, ['']) test('SafeLang08', normal, compile_fail, ['']) test('SafeLang09', [exit_code(1), |