http://www.w3.org/Bugs/Public/show_bug.cgi?id=1715 jmdyck@ibiblio.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|FIXED | ------- Comment #3 from jmdyck@ibiblio.org 2006-09-08 02:06 ------- The 2006-06 CR does not have fixes for some of the items, specifically: Notation 3 "The rules below depend on the following auxilliary judgments." But no auxiliary judgments are set out. Notation 3 / rule (2|4) This requires that all functions imported from a module have the same number of arguments (n), which is not what you want. (This comment dates back to April 2004.) Notation 4 / rule 2 It's not clear why dynEnv2 isn't used, or where statEnv2 comes from. (And by the way, premises 1 and 2 are identical.)Received on Friday, 8 September 2006 02:07:05 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:16 GMT