An slr parser generator written in gofer (a haskell variant) by Torben AEgidius Mogensen <[email protected]>. Ratatosk generates purely functional backtracking lr0 grammar parsers (also in Gofer). Even though the sematic value of a production is a function of the attributes of its right-hand side (and thus apparently purely synthesised), inherited attributes are easily simulated by using higher-order functions. |