on master help sign in
Show: Activate literal rewrite rules in simplifier phase 1
9b01539Ben Gamari
Data/Text/Show.hs+4−4
@@ -50,19 +50,19 @@ unpackCString# :: Addr# -> Text
50unpackCString# addr# = unstream (S.streamCString# addr#)
50unpackCString# addr# = unstream (S.streamCString# addr#)
51{-# NOINLINE unpackCString# #-}
51{-# NOINLINE unpackCString# #-}
52
52
53−{-# RULES "TEXT literal" [2] forall a.
53+{-# RULES "TEXT literal" [1] forall a.
54 unstream (S.map safe (S.streamList (GHC.unpackCString# a)))
54 unstream (S.map safe (S.streamList (GHC.unpackCString# a)))
55 = unpackCString# a #-}
55 = unpackCString# a #-}
56
56
57−{-# RULES "TEXT literal UTF8" [2] forall a.
57+{-# RULES "TEXT literal UTF8" [1] forall a.
58 unstream (S.map safe (S.streamList (GHC.unpackCStringUtf8# a)))
58 unstream (S.map safe (S.streamList (GHC.unpackCStringUtf8# a)))
59 = unpackCString# a #-}
59 = unpackCString# a #-}
60
60
61−{-# RULES "TEXT empty literal" [2]
61+{-# RULES "TEXT empty literal" [1]
62 unstream (S.map safe (S.streamList []))
62 unstream (S.map safe (S.streamList []))
63 = empty_ #-}
63 = empty_ #-}
64
64
65−{-# RULES "TEXT singleton literal" [2] forall a.
65+{-# RULES "TEXT singleton literal" [1] forall a.
66 unstream (S.map safe (S.streamList [a]))
66 unstream (S.map safe (S.streamList [a]))
67 = singleton_ a #-}
67 = singleton_ a #-}
68
68