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 little while, it should be possible | to use GHC.
I'm delighted to hear it; thank you. Maybe there are others who'd like to join in?
Keep me posted about those "changes to the innards" you mention!
I think I made that sound scarier than it really is. :-) We talked earlier about replacing the Kind in HsTyVarBndr with a new HsKind which is to HsType as Kind is to Type. Making that change has caused ripples throughout the system, which have taken me a while to track down and fix. All of the changes are superficial (often as simple as changing type signatures), but they touch more modules than I had expected. And that means I've had to figure out the workings of a number of modules that are essentially unrelated to External Core. That, along with many distractions, has made it take me a while. I'll get the wiki page updated in the near future with the current status. Aaron