- From: Per Bothner <per@bothner.com>
- Date: Tue, 24 Feb 2004 17:30:21 -0800
- To: public-qt-comments@w3.org
4.1.5 Function Calls / Dynamic Evaluation The first rule contains the premise: dynEnvDefault = ( Variable1 => Value1'; ...; Variablen => Valuen') ] |- Expr => Value I think this is wrong. First, I think the notation is wrong. Shouldn't it be: dynEnvDefault+varValue( Variable1 => Value1'; ...; Variablen => Valuen') ] |- Expr => Value Second, dynEnvDefault is wrong since it doesn't include the prolog declarations, as far as I can understand. Perhaps the Dynamic Context needs a new environment, which is the varValue componet after prolog processing? -- --Per Bothner per@bothner.com http://per.bothner.com/
Received on Tuesday, 24 February 2004 20:30:22 UTC