X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fsooner.lit;fp=ghc%2Fdocs%2Fusers_guide%2Fsooner.lit;h=c27202a10f5850f5ceb6fa354c8800433fad2626;hb=d99295c0fc9a1f22b213dfe7d285fbbf3d4e8dd6;hp=c92fafb8dcb6159b11d1c928a3cf811e929f244f;hpb=82b29b5f1524002f77ef464915e242955cc31548;p=ghc-hetmet.git

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