Commit 88fa9f40 authored by Simon Marlow's avatar Simon Marlow
Browse files

fix a double @

parent bc981f79
......@@ -1206,7 +1206,7 @@ and allow one to use "var"
as a name for the value being matched by "pat". For example,\nopagebreak[4]
case e of { xs@@(x:rest) -> if x==0 then rest else xs }
case e of { xs@(x:rest) -> if x==0 then rest else xs }
is equivalent to:
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