Wed, 1 Mar 2000 21:09:17 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
>But the instance (dictionary) for Eq [Bool] can be deduced in
>multiple ways! The first is the standard `deriving'. The second
>deduces from the user instance.
>But I have certain wise rules to
Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes
>> > h :: Eq a => a -> a -> Int
>> > h x y = if x == y then 0 else 1 + h [x] [y]
>> > which would make h "1" "2" return 7 if in some other module there is:
>> > instance Eq [[[String]]] where
>> > x == y = length x
> The strongest objection I observed so far was that it agrees badly
> with writing programs to link to the object libraries given without
> sources. With overlaps, the interface module export types may start
> to depend on the single `import A' declaration.
> It will be harder to satisfy the l
I wrote a typo 10 minutes ago
[..]
"Eq a means all the infinitely many things that can be deduced
...
And I discover that it uses Eq [Bool] ...
... Eq [Bool] can be deduced ...
"
It should be
" ...
And I discover that it uses Eq (Maybe a).
To my suggestion on deduced contexts in overlaps
Jeffrey R. Lewis <[EMAIL PROTECTED]> writes
> Let's take f again, as you've typed it:
>
>f :: Eq a => a -> Bool
>f x = Just x == Just x
> [..]
> Would it make sense at this point for the compiler to
> say, "heck, I don't know why
On Tue, Feb 29, 2000 at 03:18:02PM -0800, Bill Halchin wrote:
>I am trying to build the HaXML stuff and the linker (ld) is
>looking for an archive, gmp.a, which I don't have installed. Can
>anybody lead me in the right direction??
I believe that's the GNU multi-precision arithmetic library.
> I am trying to build the HaXML stuff and the linker (ld) is
> looking for an archive, gmp.a, which I don't have installed. Can
> anybody lead me in the right direction??
HaXml does not use the Gnu Multi-Precision library directly.
This is most likely a known ghc/Linux problem. From the ghc
Several days ago I suggested the guess how the existing
implementions handle the overlapping instances.
And the example was considered, with the modules F,G,E.
>> [..]
>> module G (g)
>> where
>> g :: Eq a => (a -> Bool) -> [a] -> [Bool]
>> gh xs = map h xs
>> [..]
Je
