types from the run-time's
> perspective, but I'd be surprised if there were NOT a way to use this code to
> create run-time errors.
>
> Is there a way to make it safer? Perhaps by making Skolem act more like
> GHC's Any type? Or perhaps like the -> type? I
-
>
> commit 0007c0ec9c0de68e3a348b8c4112ac48fd861b1e
> Author: Dimitrios Vytiniotis
> Date: Wed Nov 16 16:12:48 2011 +
>
> GHC gets a new constraint solver. More efficient and smaller in size.
>
> compiler/basicTypes/Data
Dear Gershom,
Just to say many thanks for the extremely useful test cases! We will
investigate further.
Best,
Dimitris
> -Original Message-
> From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-
> users-boun...@haskell.org] On Behalf Of Gershom Bazerman
> Sent: 12
Hi Ganesh, you are right Simon's answer is not correct.
The cause of your problem is I believe quite involved -- I think I know what's
going on (Simon: it seems to be
an overlap problem indeed but between a different instance and given arising
from a superclass when trying to
solve a 'silent pa
