"Simon Marlow" <[EMAIL PROTECTED]> writes:
> You don't need to know :-)
> It's actually in the base package, but GHCi knows about all hierarchical
> libraries without having to specify any extra command-line arguments.
Ai! And here I've been doing :set -package all this time.
-kzm
--
If I hav
Alastair Reid writes:
> ... Thus, we have Show instances for -> and IO ...
Actually, you have to explicitly import Text.Show.Functions to get the
Show instance for (->).
Cheers,
Simon
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskel
Am Freitag, 3. Oktober 2003, 10:22 schrieb Kenny:
> [...]
> But how about
> instance C (AND (OR r1 r2) (OR r1 r2)) (OR r1 r2)
> --[1]
>
> instance ( C (AND r1 r3) r5
>, C (AND r2 r4) r6
>) => C (AND (OR r1 r2) (OR r3 r4)) (OR r5 r6) --[2]
>
> GHC allows this with -fallow-overlappin
> I think it's wrong. The return type of IO should be discarded.
I don't follow. I thought the question was 'what should this print?' not
'what is its type?'
> Even if it isn't, it doesn't make sense for IO to be in Show.
The general policy for Haskell 98 libraries is that if you define a t
Hi all,
Here I change the instances from
> instance C (OR T r) T
> instance C (OR r T) T
to
> instance C (OR T r) T
> instance C (OR T T) T
and it compiles when allow-overlapping-instances is
turned on.
now I understand that GHC in fact
allow-overlapping-instances if one is more specific
than
