[Bug 3841] Static typing of function declarations

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3841





------- Comment #3 from simeon@us.ibm.com  2006-11-02 18:41 -------
I think that is correct, we should add the type promotion in the static typing
rule in 5.15. Something as follows:

statEnv  |-  VarName1 of var expands to Variable1
...
statEnv  |-  VarNamen of var expands to Variablen
statEnv + varType( Variable1 => Type1 ;...; Variablen => Typen )  |-  Expr :
Type
***** statEnv  |-  Type can be promoted to Type
---------------------------------------------------------------------------------
statEnv |-  function declaration declare function QName ($VarName1 as
SequenceType1, ยทยทยท, $VarNamen as SequenceTypen) as SequenceTyper { Expr }
with signature declare function expanded-QName(Type1, ..., Typen) as Typer :
Typer

Where line ***** replaces 
statEnv |-  Type <: Typer

- Jerome

Received on Thursday, 2 November 2006 18:41:33 UTC