W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2005

[Bug 1964] [FS] technical: 5.14 Variable Declaration: missing type-check

From: <bugzilla@wiggum.w3.org>
Date: Tue, 06 Sep 2005 15:36:36 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1ECfUy-00062s-FU@wiggum.w3.org>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:08 UTC