Implicit conversion is a mess. Suppose that
test5 = v1 + v2
Now,
test5 :: (Add (Vector a) (Vector a1) (Vector c), Num a, Num a1) = Vector c
Note that a and a1 don't occur on the right hand side of the =, so
the only way that they could be determined is if there was a
functional dependency c - a
On Thu, 22 Dec 2005 [EMAIL PROTECTED] wrote:
Dear Haskell,
Most of the time we get along well. But, I'm growing weary of the
arguments, fights, and nitpicking when I try to implement new mathematical
types and overload your operators. I don't know how to cooperate with
your type systems.
[EMAIL PROTECTED] wrote:
{-
This code is works with Glasgow, ghci, with these options:
-fglasgow-exts
-fallow-undecidable-instances
-fno-monomorphism-restriction
-fallow-incoherent-instances
-}
First off, try lighter weapons first. Be switching on all possible
extensions you're
Hello Jeff,
Friday, December 23, 2005, 1:52:02 AM, you wrote:
JHhc {-
JHhcThis code is works with Glasgow, ghci, with these options:
JHhc -fglasgow-exts
JHhc -fallow-undecidable-instances
JHhc -fno-monomorphism-restriction
JHhc -fallow-incoherent-instances
JHhc -}
:) replace it
On Fri, Dec 23, 2005 at 12:12:49PM +0100, Udo Stenzel wrote:
[EMAIL PROTECTED] wrote:
{-
This code is works with Glasgow, ghci, with these options:
-fglasgow-exts
-fallow-undecidable-instances
-fno-monomorphism-restriction
-fallow-incoherent-instances
-}
First off, try