[Git][ghc/ghc][wip/T17775] Wibble

[Simon Peyton Jones]

Simon Peyton Jones pushed to branch wip/T17775 at Glasgow Haskell Compiler / GHC


Commits:
f767c285 by Simon Peyton Jones at 2020-04-24T14:20:08+01:00
Wibble

- - - - -


1 changed file:

- testsuite/tests/simplCore/should_compile/T17930.stderr


Changes:

=====================================
testsuite/tests/simplCore/should_compile/T17930.stderr
=====================================
@@ -1,99 +1,2 @@
-
-==================== Specialise ====================
-Result size of Specialise
-  = {terms: 90, types: 84, coercions: 10, joins: 0/0}
-
--- RHS size: {terms: 32, types: 27, coercions: 3, joins: 0/0}
 $sfoo :: (?b::Bool) => String -> [Char]
 $sfoo
-  = \ ($dIP :: ?b::Bool) (x :: String) ->
-      case $dIP
-           `cast` (GHC.Classes.N:IP[0] <"b">_N <Bool>_N
-                   :: (?b::Bool) ~R# Bool)
-      of {
-        False ->
-          GHC.Base.build
-            @Char
-            (\ (@b) (c :: Char -> b -> b) (n :: b) ->
-               GHC.Base.foldr
-                 @Char
-                 @b
-                 c
-                 (GHC.CString.unpackFoldrCString# @b "."# c n)
-                 (show @String GHC.Show.$fShow[]_$s$fShow[]1 x));
-        True ->
-          GHC.Base.build
-            @Char
-            (\ (@b) (c :: Char -> b -> b) (n :: b) ->
-               GHC.Base.foldr
-                 @Char
-                 @b
-                 c
-                 (GHC.CString.unpackFoldrCString# @b "!"# c n)
-                 (show @String GHC.Show.$fShow[]_$s$fShow[]1 x))
-      }
-
--- RHS size: {terms: 34, types: 31, coercions: 3, joins: 0/0}
-foo :: forall a. (?b::Bool, Show a) => a -> String
-foo
-  = \ (@a) ($dIP :: ?b::Bool) ($dShow :: Show a) (x :: a) ->
-      case $dIP
-           `cast` (GHC.Classes.N:IP[0] <"b">_N <Bool>_N
-                   :: (?b::Bool) ~R# Bool)
-      of {
-        False ->
-          GHC.Base.build
-            @Char
-            (\ (@b) (c :: Char -> b -> b) (n :: b) ->
-               GHC.Base.foldr
-                 @Char
-                 @b
-                 c
-                 (GHC.CString.unpackFoldrCString# @b "."# c n)
-                 (show @a $dShow x));
-        True ->
-          GHC.Base.build
-            @Char
-            (\ (@b) (c :: Char -> b -> b) (n :: b) ->
-               GHC.Base.foldr
-                 @Char
-                 @b
-                 c
-                 (GHC.CString.unpackFoldrCString# @b "!"# c n)
-                 (show @a $dShow x))
-      }
-
--- RHS size: {terms: 7, types: 5, coercions: 4, joins: 0/0}
-str :: String
-str
-  = foo
-      @String
-      (GHC.Types.True
-       `cast` (Sym (GHC.Classes.N:IP[0] <"b">_N <Bool>_N)
-               :: Bool ~R# (?b::Bool)))
-      GHC.Show.$fShow[]_$s$fShow[]1
-      (GHC.Base.build
-         @Char (\ (@b) -> GHC.CString.unpackFoldrCString# @b "Hello"#))
-
--- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-$trModule :: GHC.Prim.Addr#
-$trModule = "main"#
-
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-$trModule :: GHC.Types.TrName
-$trModule = GHC.Types.TrNameS $trModule
-
--- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-$trModule :: GHC.Prim.Addr#
-$trModule = "T17930"#
-
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-$trModule :: GHC.Types.TrName
-$trModule = GHC.Types.TrNameS $trModule
-
--- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T17930.$trModule :: GHC.Types.Module
-T17930.$trModule = GHC.Types.Module $trModule $trModule
-
-
-



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f767c28518319c471f432c2f45fe6661bf2d255e
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/20200424/995031a3/attachment-0001.html>