On Fri, Sep 5, 2014 at 4:04 PM, Jonathan S. Shapiro <[email protected]> wrote:
> 2. I'm troubled by the move in 5.6 to restrict the grammar to LR(k) > grammars in order to remove ambiguity. > This is resolved; I was mis-reading the notation. I took it to mean that the grammar must be LR(k) when all indentation constraints were erased. That's not what it says at all. It's saying that productions are taken from δ rather than δ'. But δ is the production relation for an IS-CFG, defined in section 4. Productions are drawn from N X ((N ∪ Σ) X I)*. Which is to say: they are annotated with indentation relations. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
