http://www.w3.org/Bugs/Public/show_bug.cgi?id=4272 ------- Comment #3 from simeon@us.ibm.com 2007-02-27 16:54 ------- I think part of the reason for this is that the function signature syntax and the sequence type syntax do not allow to precisely describe the typing behavior. This is why we use inference rules in those cases. I agree could be confusing for a reader, but I'm not sure what to do about it. Would you have any suggestion to improve this? Thanks, - JeromeReceived on Tuesday, 27 February 2007 16:54:17 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:19 GMT