darcs patch: Get External Core (-fext-core) working with readline

[Aaron Tomb]

On Nov 7, 2006, at 12:05 PM, Aaron Tomb wrote:

>
>> If you like I can keep a tree on one side, so you can send me  
>> patches that do part of the job and then ask questions.  That way  
>> we can discuss the code without having to commit to the HEAD till  
>> it's working.
>
> That would be quite nice. Among other things, this would allow  
> changing the parser to _recognize_ external core first (and perhaps  
> always generate an empty module), and later extend it to actually  
> have useful semantic actions. I've been doing this in my local copy  
> to cut the task into smaller chunks.
>
> Also, this would let us decide for certain on a concrete syntax  
> before changing the internal representation.

The code in my local repository now seems to emit and parse the same  
language, though it creates an empty abstract syntax tree at the  
moment. I think it might be useful to put what I've done so far in a  
place where other people can look at it and give me some feedback.

I can set up a web-accessible version of my local tree, but I don't  
have anywhere to put it where I could give others write access.  
Alternatively, we could put it somewhere on the official Haskell  
Darcs server. I'm happy with either. In the latter case, there's a  
patch attached to this email.

The major significant change (as opposed to bug fix) in syntax at  
this point is the addition of an infix :=: operator for type  
equality. It might make more sense to use a prefix constructor for  
this, instead, but it's easy enough to parse the infix operator.

Aaron

-------------- next part --------------
A non-text attachment was scrubbed...
Name: external_core_parser_with_fc.patch
Type: application/octet-stream
Size: 21523 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/cvs-ghc/attachments/20061113/dcb2624d/external_core_parser_with_fc-0001.obj