I'm currently investigating using the SAT to get stream fusion working properly, as per the ICFP07 paper. This probably just requires moving the SAT pass to a late stage in the pipeline (post-constructor specialisation) but I'm awaiting experimental results.
↧