aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordavve <davve@dtek.chalmers.se>2006-10-05 19:49:26 +0000
committerdavve <davve@dtek.chalmers.se>2006-10-05 19:49:26 +0000
commit313f9e69c9981a0200e333b3dc573dc9e681c0ad (patch)
tree84b20186f3ed1b93cb6090a8abeb4418b4cc9861
parentcd21c0c1461390c498c2550ee1b7bcdeaeca8dbb (diff)
Remove unused pretty printing
-rw-r--r--src/Main.hs10
1 files changed, 2 insertions, 8 deletions
diff --git a/src/Main.hs b/src/Main.hs
index 5ce7409f..94ea575b 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -419,13 +419,7 @@ run flags modules extEnv = do
maybe_source_urls maybe_wiki_urls
maybe_contents_url maybe_index_url
copyHtmlBits odir libdir css_file
- where
- pprList [] = []
- pprList [x] = show x
- pprList (x:xs) = show x ++ ", " ++ pprList xs
-
-print_ x = printSDoc (ppr x) defaultUserStyle
-
+{-
instance Outputable (DocEntity Name) where
ppr (DocEntity d) = ppr d
ppr (DeclEntity name) = ppr name
@@ -437,7 +431,7 @@ instance Show a => Show (DocDecl a) where
show (DocCommentNext doc) = "next" ++ show doc
show (DocCommentPrev doc) = "prev" ++ show doc
show _ = "other"
-
+-}
type FullyCheckedMod = (ParsedSource,
RenamedSource,
TypecheckedSource,