fix a \rightarrow that should be @->@
authorSimon Marlow <marlowsd@gmail.com>
Wed, 17 Nov 2010 10:18:35 +0000 (10:18 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 17 Nov 2010 10:18:35 +0000 (10:18 +0000)
report/ffi.verb

index 613858d..529ef44 100644 (file)
@@ -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)