From 1a9863942e28cd942884f40e36759fd25e24f5aa Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 30 Mar 2012 13:35:31 +0100 Subject: TH_scopedTvs succeeds now we have scoped type variables in TH --- testsuite/tests/th/T3177a.stderr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/th/T3177a.stderr') diff --git a/testsuite/tests/th/T3177a.stderr b/testsuite/tests/th/T3177a.stderr index 806a1f92a7..a39419b948 100644 --- a/testsuite/tests/th/T3177a.stderr +++ b/testsuite/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 -- cgit v1.2.1