On Thu, Apr 25, 2013 at 9:20 PM, Ben Lippmeier <b...@ouroborus.net> wrote:
> On 26/04/2013, at 2:15 PM, Johan Tibell wrote:
>> Hi Ben,
>> On Thu, Apr 25, 2013 at 7:46 PM, Ben Lippmeier <b...@ouroborus.net> wrote:
>>> The Repa plugin will also do proper SIMD vectorisation for stream programs, 
>>> producing the SIMD primops that Geoff recently added. Along the way it will 
>>> brutally convert all operations on boxed/lifted numeric data to their 
>>> unboxed equivalents, because I am sick of adding bang patterns to every 
>>> single function parameter in Repa programs.
>> How far is this plugin from being usable to implement a
>> {-# LANGUAGE Strict #-}
>> pragma for treating a single module as if Haskell was strict?
> There is already one that does this, but I haven't used it.
> http://hackage.haskell.org/package/strict-ghc-plugin
> It's one of the demo plugins, though you need to mark individual functions 
> rather than the whole module (which would be straightforward to add).
> The Repa plugin is only supposed to munge functions using the Repa library, 
> rather than the whole module.

I guess what I was really hoping for was a plugin that rigorously
defined what it meant to make the code strict at a source language
level, rather than at a "lets make all lets into cases" Core level. :)

Haskell-Cafe mailing list

Reply via email to