On Thu, May 01, 2008 at 03:21:11PM +0100, Simon Peyton-Jones wrote:
> Indeed! I think it'd be good to allow type signatures, including
> instance signatures, in export lists
>
> module Foo(
> data T (f :: * -> *),
> instance Functor f => Eq (T f),
> g :: T f -> T f
> )
>
On 1 May 2008, at 13:59, Gregory Wright wrote:
I've patched MacPorts' ghc-6.8.2 to include the -no-user-package-conf
flag. Wouter, could you check if this fixes the problem you had?
I tried a "port selfupdate" and "port clean --all ghc", followed by a
"port install ghc". I ran into the err
Indeed! I think it'd be good to allow type signatures, including instance
signatures, in export lists
module Foo(
data T (f :: * -> *),
instance Functor f => Eq (T f),
g :: T f -> T f
)
The first step is to evolve a well-worked-out design. I think that'd be a very
valu
On Apr 26, 2008, at 4:58 PM, Ian Lynagh wrote:
On Thu, Apr 24, 2008 at 09:25:26AM -0400, Gregory Wright wrote:
I'll see if I can come up with a patch to the build system that
avoids
this.
I think that this was actually done a while ago:
[pass -no-user-package-conf to ghc-inplace
Simon M
G'day all.
Quoting Simon Peyton-Jones <[EMAIL PROTECTED]>:
Interesting thought. I think you're describing a possible extension
to the SpecConstr transformation described in "Call pattern
specialisation for Haskell"
Without reading the paper, that sounds right to me.
Here 'x' is free in