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/safeInfered | |
| 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/safeInfered')
| -rw-r--r-- | testsuite/tests/safeHaskell/safeInfered/UnsafeInfered03_A.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered03_A.hs b/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered03_A.hs index ea3202ed5d..ff6490e915 100644 --- a/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered03_A.hs +++ b/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered03_A.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE GeneralizedNewtypeDeriving #-} +{-# LANGUAGE TemplateHaskell #-} -- | Unsafe as uses GND module UnsafeInfered03_A where |