Max Bolingbroke wrote:
2009/3/31 John Lask :
we get the following message when we load into ghci (6.8.2)
Var/Type length mismatch:
[]
[base:GHC.Base.(){(w) tc 40}]
is this a bug? if not, what is this message telling us ?
I can't reproduce it with 6.10.1, so I presume it is a now-fixed 6.
2009/3/31 John Lask :
> we get the following message when we load into ghci (6.8.2)
>
> Var/Type length mismatch:
> []
> [base:GHC.Base.(){(w) tc 40}]
>
> is this a bug? if not, what is this message telling us ?
I can't reproduce it with 6.10.1, so I presume it is a now-fixed 6.8 bug.
Cheers,
consider the following types (from the paper:
"Stream Fusion From Lists to Streams to Nothing at All")
data Stream a = forall s. Stream ( s ->(Step a s)) s
data Step a s =
Done
| Yield a s
| Skip s
an instance of this data type is:
stream0 :: Stream ()
stream0 = Stream (\ s -> Yield