Changes between Version 37 and Version 38 of ExplicitCallStack


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v37 v38  
    6666 How would you like to transform this? 
    6767 
     68== An example to consider == 
     69 
     70Suppose we are to transform the following code: 
     71 
     72{{{ 
     73   main = print d 
     74 
     75   d :: Int 
     76   d = e [] 
     77 
     78   e :: [Int] -> Int 
     79   e = f 10 
     80 
     81   f :: Int -> [Int] -> Int 
     82   f = \x -> case fac x < 10 of 
     83                True  -> \_ -> 3 
     84                False -> hd 
     85 
     86   hd = \x -> case x of 
     87                 [] -> error "hd: empty list" 
     88                 (x:_) -> x 
     89 
     90   fac :: Int -> Int 
     91   fac = \n -> case n == 0 of 
     92                  True -> 1 
     93                  False -> n * fac (n - 1) 
     94}}} 
     95 
    6896== Transformation rules == 
    6997