Changes between Version 4 and Version 5 of ViewPatternsAlternative

Timestamp:

08/12/11 06:38:16 (22 months ago)

Author:

simonpj

Comment:

--

ViewPatternsAlternative

@@ -66 +66 @@
    example ((f,_), x | f x == 4) = True
 }}}
+There is no way to ''localise'' how many variables are brought into scope.  For example, consider
+{{{
+  f (x | x>=k, let y = x-k) = rhs
+}}}
+Here, both `x` and `y` are in scope in `rhs`; and there is no way to say "only bind `y` in this pattern".
 
 '''Typing'''