Changes between Version 4 and Version 5 of ViewPatternsAlternative


Ignore:
Timestamp:
Aug 12, 2011 1:38:16 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatternsAlternative

    v4 v5  
    6666   example ((f,_), x | f x == 4) = True
    6767}}}
     68There is no way to ''localise'' how many variables are brought into scope.  For example, consider
     69{{{
     70  f (x | x>=k, let y = x-k) = rhs
     71}}}
     72Here, both `x` and `y` are in scope in `rhs`; and there is no way to say "only bind `y` in this pattern".
    6873
    6974'''Typing'''