From: simonmar Date: Thu, 31 May 2001 09:28:22 +0000 (+0000) Subject: [project @ 2001-05-31 09:28:22 by simonmar] X-Git-Tag: Approximately_9120_patches~1840 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=309003c9c2c7c480223f01cb5dd97c25a793eec6;p=ghc-hetmet.git [project @ 2001-05-31 09:28:22 by simonmar] markup fixes --- diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml index c3b06ec..390697f 100644 --- a/ghc/docs/users_guide/glasgow_exts.sgml +++ b/ghc/docs/users_guide/glasgow_exts.sgml @@ -600,10 +600,10 @@ qualifier list has just one element, a boolean expression. The Foreign Function Interface language specification - (included in this manual, in ). + (included in this manual, in ). You must use the command-line option to make GHC understand the foreign declarations - defined by the FFI. + defined by the FFI. @@ -2199,10 +2199,10 @@ must be a list of things of some type a; and that y< must have this same type. The type signature on the expression (head xs) specifies that this expression must have the same type a. There is no requirement that the type named by "a" is -in fact a type variable. Indeed, in this case, the type named by "a" is +in fact a type variable. Indeed, in this case, the type named by "a" is Int. (This is a slight liberalisation from the original rather complex rules, which specified that a pattern-bound type variable should be universally quantified.) -For example, all of these are legal: +For example, all of these are legal: t (x::a) (y::a) = x+y*2 @@ -2221,7 +2221,6 @@ For example, all of these are legal: w (x::a) = x -- a unifies with [b] -