Commit 14de79fb authored by Simon Marlow's avatar Simon Marlow
Browse files

fix a \rightarrow that should be @->@

parent 15bff260
......@@ -401,7 +401,7 @@ Foreign types are produced according to the following grammar:
%
@@@
ftype -> frtype
| fatype \rightarrow ftype
| fatype @->@ ftype
frtype -> fatype
| @()@
fatype -> qtycon atype_1 \ldots atype_k & (k \geq 0)
......
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