X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Text%2FRead.hs;h=172a4c2ce3f56b5da92466494b00f54ae8b04105;hb=10de2c656f74562b662c22928be85e1b3ccda796;hp=7d105fb8f054e10b7ac295dab24a7a8c7d43c62e;hpb=f7a485978f04e84b086f1974b88887cc72d832d0;p=ghc-base.git

diff --git a/Text/Read.hs b/Text/Read.hs
index 7d105fb..172a4c2 100644
--- a/Text/Read.hs
+++ b/Text/Read.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -fno-implicit-prelude #-}
+{-# OPTIONS_GHC -XNoImplicitPrelude #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Text.Read
@@ -7,24 +7,64 @@
 -- 
 -- Maintainer  :  libraries@haskell.org
 -- Stability   :  provisional
--- Portability :  portable
+-- Portability :  non-portable (uses Text.ParserCombinators.ReadP)
 --
--- Exiting the program.
+-- Converting strings to values.
+--
+-- The "Text.Read" library is the canonical library to import for
+-- 'Read'-class facilities.  For GHC only, it offers an extended and much
+-- improved 'Read' class, which constitutes a proposed alternative to the 
+-- Haskell 98 'Read'.  In particular, writing parsers is easier, and
+-- the parsers are much more efficient.
 --
 -----------------------------------------------------------------------------
 
 module Text.Read (
-   ReadS, 		-- String -> Maybe (a,String)
-   Read(
-      readsPrec,	-- :: Int -> ReadS a
-      readList		-- :: ReadS [a]
-    ),
-   reads,		-- :: (Read a) => ReadS a
-   read,		-- :: (Read a) => String -> a
-   readParen, 		-- :: Bool -> ReadS a -> ReadS a
-   lex,			-- :: ReadS String
+   -- * The 'Read' class
+   Read(..),            -- The Read class
+   ReadS,               -- String -> Maybe (a,String)
+
+   -- * Haskell 98 functions
+   reads,               -- :: (Read a) => ReadS a
+   read,                -- :: (Read a) => String -> a
+   readParen,           -- :: Bool -> ReadS a -> ReadS a
+   lex,                 -- :: ReadS String
+
+#if defined(__GLASGOW_HASKELL__) || defined(__HUGS__)
+   -- * New parsing functions
+   module Text.ParserCombinators.ReadPrec,
+   L.Lexeme(..),
+   lexP,                -- :: ReadPrec Lexeme
+   parens,              -- :: ReadPrec a -> ReadPrec a
+#endif
+#ifdef __GLASGOW_HASKELL__
+   readListDefault,     -- :: Read a => ReadS [a]
+   readListPrecDefault, -- :: Read a => ReadPrec [a]
+#endif
+
  ) where
 
 #ifdef __GLASGOW_HASKELL__
 import GHC.Read
-#endif   
+#endif
+#if defined(__GLASGOW_HASKELL__) || defined(__HUGS__)
+import Text.ParserCombinators.ReadPrec
+import qualified Text.Read.Lex as L
+#endif
+
+#ifdef __HUGS__
+-- copied from GHC.Read
+
+lexP :: ReadPrec L.Lexeme
+lexP = lift L.lex
+
+parens :: ReadPrec a -> ReadPrec a
+parens p = optional
+ where
+  optional  = p +++ mandatory
+  mandatory = do
+    L.Punc "(" <- lexP
+    x          <- reset optional
+    L.Punc ")" <- lexP
+    return x
+#endif