of
System FC).
-Iavor
PS: I am going on vacation next week, so I'll probably not make much
progress on the new solver in August.
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
--
Dan
. Um, thanks for reading?
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to be
devoured. (Konrad Adenauer)
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
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
hypothetical
per-file licensing.
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad Adenauer)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
?
I will talk to dcoutts, and see what the current status of the
distributed-operation code is and figure out how much time I can
devote to helping with that.
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad Adenauer
community,
which has given a lot to me.
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad Adenauer)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
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
with the code and not worry about library dependencies.
Michael
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself
-fastcgi
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad Adenauer)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
that the value being obtained is in fact of the type
Dynamic. Additional type safety is then provided by Dynamic itself.
This actually goes one step beyond Dons's Plugins, which only ever
planned the looks-inside-.his thing, not implemented it.
--
Dan Knapp
An infallible method of conciliating a tiger
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
This is my first post to this list; I hope it's appropriate. Please
let me know if not.
--
Dan Knapp
An infallible method of conciliating a tiger is to allow oneself to
be devoured. (Konrad Adenauer)
___
Haskell-Cafe mailing list
Haskell-Cafe
15 matches
Mail list logo