[Git][ghc/ghc][wip/forall-vis-coercions] accept new output for T23398

[Matthew Craven (@clyring)]

Matthew Craven pushed to branch wip/forall-vis-coercions at Glasgow Haskell Compiler / GHC


Commits:
cd59cd32 by Matthew Craven at 2023-05-20T15:04:20-04:00
accept new output for T23398

- - - - -


1 changed file:

- testsuite/tests/stranal/should_compile/T23398.stderr


Changes:

=====================================
testsuite/tests/stranal/should_compile/T23398.stderr
=====================================
@@ -5,7 +5,7 @@ Result size of Tidy Core
 
 -- RHS size: {terms: 18, types: 11, coercions: 0, joins: 0/0}
 T23398.$wfoo [InlPrag=[2]]
-  :: forall {a}. (Eq a, Show a) => a -> a -> String
+  :: forall a. (Eq a, Show a) => a -> a -> String
 [GblId[StrictWorker([!, !])],
  Arity=4,
  Str=<SP(1C(1,C(1,L)),A)><SP(A,1C(1,L),A)><L><L>,
@@ -41,7 +41,7 @@ foo
 Rec {
 -- RHS size: {terms: 21, types: 19, coercions: 3, joins: 0/0}
 T23398.$wbar [InlPrag=[2], Occ=LoopBreaker]
-  :: forall {a} {b}.
+  :: forall a b.
      (a GHC.Prim.~# b, Show a) =>
      GHC.Prim.Int# -> a -> (# b, String #)
 [GblId[StrictWorker([~, !])],



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/cd59cd32042db4c5bdbc0504e1b27a52651a800c
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/20230520/c027940f/attachment.html>