Changes between Version 29 and Version 30 of ViewPatterns


Ignore:
Timestamp:
Jul 23, 2007 2:29:01 PM (8 years ago)
Author:
simonmar
Comment:

fix length and map examples

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v29 v30  
    237237{{{ 
    238238   length [] = [] 
    239    length (x : length -> xs) = x + xs 
     239   length (_ : length -> xs) = 1 + xs 
    240240    
    241241   map f [] = [] 
    242    map f (x : map f -> xs) = x : xs 
     242   map f (x : map f -> xs) = f x : xs 
    243243    
    244244   foldr f z [] = z