https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504 --- Comment #11 from Tim Mills <tim@cbcl.co.uk> --- > Although the only place we use subtyping judgements in the standard (namely > for higher-order functions) isn't important enough to justify special > treatment of this case, I can see that an implementation wanting to use the > same judgements for static type checking would want to "get this right", and > it's reasonable to want to use the same rules for both cases. Yes, that the problem I was encountering. -- You are receiving this mail because: You are the QA Contact for the bug.Received on Monday, 15 October 2012 10:19:51 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:40 UTC