Fix #8745 - GND is now -XSafe compatible.

Authored by austin on Feb 16 2014, 7:14 PM.

Description

Fix Trac #8745 - GND is now -XSafe compatible.

As discussed in the ticket, after the landing of Trac #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>

Details

Committed
austinFeb 17 2014, 1:46 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF5023c91780e9: Fix #8754 in a round-about way.
Branches
Unknown
Tags
Unknown
Reverted By
rGHCDIFF8f7303774237: Revert "Fix #8745 - GND is now -XSafe compatible."