back.
Then hopefully you'll be well positioned to see whether it'd be a good idea
to apply the idea to the new inference setup.
>
> Simon
>
> | -Original Message-
> | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org]
On Behalf Of
> | Matt B
:cvs-ghc-boun...@haskell.org] On
Behalf Of
| Matt Brown
| Sent: 17 March 2010 22:04
| To: cvs-ghc@haskell.org
| Subject: Help With GHC Extension
|
| Hi All,
|
| I've been experimenting with an idea to allow matching instances by
| context. The basic idea is to allow duplicate instance de
Hi All,
I've been experimenting with an idea to allow matching instances by
context. The basic idea is to allow duplicate instance declarations,
then select the "best" instance during simplification (in
typecheck/Inst.lhs:lookupPred specifically). I'm not sure I have the
right vocabulary to desc
