This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
DEv / rule 2 / conclusion DErr / rule 3 / conclusion "dynEnv |- if Expr1 then ..." Add parentheses around Expr1. (leftover from last year, comment #096)
Thank you for your comment. Each of these items has been addressed as you suggested.