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 b
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
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 gl
l work with the code emitted by
-fext-core in 6.6. (Aaron Tomb and I (mostly Aaron) have been working
on getting that working again.) I have a parser that works with (IIRC)
GHC 6.0 somewhere, though it would take a little bit of finding. If
that would be useful for you, let me know.
Cheers,
Kirste
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 le
Hi,
On more careful re-reading of the following email, which you sent at
the beginning of December, I think perhaps you meant to say IfaceSyn
where you said HsSyn?
That's what got me going down the path of implementing external core
with HsSyn (and a special type for external core express
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 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 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
ould work with, if anyone could give me any
help with using the files for manipulating Core I would be very
grateful.
External Core isn't currently working correctly in the HEAD. Aaron
Tomb was working on this, I know (as per mailing lists posts on
cvs-ghc from November and December),
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 prob
I'm running version 2.2.1
Aaron
On Oct 28, 2006, at 9:54 AM, Gregory Wright wrote:
Hi Aaron,
On Oct 27, 2006, at 12:42 PM, Aaron Tomb wrote:
Hello,
The Portfile has made it to the servers, but installation doesn't
complete successfully for me (on Intel/10.4.8). The firs
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 t
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 o
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 o
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, w
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 ghc-6.
18 matches
Mail list logo
