the "unknown" types are no longer required

diff --git a/GHC/Base.lhs b/GHC/Base.lhs
index c590366..baf2694 100644 (file)
--- a/GHC/Base.lhs
+++ b/GHC/Base.lhs
@@ -730,12 +730,6 @@ breakpoint r = r
 breakpointCond :: Bool -> a -> a
 breakpointCond _ r = r
 
-data Unknown 
-data Unknown1 a
-data Unknown2 a b
-data Unknown3 a b c
-data Unknown4 a b c d
-
 data Opaque = forall a. O a
 
 -- | Constant function.

diff --git a/GHC/Exts.hs b/GHC/Exts.hs
index d4e3856..be3fe53 100644 (file)
--- a/GHC/Exts.hs
+++ b/GHC/Exts.hs
@@ -29,7 +29,7 @@ module GHC.Exts
        IsString(..),
 
        -- * Debugging
-       breakpoint, breakpointCond, Unknown, Unknown2, Unknown3, Unknown4,
+       breakpoint, breakpointCond,
 
        -- * Ids with special behaviour
        lazy, inline,

diff --git a/GHC/Show.lhs b/GHC/Show.lhs
index 85d4c7d..15e5913 100644 (file)
--- a/GHC/Show.lhs
+++ b/GHC/Show.lhs
@@ -412,32 +412,3 @@ itos n# cs
         | otherwise = case chr# (ord# '0'# +# (n# `remInt#` 10#)) of { c# ->
                      itos' (n# `quotInt#` 10#) (C# c# : cs) }
 \end{code}
-
-%*********************************************************
-%*                                                     *
-\subsection{Other instances}
-%*                                                     *
-%*********************************************************
-
-\begin{code}
-instance Show Unknown where
- show _ = "This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type"
- showList _ = ("This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type" ++)
-
-instance Show (Unknown1 a) where
- show _ = "This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type"
- showList _ = ("This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type" ++)
-
-instance Show (Unknown2 a b) where
- show _ = "This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type"
- showList _ = ("This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type" ++)
-
-instance Show (Unknown3 a b c) where
- show _ = "This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type"
- showList _ = ("This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type" ++)
-
-instance Show (Unknown4 a b c d) where
- show _ = "This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type"
- showList _ = ("This is an untyped, unevaluated computation. You can use seq to force its evaluation and then :print to recover its type" ++)
-
-\end{code}
\ No newline at end of file