Hi!
Just a thought...
Would it be a sensible thing to not desugar
[x, y, z]
into
(:) x ((:) y ((:) z [])),
but into
build (\ c n -> c x (c y (c z n)))?
Alternatively, how about the following rules?
{-# RULES
"singleton" [~1] forall x . (:) x [] = build (\c n -> c x n)
#-}
On 17 September 2004 14:31, Simon Marlow wrote:
> On 16 September 2004 13:04, Simon Marlow wrote:
>
>> It looks like MingW comes with a libreadline.a these days. Readline
>> appears to build fine in GHC 6.2.2. I'll see if we can include it
>> with the 6.2.2 release...
>
> So I compiled up 6.2.
On 16 September 2004 13:04, Simon Marlow wrote:
> It looks like MingW comes with a libreadline.a these days. Readline
> appears to build fine in GHC 6.2.2. I'll see if we can include it
> with the 6.2.2 release...
So I compiled up 6.2.2 on Windows with readline support (various patches
to build
