Changes between Version 7 and Version 8 of ViewPatterns


Ignore:
Timestamp:
Jan 24, 2007 5:54:47 PM (9 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: