Changes between Version 38 and Version 39 of ExplicitCallStack


Ignore:
Timestamp:
Jan 30, 2007 4:09:08 PM (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v38 v39  
    9494}}} 
    9595 
     96Here is a basic term-reduction for the program: 
     97 
     98{{{ 
     99   main => print d 
     100        => print (e []) 
     101        => print ((f 10) []) 
     102        => print ((case fac 10 < 10 of { True -> \_ -> 3; False -> hd }) []) 
     103        => .. some reductions of fac, and then select the Fasle branch of the case ... 
     104        => print (hd []) 
     105        => print (error "hd: empty list") 
     106        => <crash> 
     107}}} 
     108 
    96109== Transformation rules == 
    97110