Changes between Version 38 and Version 39 of ExplicitCallStack


Ignore:
Timestamp:
Jan 30, 2007 4:09:08 PM (9 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