Article 5
The SAT patch currently in the compiler does get "foldl'", but not "foo". I'm not sure what you were expecting to happen with "foo": only the function unstream is recursive, and it is not amenable to...
View Articlemilestone changed
milestone changed from 6.8 branch to 6.10 branch Not for 6.8, but I'll keep it on the table for 6.10. A nice self-contained project for someone! Simon
View ArticleArticle 2
Here's another exampe, transferred from #1094 (Azmo): The current version of Data.List.foldl' is: foldl' :: (a -> b -> a) -> a -> [b] -> a foldl' f a [] = a foldl' f a (x:xs) = let a' =...
View Articlemilestone changed
milestone changed from 7.10.1 to 7.12.1 Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.
View ArticleArticle 26
The current SAT pass has received no love for many years. Its heuristics have not been explored systematically. I opened this ticket to record a set of heuristics that might work better. But I don't...
View ArticleArticle 25
I think this issue tracks work on SAT for stream fusion / concatMap. Probably the more generic case as well, but I think I added myself to CC because of stream fusions concatMap.
View ArticleArticle 24
I’m confused. There is -fstatic-argument-transformation. Shouldn’t this be closed? There is also #9374 about the need to make SAT better...
View Article