never written any code actually in GHC,
although I have used the API (I am the author of direct-plugins). But
I frequently read its code to clarify how things work, and I do expect
that it's a near-certainty that I'll be hacking GHC itself at some
point in the future.
--
Dan Knapp
An infallible
I just noticed that the discussion has been concluded and I was replying to an
old thread. I apologize for the noise.
On Wed, Feb 9, 2011 at 6:56 PM, Dan Knapp dan...@gmail.com wrote:
In my one serious attempt to use git for one of my own projects, some
seemingly-innocuous operation deleted
to solve the wanted Eq [x].
And now we need Eq x, which *isn't* a consequence of (Eq b, b~[x]).
Still, there is a unique proof, and GHC (now) finds it. It'll all
be in 6.16.
Simon
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad
of `==':
== (TemplateList a) (TemplateList b) = (==) a b
In the instance declaration for `Eq (TemplateValue a)'
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad Adenauer)
___
Glasgow
Thanks for your feedback. I'm mailing cabal-devel before I proceed.
Hopefully the
next time I post here will be with an implementation. :)
On Mon, Mar 15, 2010 at 11:38 AM, Simon Marlow marlo...@gmail.com wrote:
On 13/03/2010 20:39, Dan Knapp wrote:
There doesn't seem to be a mailing list
matching the interface version it's expecting.
Once again, I'm not asking anyone to do this work for me - I'm eager
to get my hands dirty and do it myself. I just want to find out what
the process would be to get it accepted, once it works.
Thanks in advance,
--
Dan Knapp
An infallible method