Make Yi syntax-aware about yi HOT 4 CLOSED

From [email protected] on June 29, 2007 12:36:16
Other references:

• Generalized LR Parsing in Haskell
  wiki.di.uminho.pt/twiki/pub/Research/PURe/PurePublications/PUReTR041101.pdf
• There and back again
  portal.acm.org/citation.cfm?id=1088348.1088357
• Parsek
  http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/code/week3/Parsek.hs

from yi.

From [email protected] on July 25, 2007 18:48:36
I just pushed an incremental parser prototype.

(sketches/IncrementalParser.hs)

Please review/comment :)

from yi.

From [email protected] on July 26, 2007 19:25:41
Looks very interesting. Applicative parsers are probably easier to debug and have
the advantage that they don't require an external language, however I haven't yet
read the paper. I think the most important questions are:

• Can we sufficiently approximate Haskell's grammar?

  One tricky part are operator definitions, but I think we can handle them with a
  pre-pass and when an operator definition changes we just have to invalidate the whole
  file and dependent modules, so that they get re-parsed when required.

• How much overhead is needed to store intermediate results?

  Haskell programs consist primarily of top-level definitions and we store the parse
  tree anyways in memory, we can simply restart parsing at the current top-level
  definition or where/let-definition. That should be pretty low overhead.

Good work! I like the light-weight/K.I.S.S. approach.

from yi.

From [email protected] on April 11, 2008 10:23:39

• syntax-aware highlighting is now supported (see cleverHaskellMode)
• syntax-dependent functions can be added to the Mode and called with "withSyntax"

from yi.