26 Apr
2013
26 Apr
'13
5:34 a.m.
On Thu, Apr 25, 2013 at 10:30 PM, Andrew Cowie
On Thu, 2013-04-25 at 21:15 -0700, Johan Tibell wrote:
{-# LANGUAGE Strict #-}
God, I would love this. Obviously the plugin approach could do it, but could not GHC itself just _not create thunks_ for things unless told to be lazy in the presence of such a pragma?
[at which point, we need an annotation for laziness, instead of the annotation for strictness. We're not using ampersand for anything, are we?
func Int -> Thing -> WorldPeace func &a &b = ...
Ah, bikeshed, how we love thee]
We already have ~ that's used to make lazy patterns. :)