Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/afc5b6cc0365a6b04ad591c6f47b105538f1ea8e >--------------------------------------------------------------- commit afc5b6cc0365a6b04ad591c6f47b105538f1ea8e Author: Simon Peyton Jones <[email protected]> Date: Fri Mar 30 13:35:31 2012 +0100 TH_scopedTvs succeeds now we have scoped type variables in TH >--------------------------------------------------------------- tests/th/T3177a.stderr | 2 +- tests/th/TH_scopedTvs.stderr | 4 ---- tests/th/all.T | 2 +- 3 files changed, 2 insertions(+), 6 deletions(-) diff --git a/tests/th/T3177a.stderr b/tests/th/T3177a.stderr index 806a1f9..a39419b 100644 --- a/tests/th/T3177a.stderr +++ b/tests/th/T3177a.stderr @@ -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/tests/th/TH_scopedTvs.stderr b/tests/th/TH_scopedTvs.stderr deleted file mode 100644 index f8263fc..0000000 --- a/tests/th/TH_scopedTvs.stderr +++ /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 diff --git a/tests/th/all.T b/tests/th/all.T index 42ebb5b..87521ab 100644 --- a/tests/th/all.T +++ b/tests/th/all.T @@ -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']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
