W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2016

[Bug 29414] [XP30][XP31] The judgement subtype-itemtype(Ai, Bi) is incorrect for function(*)

From: <bugzilla@jessica.w3.org>
Date: Tue, 09 Feb 2016 18:38:51 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29414-523-5qc3LA4Wba@http.www.w3.org/Bugs/Public/>

Abel Braaksma <abel.braaksma@xs4all.nl> changed:

           What    |Removed                     |Added
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |---

--- Comment #6 from Abel Braaksma <abel.braaksma@xs4all.nl> ---
(In reply to Jonathan Robie from comment #5)
> OK, I think I just messed up on the conditional markup the first time, I
> think I have it right now, just checked in the changes.
The text now reads:

   "Bi is function(*), Ai is a FunctionTest."

I think that is correct, this translates to "any function is a subtype of

Note that there is now a typo (not sure it was there earlier) in the next
point, item 26:

where ; N (arity of Bi) equals M (arity of Ai); subtype(Ar, Br); and for values
of I between 1 and N, subtype(Ba_I, Aa_I). 

there's a rogue ";" semi-colon. Briefly reopening the bug to get that under
attention, for anything else, it is resolved, I think.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 9 February 2016 18:38:55 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:59 UTC