ctm:
> Hi Stefan
>
> Thanks for a very enlightening reply.
>
> >In GHC 6.7.20070712 and Yhc, this is perfectly safe.
>
>
> >In GRIN based systems like Jhc, this is *not* safe, since after
> >evaluation comparisons are done using the full tag.
>
>
> It's now occurred to me that at a cost of so
Hi Stefan
Thanks for a very enlightening reply.
In GHC 6.7.20070712 and Yhc, this is perfectly safe.
In GRIN based systems like Jhc, this is *not* safe, since after
evaluation comparisons are done using the full tag.
It's now occurred to me that at a cost of some noise, I could have
do
On Sat, Jul 14, 2007 at 12:06:30PM +0100, Conor McBride wrote:
> A peculiar query for folks who know more about the internals of Haskell
> compilers than I do. I attach the full code with all the bits and pieces,
> but let me pull out the essentials in order to state the problem.
>
> > newtype Id
Scary words warning: Polynomial, Functor, Bifunctor, unsafeCoerce#
Folks
A peculiar query for folks who know more about the internals of Haskell
compilers than I do. I attach the full code with all the bits and
pieces,
but let me pull out the essentials in order to state the problem.
I've be