On Thu, Apr 24, 2008 at 3:25 PM, Gregory Wright <[EMAIL PROTECTED]> wrote:
> On Apr 24, 2008, at 6:41 AM, Bjorn Bringert wrote:
> > On Thu, Mar 6, 2008 at 7:57 PM, Wouter Swierstra <[EMAIL PROTECTED]>
> wrote:
> >
> > > Hi Greg,
> > >
> > > Thanks again for maintaining ghc in macports!
> > >
> > >
Hi Björn,
On Apr 24, 2008, at 6:41 AM, Bjorn Bringert wrote:
On Thu, Mar 6, 2008 at 7:57 PM, Wouter Swierstra <[EMAIL PROTECTED]>
wrote:
Hi Greg,
Thanks again for maintaining ghc in macports!
I tried installing ghc through macports. Unfortunately, the build
failed
with the following erro
On Thu, Mar 6, 2008 at 7:57 PM, Wouter Swierstra <[EMAIL PROTECTED]> wrote:
> Hi Greg,
>
> Thanks again for maintaining ghc in macports!
>
> I tried installing ghc through macports. Unfortunately, the build failed
> with the following error message below. I'd be happy to send you a complete
> log
[Redirecting to ghc-users]
You're right that tailList "ought" to work. There are at least two reasons
that it doesn't.
First, GHC does not have a robust implementation of GADTs + functional
dependencies. The interaction is very tricky.
So I tried re-expressing it using type families, thus: