- From: Per Bothner <per@bothner.com>
- Date: Sun, 29 Feb 2004 16:56:26 -0800
- To: public-qt-comments@w3.org
- Cc: mff@research.att.com
4.1.5 Function Calls / Static Type Analysis "statEnv |- expanded-QName(Type1,...,Typen) : Type" This is somewhat unclear, since it's a new notation: expanded-QName(Type1,...,Typen) is neither a valid formal value nor valid syntax. It may be better if you defined this notation by a judgement: statEnv |- expanded-QName(Type1,...,Typen) YIELDS Type" The other rules just define this judgement. Is it worth adding a paragraph: "For user defined fuctions, which cannot be overloaded [or has this changed?], this simplifies to ..." ? -- --Per Bothner per@bothner.com http://per.bothner.com/
Received on Sunday, 29 February 2004 19:56:29 UTC