Hi! Stefan Israelsson Tampe <stefan.ta...@spray.se> writes:
> I got the prolog parser reporting syntax errors for prolog programs. > It's soo nice to have an small analysis and a position where the error > is located. With this I can take on writing more complex prolog programs. An > example that is in the pipe is a FOL (first order logic) > theorem solver, quite fun and a nice testbed to try out the postpone logic. Woow, cool! What are your plans for your Prolog compiler, in terms of releases, merges, and whatnot? :-) > For setting up the error reporting I used a pdf > describing the syntax-parse macro > > http://www.ccs.neu.edu/scheme/pubs/icfp10-cf.pdf Yeah, that seems like an improvement in terms of error detection and error reporting (better than “source expression failed to match any pattern”...). However, I don’t like the aesthetics: keywords, and, worse, type annotations embedded in identifiers. Thanks, Ludo’.
