Changes between Version 57 and Version 58 of ExplicitCallStack


Ignore:
Timestamp:
Feb 1, 2007 1:16:13 PM (7 years ago)
Author:
bjpop
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v57 v58  
    318318}}} 
    319319 
     320In the above rules a variable is function bound, if it is defined in the form `x = \y1 .. y n -> E`. In other words it 
     321is a syntactic property of the way the variable is defined, rather than a type property. 
     322 
    320323An 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. 
    321324