Changes between Version 28 and Version 29 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 5:15:14 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v28 v29  
    168168   f = let x = EXP in (\y -> head (foo x)) 
    169169}}} 
     170 
     171where EXP is some arbitrary expression. Suppose that head is transformed to accept a stack argument, and foo is not. After transformation the code will become: 
     172 
     173{{{ 
     174   f = let x = EXP in (\y -> head ["f"] (foo x)) 
     175}}} 
     176 
     177If we get an excpetion in head, the stack trace will tell us that head was called inside f, and f will be the root of the call stack.