thread wired-in names of GHC.HetMet.Private.* through to Coq code

[ghc-hetmet.git] / utils / ghc-cabal / Main.hs

diff --git a/utils/ghc-cabal/Main.hs b/utils/ghc-cabal/Main.hs
index 0581f14..d64c224 100644 (file)
--- a/utils/ghc-cabal/Main.hs
+++ b/utils/ghc-cabal/Main.hs
@@ -28,7 +28,8 @@ import System.Exit
 import System.FilePath
 
 main :: IO ()
-main = do args <- getArgs
+main = do hSetBuffering stdout LineBuffering
+          args <- getArgs
           case args of
               "hscolour" : distDir : dir : args' ->
                   runHsColour distDir dir args'
@@ -393,13 +394,13 @@ generate config_args distdir directory
      escape = foldr (\c xs -> if c == '#' then '\\':'#':xs else c:xs) []
      wrap = mapM wrap1
      wrap1 s
-      | null s        = die "Wrapping empty value"
-      | '\'' `elem` s = die "Single quote in value to be wrapped"
+      | null s        = die ["Wrapping empty value"]
+      | '\'' `elem` s = die ["Single quote in value to be wrapped:", s]
       -- We want to be able to assume things like <space><quote> is the
       -- start of a value, so check there are no spaces in confusing
       -- positions
-      | head s == ' ' = die "Leading space in value to be wrapped"
-      | last s == ' ' = die "Trailing space in value to be wrapped"
+      | head s == ' ' = die ["Leading space in value to be wrapped:", s]
+      | last s == ' ' = die ["Trailing space in value to be wrapped:", s]
       | otherwise     = return ("\'" ++ s ++ "\'")
      boolToYesNo True = "YES"
      boolToYesNo False = "NO"