From: qrczak Date: Wed, 4 Apr 2001 14:51:05 +0000 (+0000) Subject: [project @ 2001-04-04 14:51:05 by qrczak] X-Git-Tag: Approximately_9120_patches~2200 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=8d54472ec1022cedf40f28730c0891a49fc082fc;p=ghc-hetmet.git [project @ 2001-04-04 14:51:05 by qrczak] Fix escaping of > --- diff --git a/ghc/docs/users_guide/separate_compilation.sgml b/ghc/docs/users_guide/separate_compilation.sgml index 008e942..1433a3e 100644 --- a/ghc/docs/users_guide/separate_compilation.sgml +++ b/ghc/docs/users_guide/separate_compilation.sgml @@ -620,7 +620,7 @@ of any type or class mentioned in the head of the instance declaration, then GHC has to visit that interface file anyway. Example: module A where - instance C a = D (T a) where ... + instance C a => D (T a) where ... data T a = ... The instance declaration is only relevant if the type T is in use, and if @@ -630,7 +630,7 @@ so, GHC will have visited A's interface file to find T's definition. and GHC has no other reason for visiting the module. Example: module Orphan where - instance C a = D (T a) where ... + instance C a => D (T a) where ... class C a where ... Here, neither D nor T is declared in module Orphan. @@ -645,7 +645,7 @@ defined thus: An instance declaration in a module M is an orphan instance if orphan instance none of the type constructors - or classes mentioned in the instance head (the part after the ``=>'') are declared + or classes mentioned in the instance head (the part after the ``=>'') are declared in M. Only the instance head counts. In the example above, it is not good enough for C's declaration