Commit b29550df authored by's avatar

Update docs on view patterns

parent 127d259f
......@@ -818,10 +818,8 @@ let {(x -> y) = e1 ;
(y -> x) = e2 } in x
(We may lift this
restriction in the future; the only cost is that type checking patterns
would get a little more complicated.)
(For some amplification on this design choice see
<ulink url="">Trac #4061</ulink>.)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment