[Git][ghc/ghc][wip/D5373] Update tests

[Matthías Páll Gissurarson]

Matthías Páll Gissurarson pushed to branch wip/D5373 at Glasgow Haskell Compiler / GHC


Commits:
adb25334 by Matthías Páll Gissurarson at 2019-06-04T20:06:26Z
Update tests

- - - - -


2 changed files:

- testsuite/tests/printer/T14343.stderr
- testsuite/tests/printer/T14343b.stderr


Changes:

=====================================
testsuite/tests/printer/T14343.stderr
=====================================
@@ -8,7 +8,7 @@ T14343.hs:10:9: error:
       Valid hole fits include
         test1 :: Proxy '[ 'True] (defined at T14343.hs:10:1)
         Proxy :: forall k1 (k2 :: k1). Proxy k2
-          with Proxy @[Bool] @'[ 'True]
+          with Proxy @'[ 'True]
           (defined at T14343.hs:8:16)
 
 T14343.hs:11:9: error:
@@ -20,7 +20,7 @@ T14343.hs:11:9: error:
       Valid hole fits include
         test2 :: Proxy '[ '[1]] (defined at T14343.hs:11:1)
         Proxy :: forall k1 (k2 :: k1). Proxy k2
-          with Proxy @[[GHC.Types.Nat]] @'[ '[1]]
+          with Proxy @'[ '[1]]
           (defined at T14343.hs:8:16)
 
 T14343.hs:12:9: error:
@@ -32,5 +32,5 @@ T14343.hs:12:9: error:
       Valid hole fits include
         test3 :: Proxy '[ '("Symbol", 1)] (defined at T14343.hs:12:1)
         Proxy :: forall k1 (k2 :: k1). Proxy k2
-          with Proxy @[(GHC.Types.Symbol, GHC.Types.Nat)] @'[ '("Symbol", 1)]
+          with Proxy @'[ '("Symbol", 1)]
           (defined at T14343.hs:8:16)


=====================================
testsuite/tests/printer/T14343b.stderr
=====================================
@@ -8,7 +8,7 @@ T14343b.hs:10:9: error:
       Valid hole fits include
         test1 :: Proxy '( 'True, 'False) (defined at T14343b.hs:10:1)
         Proxy :: forall k1 (k2 :: k1). Proxy k2
-          with Proxy @(Bool, Bool) @'( 'True, 'False)
+          with Proxy @'( 'True, 'False)
           (defined at T14343b.hs:8:16)
 
 T14343b.hs:11:9: error:
@@ -23,7 +23,7 @@ T14343b.hs:11:9: error:
         test2 :: Proxy '( '( 'True, 'False), 'False)
           (defined at T14343b.hs:11:1)
         Proxy :: forall k1 (k2 :: k1). Proxy k2
-          with Proxy @((Bool, Bool), Bool) @'( '( 'True, 'False), 'False)
+          with Proxy @'( '( 'True, 'False), 'False)
           (defined at T14343b.hs:8:16)
 
 T14343b.hs:12:9: error:
@@ -35,5 +35,5 @@ T14343b.hs:12:9: error:
       Valid hole fits include
         test3 :: Proxy '( '[1], 'False) (defined at T14343b.hs:12:1)
         Proxy :: forall k1 (k2 :: k1). Proxy k2
-          with Proxy @([GHC.Types.Nat], Bool) @'( '[1], 'False)
+          with Proxy @'( '[1], 'False)
           (defined at T14343b.hs:8:16)



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/adb2533433756ae46462e2f5a8fb20d0951e8f96

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/adb2533433756ae46462e2f5a8fb20d0951e8f96
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190604/b8e5fb26/attachment-0001.html>