git.iko.soy/text
on master help sign in
New rewrite rule for right-associative uses of append

Merges bounds check when append is used in a right-associative fashion: w1 `append` (w2 `append` ...) --HG-- extra : convert_revision : a262d1685b0ea6151fa9418183e05d847477902f

commit3c8b8c739859fe79ec20b8ca5462021790bfcbb8 authorJohan Tibell <johan.tibell@gmail.com> dateSat 15 May 2010, 10:07 (16 years ago) parent2db8084
1 file changed+9−4
compare with master
unifiedsplit
Data/Text/Lazy/Builder.hs+9−4
Data/Text/Lazy/Builder.hs+9−4
@@ -248,15 +248,20 @@ append' (Builder f) (Builder g) = Builder (f . g)
248248
249249{-# RULES
250250
251−"writeN/combine" forall a b (f::forall s. A.MArray s Word16 -> Int -> ST s ())
252− (g::forall s. A.MArray s Word16 -> Int -> ST s ()).
251+"append/writeN" forall a b (f::forall s. A.MArray s Word16 -> Int -> ST s ())
252+ (g::forall s. A.MArray s Word16 -> Int -> ST s ()) ws.
253+ append (writeN a f) (append (writeN b g) ws) =
254+ append (writeN (a+b) (\marr o -> f marr o >> g marr (o+a))) ws
255+
256+"writeN/writeN" forall a b (f::forall s. A.MArray s Word16 -> Int -> ST s ())
257+ (g::forall s. A.MArray s Word16 -> Int -> ST s ()).
253258 append (writeN a f) (writeN b g) =
254259 writeN (a+b) (\marr o -> f marr o >> g marr (o+a))
255260
256−"ensureFree/combine" forall a b .
261+"ensureFree/ensureFree" forall a b .
257262 append (ensureFree a) (ensureFree b) = ensureFree (max a b)
258263
259−"flush/combine"
264+"flush/flush"
260265 append flush flush = flush
261266
262267 #-}