- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 03 Oct 2006 20:50:34 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1669
jmdyck@ibiblio.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
------- Comment #2 from jmdyck@ibiblio.org 2006-10-03 20:50 -------
Re: DEv / rule (4|5)
While carrying out my suggested changes to these rules, you also moved up the
dynEnv + varValue(Variable => Item1...) |- Expr2 => Value1
premise, which makes it look like it doesn't participate in the ellipsis.
(Currently it looks like only the
statEnv |- Itemi matches Type0
premises participate in the ellipsis.)
I doubt this is what you want, so in each rule, move the "dynEnv ... Value1"
premise back to where it was.
Received on Tuesday, 3 October 2006 20:50:38 UTC