[project @ 2003-06-04 15:47:58 by simonmar]

[ghc-hetmet.git] / ghc / compiler / main / DriverPhases.hs

diff --git a/ghc/compiler/main/DriverPhases.hs b/ghc/compiler/main/DriverPhases.hs
index 6434495..2efe293 100644 (file)
--- a/ghc/compiler/main/DriverPhases.hs
+++ b/ghc/compiler/main/DriverPhases.hs
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
--- $Id: DriverPhases.hs,v 1.16 2002/03/04 17:01:30 simonmar Exp $
+-- $Id: DriverPhases.hs,v 1.25 2003/06/04 15:47:59 simonmar Exp $
 --
 -- GHC Driver
 --
@@ -11,14 +11,16 @@
 
 module DriverPhases (
    Phase(..),
+   happensBefore,
    startPhase,         -- :: String -> Phase
    phaseInputExt,      -- :: Phase -> String
 
    haskellish_file, haskellish_suffix,
    haskellish_src_file, haskellish_src_suffix,
-   hsbootish_file, hsbootish_suffix,
    objish_file, objish_suffix,
-   cish_file, cish_suffix
+   cish_file, cish_suffix,
+   isExtCore_file, extcoreish_suffix,
+   isSourceFile         -- :: FilePath -> Bool
  ) where
 
 import DriverUtil
@@ -39,12 +41,10 @@ import DriverUtil
 -}
 
 data Phase 
-       = MkDependHS    -- haskell dependency generation
-       | Unlit
+       = Unlit
        | Cpp
        | HsPp
        | Hsc
-       | HsBoot
        | Cc
        | HCc           -- Haskellised C (as opposed to vanilla C) compilation
        | Mangle        -- assembly mangling, now done by a separate script.
@@ -58,13 +58,24 @@ data Phase
 #endif
   deriving (Eq, Show)
 
+-- Partial ordering on phases: we want to know which phases will occur before 
+-- which others.  This is used for sanity checking, to ensure that the
+-- pipeline will stop at some point (see DriverPipeline.runPipeline).
+x `happensBefore` y 
+       | x `elem` haskell_pipe = y `elem` tail (dropWhile (/= x) haskell_pipe)
+       | x `elem` c_pipe       = y `elem` tail (dropWhile (/= x) c_pipe)
+       | otherwise = False
+
+haskell_pipe = [Unlit,Cpp,HsPp,Hsc,HCc,Mangle,As,Ln]
+c_pipe       = [Cc,As,Ln]
+
 -- the first compilation phase for a given file is determined
 -- by its suffix.
 startPhase "lhs"   = Unlit
 startPhase "hs"    = Cpp
 startPhase "hscpp" = HsPp
 startPhase "hspp"  = Hsc
-startPhase "hs-boot" = HsBoot
+startPhase "hcr"   = Hsc
 startPhase "hc"    = HCc
 startPhase "c"     = Cc
 startPhase "cpp"   = Cc
@@ -90,18 +101,18 @@ phaseInputExt SplitMangle = "split_s"      -- not really generated
 phaseInputExt As          = "s"
 phaseInputExt SplitAs     = "split_s"   -- not really generated
 phaseInputExt Ln          = "o"
-phaseInputExt MkDependHS  = "dep"
-phaseInputExt HsBoot      = "hs-boot"
 #ifdef ILX
 phaseInputExt Ilx2Il      = "ilx"
 phaseInputExt Ilasm       = "il"
 #endif
 
-haskellish_suffix     = (`elem` [ "hs", "hspp", "hscpp", "lhs", "hc", "raw_s" ])
-haskellish_src_suffix = (`elem` [ "hs", "hspp", "hscpp", "lhs" ])
+haskellish_suffix     = (`elem` [ "hs", "lhs", "hspp", "hscpp", "hcr", "hc", "raw_s" ])
+haskellish_src_suffix = (`elem` [ "hs", "lhs", "hspp", "hscpp", "hcr"])
 cish_suffix           = (`elem` [ "c", "cpp", "C", "cc", "cxx", "s", "S" ])
-hsbootish_suffix      = (`elem` [ "hs-boot" ])
+extcoreish_suffix     = (`elem` [ "hcr" ])
 
+-- Use the appropriate suffix for the system on which 
+-- the GHC-compiled code will run
 #if mingw32_TARGET_OS || cygwin32_TARGET_OS
 objish_suffix     = (`elem` [ "o", "O", "obj", "OBJ" ])
 #else
@@ -111,5 +122,10 @@ objish_suffix     = (`elem` [ "o" ])
 haskellish_file     = haskellish_suffix     . getFileSuffix
 haskellish_src_file = haskellish_src_suffix . getFileSuffix
 cish_file           = cish_suffix           . getFileSuffix
+isExtCore_file      = extcoreish_suffix     . getFileSuffix
 objish_file         = objish_suffix         . getFileSuffix
-hsbootish_file      = hsbootish_suffix      . getFileSuffix
+
+isSourceFile :: FilePath -> Bool
+isSourceFile   f    =
+   haskellish_file f ||
+   cish_file   f