From 8d54472ec1022cedf40f28730c0891a49fc082fc Mon Sep 17 00:00:00 2001 From: qrczak Date: Wed, 4 Apr 2001 14:51:05 +0000 Subject: [PATCH] [project @ 2001-04-04 14:51:05 by qrczak] Fix escaping of > --- ghc/docs/users_guide/separate_compilation.sgml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 1.7.10.4