Re: [isabelle] Composing BNFs



Hi Dmitriy,

thanks for that.

>     val live_As = [ at {typ 'a}, @{typ 'b}]
>     val dead_As = []

Is there a reason why I need to specify the live variables? Surely the
internal bookkeeping of BNF already knows which variables are live and
which are dead.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.