filter/filter rules are incorrect

[meooow25]

import qualified Data.Text as T
main = print $ T.filter (const undefined) $ T.filter (const False) $ T.singleton 'a'

Without optimizations, prints

""

With optimizations,

tfilter: Prelude.undefined
CallStack (from HasCallStack):
  undefined, called at tfilter.hs:2:32 in main:Main

text/src/Data/Text.hs

Lines 1660 to 1663 in 456783a

	{-# RULES
	"TEXT filter/filter -> filter" forall p q t.
	filter p (filter q t) = filter (\c -> p c && q c) t
	#-}

text/src/Data/Text/Lazy.hs

Lines 1691 to 1694 in 456783a

	{-# RULES
	"TEXT filter/filter -> filter" forall p q t.
	filter p (filter q t) = filter (\c -> p c && q c) t
	#-}

The problem is that the predicate of the inner filter is not checked first.

The rule in the stream code is, however, correct

text/src/Data/Text/Internal/Fusion/Common.hs

Lines 1113 to 1116 in 456783a

	{-# RULES
	"STREAM filter/filter fusion" forall p q s.
	filter p (filter q s) = filter (\x -> q x && p x) s
	#-}

[meooow25]

For the record, I happened to notice this in the code. I did not find this out the hard way.