I'm starting to implement what I'm calling “new-rep”. To begin with, we can gloss over the details of exactly how it will be expressed in pacc, but we will need to decide how it will look in the AST. My first test case will be the unary counting grammar, which might look a bit like this: Read More...
With the help of Dale Schumacher, I have cracked left recursion. At least, I have a paper design that I believe I can implement. I think I will attempt to do this before the next release, as really without it pacc is very hard to use for a number of important cases. It should also make it possible to implement arbitrary counted repetitions, such as {2,4}. As a bonus, this should make certain error messages less opaque. Finally, I believe it to be an original piece of work. Read More...
Just had one of those “oh darn” experiences. I expect it'll all work out ok in the end, but it does seem to be a major flaw that has gone previously unnoticed. Read More...
Fantastic! I was nervous about trying to upload the new texinfo-based documentation to the website, fearing first that I'd have to rebuild the yesod app, and secondly that there would be painful stylesheet clashes. Read More...
Sigh. Unix documentation, balkanization. Clearly we have to ship with a man page. It's a very long time since I've written anything in troff. For some recent projects, I've used pod to produce man pages. For one I wrote the documentation in XHTML and wrote a Haskell monadic combinator parser to output -man troff from that (OK, so that was insane). Read More...
Knocking off the last few items on the todo list. One was: Read More...
One of the few blockers left on the todo list is “command line option to enable tracing”. That's clear enough, but to make that work, we really want to define a macro that will switch tracing on or off in pacc.h. And that's fine, except... pacc.c doesn't actually include pacc.h! My argument was that, since both files are automatically created, we don't need the customary consistency check between .c and .h. Read More...
