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'd like to learn about the
varieties of types from the run-time's perspective.
I know Dimitrios Vytiniotis is trying
0007c0ec9c0de68e3a348b8c4112ac48fd861b1e
Author: Dimitrios Vytiniotis dimit...@microsoft.com
Date: Wed Nov 16 16:12:48 2011 +
GHC gets a new constraint solver. More efficient and smaller in size.
compiler/basicTypes/DataCon.lhs |9 +-
compiler/basicTypes/MkId.lhs | 10
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