Changes between Version 28 and Version 29 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 5:15:14 PM (9 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.