- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 06 Sep 2005 15:36:36 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1964 ------- Additional Comments From simeon@us.ibm.com 2005-09-06 15:36 ------- Yes! I thought I remember it was the way it was done. That's a good catch. We should have the following two rules: statEnv |- VarRef of var expands to Variable statEnv |- Type = [SequenceType]sequencetype statEnv1 = statEnv + varType( Variable => Type) --------------------------------------------------------------------------- statEnv |- declare variable VarRef as SequenceType external =>stat statEnv2 statEnv |- VarRef of var expands to Variable statEnv |- Type = [SequenceType]sequencetype statEnv |- Expr : Type2 statEnv |- Type2 <: Type statEnv1 = statEnv + varType( Variable => Type) -------------------------------------------------------------------------- statEnv |- declare variable VarRef as SequenceType := Expr =>stat statEnv2 - Jerome
Received on Tuesday, 6 September 2005 15:36:41 UTC