We need to revisit these two previously approved test cases because of the change to BLD to allow the same symbol with multiple arities. We could just change them from NegativeSyntax to PositiveSyntax tests (and change the names). http://www.w3.org/2005/rules/wiki/No_polymorphic_symbols http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_non-polymorphic StellaReceived on Thursday, 16 April 2009 18:05:13 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:55 UTC