[Git][ghc/ghc][wip/backports] 2 commits: testsuite: Update output for T18888_datakinds

[Ben Gamari]

Ben Gamari pushed to branch wip/backports at Glasgow Haskell Compiler / GHC


Commits:
918157d5 by Ben Gamari at 2020-11-09T19:17:08-05:00
testsuite: Update output for T18888_datakinds

- - - - -
7fcca77f by Ben Gamari at 2020-11-09T19:17:13-05:00
testsuite: Update output for T12427a

- - - - -


2 changed files:

- testsuite/tests/linear/should_fail/T18888_datakinds.stderr
- testsuite/tests/typecheck/should_compile/T12427a.stderr


Changes:

=====================================
testsuite/tests/linear/should_fail/T18888_datakinds.stderr
=====================================
@@ -1,5 +1,5 @@
 
-T18888_datakinds.hs:5:9:
-     Expected kind ‘GHC.Types.Multiplicity’,
-        but ‘001’ has kind ‘GHC.Num.Natural.Natural’
-     In the type signature: f :: a %001 -> b
+T18888_datakinds.hs:5:9: error:
+    • Expected kind ‘GHC.Types.Multiplicity’,
+        but ‘001’ has kind ‘GHC.Types.Nat’
+    • In the type signature: f :: a %001 -> b


=====================================
testsuite/tests/typecheck/should_compile/T12427a.stderr
=====================================
@@ -2,9 +2,16 @@
 T12427a.hs:17:29: error:
     • Couldn't match expected type ‘p’
                   with actual type ‘(forall b. [b] -> [b]) -> Int’
+        ‘p’ is untouchable
+          inside the constraints: ()
+          bound by a pattern with constructor:
+                     T1 :: forall a. a -> ((forall b. [b] -> [b]) -> Int) -> T,
+                   in a case alternative
+          at T12427a.hs:17:19-24
       ‘p’ is a rigid type variable bound by
         the inferred type of h11 :: T -> p
         at T12427a.hs:17:1-29
+      Possible fix: add a type signature for ‘h11’
     • In the expression: v
       In a case alternative: T1 _ v -> v
       In the expression: case y of { T1 _ v -> v }



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/06e7aed000ff172a2c14030d93011a96d01b2c27...7fcca77f1b3d315b95de2acc76bdac3512a522ff

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/06e7aed000ff172a2c14030d93011a96d01b2c27...7fcca77f1b3d315b95de2acc76bdac3512a522ff
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/20201109/4bbb4820/attachment.html>