Stopped using utf8-string in AllNonAsciiChars.

+ The IO library shipped with GHC 6.12.1 (base 4.2.0.0) makes the use
  of utf8-string unnecessary (and sometimes incorrect).

Author: nad

AllNonAsciiChars.hs

@@ -1,27 +1,33 @@
 -- | This module extracts all the non-ASCII characters used by the
 -- library code (along with how many times they are used).
 --
--- The implementation relies on the utf8-string and FileManip
--- libraries which are available from Hackage.
+-- The implementation relies on the FileManip library which is
+-- available from Hackage.
 
 module AllNonAsciiChars where
 
 import qualified Data.List as L
 import Data.Char
 import Data.Function
 import Control.Applicative
-import System.IO.UTF8 as U
 import System.FilePath.Find
+import System.IO
+
+readUTF8File :: FilePath -> IO String
+readUTF8File f = do
+  h <- openFile f ReadMode
+  hSetEncoding h utf8
+  hGetContents h
 
 main :: IO ()
 main = do
   agdaFiles <- find always
                     (extension ~~? ".agda" ||? extension ~~? ".lagda")
                     "src"
   nonAsciiChars <-
-    filter (not . isAscii) . concat <$> mapM U.readFile agdaFiles
+    filter (not . isAscii) . concat <$> mapM readUTF8File agdaFiles
   let table = reverse $
               L.sortBy (compare `on` snd) $
               map (\cs -> (head cs, length cs)) $
               L.group $ L.sort $ nonAsciiChars
-  mapM_ (\(c, count) -> U.putStrLn (c : ": " ++ show count)) table
+  mapM_ (\(c, count) -> putStrLn (c : ": " ++ show count)) table