TH_scopedTvs succeeds now we have scoped type variables in TH
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Mar 2012 12:35:31 +0000 (13:35 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Mar 2012 12:35:31 +0000 (13:35 +0100)
testsuite/tests/th/T3177a.stderr
testsuite/tests/th/TH_scopedTvs.stderr [deleted file]
testsuite/tests/th/all.T

index 806a1f9..a39419b 100644 (file)
@@ -1,9 +1,9 @@
 
 T3177a.hs:8:15:
     `Int' is applied to too many type arguments
+    In the type `Int Int'
     In the Template Haskell quotation [t| Int Int |]
     In the first argument of `id', namely `[t| Int Int |]'
-    In the expression: id [t| Int Int |]
 
 T3177a.hs:11:6:
     `Int' is applied to too many type arguments
diff --git a/testsuite/tests/th/TH_scopedTvs.stderr b/testsuite/tests/th/TH_scopedTvs.stderr
deleted file mode 100644 (file)
index f8263fc..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-
-TH_scopedTvs.hs:6:13:
-    Illegal lexically-scoped type variable `a'
-    Lexically scoped type variables are not supported by Template Haskell
index 42ebb5b..87521ab 100644 (file)
@@ -125,7 +125,7 @@ test('TH_dataD1', normal, compile_fail, ['-v0'])
 test('TH_ppr1', normal, compile_and_run, [''])
 
 test('TH_fail', normal, compile_fail, ['-v0'])
-test('TH_scopedTvs', normal, compile_fail, ['-v0'])
+test('TH_scopedTvs', normal, compile, ['-v0'])
 
 test('TH_runIO', normal, compile_fail, ['-v0'])