Changes between Version 30 and Version 31 of ViewPatterns

Show
Ignore:
Timestamp:
07/23/07 07:30:13 (6 years ago)
Author:
simonmar
Comment:

fix size example

Legend:

Unmodified
Added
Removed
Modified

  • ViewPatterns

    v30 v31  
    2626{{{ 
    2727   size :: Typ -> Integer 
    28    size t = case t of 
     28   size t = case view t of 
    2929     Unit -> 1 
    3030     Arrow t1 t2 -> size t1 + size t2