Changes between Version 39 and Version 40 of ExplicitCallStack


Ignore:
Timestamp:
Jan 30, 2007 4:10:07 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v39 v40  
    101101        => print ((f 10) []) 
    102102        => print ((case fac 10 < 10 of { True -> \_ -> 3; False -> hd }) []) 
    103         => .. some reductions of fac, and then select the Fasle branch of the case ... 
     103        => .. some reductions of fac, and then select the False branch of the case ... 
    104104        => print (hd []) 
    105105        => print (error "hd: empty list")