id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
56	Bad core produced from lambda abstraction	benl		"This produces bad core. Effect args passed to foldl don't include read of intermediate Ordering value returned by (cmp x y).

The Ordering value is local to max, but the region is passed in to maximumBy.

{{{
maximumBy cmp (a:as)
	= foldl max a as
	where max = (\x y -> case cmp x y of { GT -> x; _  -> y})
}}}

{{{
minT2F :: [(a, Float)] -> (a, Float)
minT2F list	
	= minimumBy (\x y -> compare (snd x) (snd y)) list
}}}

These were both used in demo/Rover"	defect	closed	blocker	0.1.3	Source to Core Translation	0.1.2	duplicate