Actually, GHC HEAD should spit out External Core already. Ian just
applied my earlier patch that fixed the parser and pretty-printer.
The bit I'm still working on is fitting the output of the parser into
the typechecker. I don't plan on changing the concrete syntax unless
I find that it's
It is still coming along! :)
I'm frustrated with how slowly I've been progressing with it (even
though I do have good reasons), but I'm not stopping, and I believe
it will be ready for 6.8.
Knowing that you're waiting for it definitely gives me some
motivation to push harder on it. I'm
Well, the work I'm doing on it right now includes modifying it to
work with System FC, which means it won't work with 6.6.
Aaron
On Apr 17, 2007, at 10:54 AM, Neil Mitchell wrote:
Hi
Release plans:
- get external core working again
Can't this happen entirely separate from any GHC
That's a good question. If it's possible, it sounds great, since it
would simplify the code. I'm not familiar enough with Core Lint to
know if it would work, though.
My inclination is to implement External Core using the existing type
checker for now, and if it's possible to either improve
Over the last few days, I've put some more thought into the overall
design of External Core. I looked through some of the GHC code some
more, and I'm leaning toward a preference for using IfaceSyn
throughout the whole External Core processing path.
Simon, feel free to digest this at your
On Feb 7, 2007, at 12:29 AM, Simon Peyton-Jones wrote:
| I am still working on it. Some external events have slowed me down a
| little (research, classes, appendicitis), and it has involved more
| changes to the innards of GHC than anticipated, but it is still
| moving along. If you can wait a
On Oct 28, 2006, at 10:30 AM, Gregory Wright wrote:
One more thing: After adding the symlink, you must do
sudo port clean ghc
to clean up the failed build before trying again.
Macports is not smart enough to do that yet, but if you don't,
you will have all kinds of unpredictable
Hello,
The Portfile has made it to the servers, but installation doesn't
complete successfully for me (on Intel/10.4.8). The first issue is
that something happens to the dynamic library lookup path so the
configure check for a working C compiler fails with a dyld error. I
managed to fix
Hi,
I was just talking yesterday with a group of other students about
using the ExternalCore data type as the starting point for a project
we're starting to work on with the goal of having more practice
implementing various compiler components.
We were also talking about the possibility
Hi Deborah,
The first thing that springs to mind is that the mtl library (which
contains Control.Monad.State, the source of the link errors below)
isn't included in the 20060915 binary distribution, though it should
be easy to check it out and compile it separately. So, the question
is,
Strange. Should it really get to link time before it notices that you
haven't used the necessary --package flags? I would have expected an
error earlier on.
Aaron
On Oct 9, 2006, at 6:03 PM, Deborah Goldsmith wrote:
Thanks, Spencer Janssen already set me straight. It was indeed the
lack
Hello,
I have an Intel Mac laptop which isn't reliably accessible remotely,
but which I'm happy to use to test and (hopefully) help fix GHC
builds. I'm not positive that I'll have tons of available time, but I
suspect I'll have enough to do at least some good.
Right now, I have the
12 matches
Mail list logo