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
external_core_parser_with_fc.patch
Description: Binary data
_______________________________________________ Cvs-ghc mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-ghc
