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,,