X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FDriverUtil.hs;h=264be5cee5baa62c64a99a4ba78994768de3e5ed;hb=174e46d5173abe64a5a05e26864d1339f3bcbe61;hp=764be3f3795cd22387dacdd034b4f4565af5806e;hpb=acef71564746becef2c85c310ed57dc8fdd54581;p=ghc-hetmet.git diff --git a/ghc/compiler/main/DriverUtil.hs b/ghc/compiler/main/DriverUtil.hs index 764be3f..264be5c 100644 --- a/ghc/compiler/main/DriverUtil.hs +++ b/ghc/compiler/main/DriverUtil.hs @@ -1,5 +1,5 @@ ----------------------------------------------------------------------------- --- $Id: DriverUtil.hs,v 1.11 2000/11/20 16:28:29 simonmar Exp $ +-- $Id: DriverUtil.hs,v 1.27 2001/08/16 11:06:10 simonmar Exp $ -- -- Utils for the driver -- @@ -9,67 +9,28 @@ module DriverUtil where +#include "../includes/config.h" #include "HsVersions.h" import Util +import Panic +import Config ( cLeadingUnderscore ) import IOExts import Exception import Dynamic import RegexString +import Directory ( getDirectoryContents ) import IO -import System import List import Char import Monad + ----------------------------------------------------------------------------- -- Errors -short_usage = "Usage: For basic information, try the `--help' option." - -GLOBAL_VAR(v_Path_usage, "", String) - -long_usage = do - usage_path <- readIORef v_Path_usage - usage <- readFile usage_path - dump usage - exitWith ExitSuccess - where - dump "" = return () - dump ('$':'$':s) = hPutStr stderr prog_name >> dump s - dump (c:s) = hPutChar stderr c >> dump s - -data BarfKind - = PhaseFailed String ExitCode - | Interrupted - | UsageError String -- prints the short usage msg after the error - | OtherError String -- just prints the error message - deriving Eq - -prog_name = unsafePerformIO (getProgName) -{-# NOINLINE prog_name #-} - -instance Show BarfKind where - showsPrec _ e = showString prog_name . showString ": " . showBarf e - -showBarf (UsageError str) - = showString str . showChar '\n' . showString short_usage -showBarf (OtherError str) - = showString str -showBarf (PhaseFailed phase code) - = showString phase . showString " failed, code = " . shows code -showBarf (Interrupted) - = showString "interrupted" - -unknownFlagErr f = throwDyn (UsageError ("unrecognised flag: " ++ f)) - -barfKindTc = mkTyCon "BarfKind" -{-# NOINLINE barfKindTc #-} -instance Typeable BarfKind where - typeOf _ = mkAppTy barfKindTc [] - ----------------------------------------------------------------------------- -- Reading OPTIONS pragmas @@ -78,7 +39,7 @@ getOptionsFromSource -> IO [String] -- options, if any getOptionsFromSource file = do h <- openFile file ReadMode - catchJust ioErrors (look h) + catchJust ioErrors (look h `finally` hClose h) (\e -> if isEOFError e then return [] else ioError e) where look h = do @@ -88,14 +49,36 @@ getOptionsFromSource file | prefixMatch "#" l -> look h | prefixMatch "{-# LINE" l -> look h -- -} | Just (opts:_) <- matchRegex optionRegex l - -> return (words opts) + -> do rest <- look h + return (words opts ++ rest) | otherwise -> return [] optionRegex = mkRegex "\\{-#[ \t]+OPTIONS[ \t]+(.*)#-\\}" -- -} ----------------------------------------------------------------------------- +-- A version of getDirectoryContents that is non-fatal if the +-- directory doesn't exist. + +softGetDirectoryContents d + = IO.catch (getDirectoryContents d) + (\_ -> do hPutStrLn stderr + ("WARNING: error while reading directory " ++ d) + return [] + ) + +----------------------------------------------------------------------------- +-- Prefixing underscore to linker-level names +prefixUnderscore :: String -> String +prefixUnderscore + | cLeadingUnderscore == "YES" = ('_':) + | otherwise = id + +----------------------------------------------------------------------------- -- Utils +unknownFlagErr :: String -> a +unknownFlagErr f = throwDyn (UsageError ("unrecognised flag: " ++ f)) + my_partition :: (a -> Maybe b) -> [a] -> ([(a,b)],[a]) my_partition _ [] = ([],[]) my_partition p (a:as) @@ -105,8 +88,8 @@ my_partition p (a:as) Just b -> ((a,b):bs,cs) my_prefix_match :: String -> String -> Maybe String -my_prefix_match [] rest = Just rest -my_prefix_match (_:_) [] = Nothing +my_prefix_match [] rest = Just rest +my_prefix_match (_:_) [] = Nothing my_prefix_match (p:pat) (r:rest) | p == r = my_prefix_match pat rest | otherwise = Nothing @@ -116,6 +99,15 @@ later = flip finally handleDyn :: Typeable ex => (ex -> IO a) -> IO a -> IO a handleDyn = flip catchDyn +handle :: (Exception -> IO a) -> IO a -> IO a +#if __GLASGOW_HASKELL__ < 501 +handle = flip Exception.catchAllIO +#else +handle h f = f `Exception.catch` \e -> case e of + ExitException _ -> throw e + _ -> h e +#endif + split :: Char -> String -> [String] split c s = case rest of [] -> [chunk] @@ -132,11 +124,20 @@ addNoDups var x = do xs <- readIORef var unless (x `elem` xs) $ writeIORef var (x:xs) -splitFilename :: String -> (String,String) +------------------------------------------------------ +-- Filename manipulation +------------------------------------------------------ + +type Suffix = String + +splitFilename :: String -> (String,Suffix) splitFilename f = split_longest_prefix f '.' +getFileSuffix :: String -> Suffix +getFileSuffix f = drop_longest_prefix f '.' + -- "foo/bar/xyzzy.ext" -> ("foo/bar", "xyzzy", ".ext") -splitFilename3 :: String -> (String,String,String) +splitFilename3 :: String -> (String,String,Suffix) splitFilename3 str = let (dir, rest) = split_longest_prefix str '/' (name, ext) = splitFilename rest @@ -144,7 +145,7 @@ splitFilename3 str | otherwise = dir in (real_dir, name, ext) -remove_suffix :: Char -> String -> String +remove_suffix :: Char -> String -> Suffix remove_suffix c s | null pre = reverse suf | otherwise = reverse pre @@ -168,7 +169,7 @@ split_longest_prefix s c (_:pre) -> (reverse pre, reverse suf) where (suf,pre) = break (==c) (reverse s) -newsuf :: String -> String -> String +newsuf :: String -> Suffix -> String newsuf suf s = remove_suffix '.' s ++ suf -- getdir strips the filename off the input string, returning the directory. @@ -181,3 +182,5 @@ newdir dir s = dir ++ '/':drop_longest_prefix s '/' remove_spaces :: String -> String remove_spaces = reverse . dropWhile isSpace . reverse . dropWhile isSpace + +