From 621b839753a122b5586aa87e51987d90a19478e4 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 26 Apr 2007 13:59:31 +0000 Subject: [PATCH] the "unknown" types are no longer required --- GHC/Base.lhs | 6 ------ GHC/Exts.hs | 2 +- GHC/Show.lhs | 29 ----------------------------- 3 files changed, 1 insertion(+), 36 deletions(-) diff --git a/GHC/Base.lhs b/GHC/Base.lhs index c590366..baf2694 100644 --- 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 --- 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 --- 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 -- 1.7.10.4