From: simonm <unknown>
Date: Fri, 17 Oct 1997 12:02:29 +0000 (+0000)
Subject: [project @ 1997-10-17 12:02:29 by simonm]
X-Git-Tag: Approx_2487_patches~1362
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d99295c0fc9a1f22b213dfe7d285fbbf3d4e8dd6;p=ghc-hetmet.git

[project @ 1997-10-17 12:02:29 by simonm]
Remove section about -fshow-pragma-name-errs.  This option is
unsupported, and unnecessary, since GHC can always find the
information it needs.
---

diff --git a/ghc/docs/users_guide/sooner.lit b/ghc/docs/users_guide/sooner.lit
index c92fafb..c27202a 100644
--- a/ghc/docs/users_guide/sooner.lit
+++ b/ghc/docs/users_guide/sooner.lit
@@ -362,24 +362,6 @@ If you want to see why candidate unfoldings are rejected, use the
 option.
 
 %----------------------------------------------------------------
-\item[Don't let GHC ignore pragmatic information:]
-
-Sort-of by definition, GHC is allowed to ignore pragmas in interfaces.
-Your program should still work, if not as well.
-
-Normally, GHC {\em will} ignore an unfolding pragma in an interface if
-it cannot figure out all the names mentioned in the unfolding.  (A
-very much hairier implementation could make sure This Never Happens,
-but life is too short to wage constant battle with Haskell's module
-system.)
-
-If you want to prevent such ignorings, give GHC a
-\tr{-fshow-pragma-name-errs}
-option.\index{-fshow-pragma-name-errs option}
-It will then treat any unresolved names in pragmas as {\em
-errors}, rather than inconveniences.
-
-%----------------------------------------------------------------
 \item[Explicit \tr{export} list:]
 If you do not have an explicit export list in a module, GHC must
 assume that everything in that module will be exported.  This has