Changes between Version 30 and Version 31 of ViewPatterns


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