PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of J. Garrett Morris
| Sent: 10 October 2005 18:06
| To: glasgow-haskell-users@haskell.org
| Subject: GADT question
|
| Hello,
|
| I've been attempting to use GADTs to create a small domain specific
| language, and I'm running
Hi,
SPJ wrote:
The right fix is alas not very simple, which is why I have not done
it. (It involves what Martin Sulzmann calls implication
constraints.) However, GADTs and type classes ought to be fine
together, and the fact that many people have reported bugs suggests
that the interaction
| I plan to tackle it in the next couple of months.
|
| Would this also address how plain old Algebraic Data Types and type
| classes work together? The issues seems related.
Well that's specified by Haskell 98, so I don't want to change it.
Instead, I propose to behave sensibly (i.e.
Hello,
I've been attempting to use GADTs to create a small domain specific
language, and I'm running into an odd problem. Adding one case to the
example at the beginning of the Wobbly types paper:
data Term :: * - *
where Lit :: a - Term a
Inc :: Term Int - Term Int
IsZ
Hi Garrett,
I get an error No instance for (Fractional a) arising from the use of
'/' This seems odd to me, since Div is constrained to have
fractional arguments. Is there something obvious I'm missing?
Unless GADTs are handled specially, and I don't think they are in this
case, this
I get an error No instance for (Fractional a) arising from the use of
'/' This seems odd to me, since Div is constrained to have
fractional arguments. Is there something obvious I'm missing?
Unless GADTs are handled specially, and I don't think they are in this
case, this problem is
Henrik Nilsson [EMAIL PROTECTED] writes:
I get an error No instance for (Fractional a) arising from the use of
'/' This seems odd to me, since Div is constrained to have
fractional arguments. Is there something obvious I'm missing?
Unless GADTs are handled specially, and I don't
Hi Garret,
As others have mentioned, this is currently not supported, but it seems
that it will be at some point. On the sf bug-tracker, I could find the
following entries, but the issue has also been discussed on the mailing
list.