Changes between Version 29 and Version 30 of ViewPatterns

Timestamp:

07/23/07 07:29:01 (6 years ago)

Author:

simonmar

Comment:

fix length and map examples

ViewPatterns

@@ -237 +237 @@
 {{{
    length [] = []
-   length (x : length -> xs) = x + xs
+   length (_ : length -> xs) = 1 + xs
    
    map f [] = []
-   map f (x : map f -> xs) = x : xs
+   map f (x : map f -> xs) = f x : xs
    
    foldr f z [] = z