Changes between Version 37 and Version 38 of ExplicitCallStack


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