[commit: ghc] ghc-8.0: Fix typo in error message (#11409) (b7af30f)

git at git.haskell.org git at git.haskell.org
Sat Jan 16 12:49:48 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/b7af30f79f7e3be105cdd17ee3369a5e483f7f3f/ghc

>---------------------------------------------------------------

commit b7af30f79f7e3be105cdd17ee3369a5e483f7f3f
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Jan 11 21:29:23 2016 -0500

    Fix typo in error message (#11409)
    
    (cherry picked from commit 80b4c71c5fc8ae005f6fb73d900b225366c4d3cc)


>---------------------------------------------------------------

b7af30f79f7e3be105cdd17ee3369a5e483f7f3f
 compiler/typecheck/TcExpr.hs                         |  2 +-
 testsuite/tests/typecheck/should_fail/VtaFail.stderr | 16 ++++++++--------
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs
index 93ba3db..d5a0016 100644
--- a/compiler/typecheck/TcExpr.hs
+++ b/compiler/typecheck/TcExpr.hs
@@ -1178,7 +1178,7 @@ tcArgs fun orig_fun_ty fun_orig orig_args herald
     ty_app_err ty arg
       = do { (_, ty) <- zonkTidyTcType emptyTidyEnv ty
            ; failWith $
-               text "Cannot not apply expression of type" <+> quotes (ppr ty) $$
+               text "Cannot apply expression of type" <+> quotes (ppr ty) $$
                text "to a visible type argument" <+> quotes (ppr arg) }
 
 ----------------
diff --git a/testsuite/tests/typecheck/should_fail/VtaFail.stderr b/testsuite/tests/typecheck/should_fail/VtaFail.stderr
index 313d174..ea435e4 100644
--- a/testsuite/tests/typecheck/should_fail/VtaFail.stderr
+++ b/testsuite/tests/typecheck/should_fail/VtaFail.stderr
@@ -1,6 +1,6 @@
 
 VtaFail.hs:7:16: error:
-    • Cannot not apply expression of type ‘t1 -> t0 -> (t1, t0)’
+    • Cannot apply expression of type ‘t1 -> t0 -> (t1, t0)’
       to a visible type argument ‘Int’
     • In the expression: pairup_nosig @Int @Bool 5 True
       In an equation for ‘answer_nosig’:
@@ -13,14 +13,14 @@ VtaFail.hs:12:26: error:
           answer_constraint_fail = addOne @Bool 5
 
 VtaFail.hs:14:17: error:
-    • Cannot not apply expression of type ‘r0 -> r0’
+    • Cannot apply expression of type ‘r0 -> r0’
       to a visible type argument ‘Int’
     • In the expression: (\ x -> x) @Int 12
       In an equation for ‘answer_lambda’:
           answer_lambda = (\ x -> x) @Int 12
 
 VtaFail.hs:19:5: error:
-    • Cannot not apply expression of type ‘Int -> (a0, Int)’
+    • Cannot apply expression of type ‘Int -> (a0, Int)’
       to a visible type argument ‘Bool’
     • In the expression: pair 3 @Int @Bool True
       In an equation for ‘a’: a = pair 3 @Int @Bool True
@@ -55,31 +55,31 @@ VtaFail.hs:41:27: error:
           threeWorse = too @(->) (T :: Three Either)
 
 VtaFail.hs:46:5: error:
-    • Cannot not apply expression of type ‘Int -> Int -> Int’
+    • Cannot apply expression of type ‘Int -> Int -> Int’
       to a visible type argument ‘Int’
     • In the expression: plus @Int 5 7
       In an equation for ‘b’: b = plus @Int 5 7
 
 VtaFail.hs:47:5: error:
-    • Cannot not apply expression of type ‘Int -> Int -> Int’
+    • Cannot apply expression of type ‘Int -> Int -> Int’
       to a visible type argument ‘Rational’
     • In the expression: plus @Rational 5 10
       In an equation for ‘c’: c = plus @Rational 5 10
 
 VtaFail.hs:48:5: error:
-    • Cannot not apply expression of type ‘Int -> Int -> Int’
+    • Cannot apply expression of type ‘Int -> Int -> Int’
       to a visible type argument ‘Int’
     • In the expression: (+) @Int @Int @Int 12 14
       In an equation for ‘d’: d = (+) @Int @Int @Int 12 14
 
 VtaFail.hs:51:5: error:
-    • Cannot not apply expression of type ‘Int -> String’
+    • Cannot apply expression of type ‘Int -> String’
       to a visible type argument ‘Float’
     • In the expression: show @Int @Float (read "5")
       In an equation for ‘e’: e = show @Int @Float (read "5")
 
 VtaFail.hs:52:11: error:
-    • Cannot not apply expression of type ‘String -> Int’
+    • Cannot apply expression of type ‘String -> Int’
       to a visible type argument ‘Bool’
     • In the first argument of ‘show’, namely
         ‘(read @Int @Bool @Float "3")’



More information about the ghc-commits mailing list