I think the technique described at
http://haskell.org/haskellwiki/GHC/AdvancedOverlap
may give you what you want. I've never tried it myself though.
/ Emil
Tobias Bexelius skrev:
Yeah, I realized that.
But heres where I would like the undecidable incoherent instances to kick in,
i.e. as
On Wed, Oct 8, 2008 at 2:59 PM, Tobias Bexelius
<[EMAIL PROTECTED]> wrote:
> Or do I have too much faith in the -fallow-incoherent-instances flag now? :/
Overlapping instances are an "instance definition"-time feature;
incoherent instances only become applicable at the call site for
polymorphic fu
ilto:[EMAIL PROTECTED]
Sent: den 8 oktober 2008 15:50
To: Tobias Bexelius
Cc: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] Functional dependencies and incoherent instances
Hi,
On Wed, Oct 8, 2008 at 2:31 PM, Tobias Bexelius <[EMAIL PROTECTED]> wrote:
> Hi,
>
> Im trying to
Hi,
On Wed, Oct 8, 2008 at 2:31 PM, Tobias Bexelius
<[EMAIL PROTECTED]> wrote:
> Hi,
>
> Im trying to overload a multiplication operator for scalars and vectors,
> but keep running into the error message "Functional dependencies
> conflict". What I think is going on is that the dependency check do