- From: <bugzilla@jessica.w3.org>
- Date: Tue, 09 Feb 2016 18:38:51 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29414
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
function(*)".
Note that there is now a typo (not sure it was there earlier) in the next
point, item 26:
<quote>
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).
</quote>
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