Changes between Version 7 and Version 8 of ViewPatterns


Ignore:
Timestamp:
Jan 24, 2007 5:54:47 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v7 v8  
    7979whole pattern (''expr'' `->` ''pat'') has type ''t1''. 
    8080 
    81 === Nesting ==== 
     81=== Nesting === 
    8282 
    8383View patterns are just an extra syntactic form of pattern, and they nest inside other patterns, and other patterns nest inside them.  So one can write 
    8484{{{ 
    8585  f (sing -> x, True) = ... 
    86   g (Just [sing -> x]) = ... 
    87   h (Just [sing -> Just x]) = ... 
     86  g (Just (sing -> x)) = ... 
     87  h (Just (sing -> Just x)) = ... 
    8888}}} 
    8989And by the same token, view patterns nest inside each other: