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