I think that's ok. It's the situation right now.
Simon
From: Richard Eisenberg [mailto:e...@cis.upenn.edu]
Sent: 21 October 2013 18:08
To: ghc-devs Devs; Simon Peyton-Jones; Edward Kmett
Subject: small hiccup in new GND check
Hi all,
The implementation of the new GND check is done and was
Hi Brett,
1) There doesn't seem to be a run function or a way to create FuelMonads.
I found runWithFuel, getFuel and setFuel, but they are in the hidden
Compiler.Hoopl.Fuel module. This is ghc version 7.6.3 and hoopl version
3.9.0
I was confused the same way you are now:
Hi,
Am Montag, den 21.10.2013, 13:08 -0400 schrieb Richard Eisenberg:
For the curious, you can see the code in my github fork
at
https://raw.github.com/goldfirere/ghc/master/compiler/typecheck/TcDeriv.lhs
(search for `role_errs`). An example of the new error message is in
Good point. I will refine.
The reason it says specialized is that type variables other than the last one
might be specialized. The class in this example has only one type parameter, so
specialized is specious. I can fine-tune the error message to print
specialized only when it actually has
Hi,
Here is a status report on how things are going at the moment on the
TemplateHaskell+Annotations issue.
Further discussion happened with Austin and Simon:
- http://ghc.haskell.org/trac/ghc/ticket/8397,
- http://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Annotations
SPJ asked for
Dear GHC gurus,
I've been looking into how GHC uses GMP (with the hidden agenda of
taking the work of replacing it with something that is BSD license
compatible and so can be linked in and shipped statically by default).
I think I more or less understand how GMP memory is managed and how the
GC
Hey Gergeley,
(obviously we would have to call mpz_free here and there, but that
seems doable).
Actually, this is precisely the problem. When is a GMP integer freed?
It can have pointers to it from objects on the heap, so this free should
only occur when the integer is dead, with no
Not suggesting we actually switch, but there is one strong 'why': You can't
link Haskell code with any library that uses GMP internally internally
without switching to using integer-simple. I've been trying with very
limited success to get good MPFR bindings for Haskell for ~3 years now as a
At some point I'd actually like to explore trying to build a satisfactory
integer-fancy in Haskell, but there's a few technical challenges I'll be
trying to do first before there'll be an engineering story for building a
satisfactory Haskell replacement that is performant enough to justify
