Changes between Version 27 and Version 28 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 5:11:08 PM (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v27 v28  
    161161}}} 
    162162 
    163 Attached in a pdf are the beginnings of some transformation rules to consider. 
     163An 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. 
     164 
     165A problem with this transformation style is that it is sensitive to program transformations that might happen in the compiler. For example consider this code: 
     166 
     167{{{ 
     168   f = let x = EXP in (\y -> head (foo x)) 
     169}}}