Changes between Version 57 and Version 58 of ExplicitCallStack

Timestamp:

02/01/07 05:16:13 (6 years ago)

Author:

bjpop

Comment:

--

ExplicitCallStack

@@ -318 +318 @@
 }}}
 
+In the above rules a variable is function bound, if it is defined in the form `x = \y1 .. y n -> E`. In other words it
+is a syntactic property of the way the variable is defined, rather than a type property.
+
 An advantage of this transformation style is that it handles combinations of transformed and untransformed functions easily. When variable expressions are transformed we simply check to see if the variable corresponds to a transformed function. If it does, we pass it the current stack value as an argument, otherwise we don't.