Changes between Version 30 and Version 31 of ViewPatterns


Ignore:
Timestamp:
Jul 23, 2007 2:30:13 PM (7 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