From john_wordsworth@uk.ibm.com Mon Jul 27 17:47:24 1998 Date: Mon, 27 Jul 1998 15:48:46 +0000 From: John Wordsworth To: : ; Subject: ISSUES (Action 45.5.1) [The following text is in the "iso-8859-1" character set] [Your display is set for the "US-ASCII" character set] [Some characters may be displayed incorrectly] Action 45.5.1 required me to update the issues list. Instead I have prepared the following summary of the issues as they appeared at the end of meeting 45. Some of the outstanding issues have probably been implemented, and this list will be updated in due course to reflect this. The meeting reopened a number of issues previously settled. They are noted in the first list. The second list notes the issues reported as rejected or deleted. The following issues are outstanding: 2: Schema anti-hiding should be defined (reopened - was implemented ) 7: Philosophy of Z should be stated (accepted) 13: Function override should be relation override (accepted) 16: Declaration before use should be enforced (reopened, was implemented) 19: Hiding should allow a schema as second operand (accepted) 25: IF-THEN-ELSE notation should be defined (accepted) 29: Low priority AND should be ampersand, not semi (reopened, was superseded) 35: Given sets should be maximal 37: Bags should be in the toolkit (reopened, was rejected) 40: Delta and Xi should be defined (reopened, was rejected) 46: Schema piping to be defined 47: Schemas to be decorated throughout their use (accepted) 48: Identifiers for filtering and composition should not be overloaded (accepted) 49: Unary and binary minus should be different (reopened, was accepted) 50: Singleton schema should be a set extension (accepted) 51: Use .n for projection from a tuple (accepted) 53: Inline comments should be permitted (reopened, was rejected) 54: Allow infix syntax for free types 55: Allow full substitution of expressions for schemas (accepted) 64: Inequality and non-membership should be in the base language 67: Let LET be a variant of mu 69: Put a generalisation of relational image into the base language, and remove r. i. from the toolkit 70: Loosen the toolkit definitions 71: Strings should be sequences of characters, not primitives 72: Context conditions should be addressed 73: Empty set should be an instance of extension At meeting 45 the following issues, which had been outstanding, or implemented, were rejected or deleted: 18: Decoration symbols - users should be allowed to define their own 22: Generic instantiation of generic infix functions is allowed 32: Alphabets and free variables should be included 34 Semantics of paragraphs to be provided 45: Generic instantiation should be done with subscripts 52: Use bindings as substitutions John Wordsworth MP 094, IBM United Kingdom Laboratories, Hursley Park, Winchester, Hants SO21 2JN, UK Tel: 44-(0)1962 815700 Fax: 44-(0)1962 842327 Email: john_wordsworth@uk.ibm.com