module Main ( main ) where
IMP_Ubiq(){-uitous-}
-IMPORT_1_3(IO(hGetContents,stdin,stderr,hPutStr,hClose,openFile,IOMode(..)))
+IMPORT_1_3(IO(stderr,hPutStr,hClose,openFile,IOMode(..)))
import HsSyn
import RdrHsSyn ( RdrName )
import TcModule ( typecheckModule )
import Desugar ( deSugar, pprDsWarnings
#if __GLASGOW_HASKELL__ <= 200
- , DsMatchContext, DsWarnFlavour
+ , DsMatchContext
#endif
)
import SimplCore ( core2core )
import CoreToStg ( topCoreBindsToStg )
-import StgSyn ( collectFinalStgBinders )
+import StgSyn ( collectFinalStgBinders, pprStgBindings )
import SimplStg ( stg2stg )
import CodeGen ( codeGen )
#if ! OMIT_NATIVE_CODEGEN
import CoreUnfold ( Unfolding )
import Bag ( emptyBag, isEmptyBag )
import CmdLineOpts
-import ErrUtils ( pprBagOfErrors, ghcExit )
+import ErrUtils ( pprBagOfErrors, ghcExit, doIfSet, dumpIfSet )
import Maybes ( maybeToBool, MaybeErr(..) )
import Specialise ( SpecialiseData(..) )
-import StgSyn ( pprPlainStgBinding, GenStgBinding )
+import StgSyn ( GenStgBinding )
import TcInstUtil ( InstInfo )
import TyCon ( isDataTyCon )
import UniqSupply ( mkSplitUniqSupply )
import PprAbsC ( dumpRealC, writeRealC )
import PprCore ( pprCoreBinding )
-import Outputable ( PprStyle(..), Outputable(..) )
import Pretty
import Id ( GenId ) -- instances
import PprType ( GenType, GenTyVar ) -- instances
import TyVar ( GenTyVar ) -- instances
import Unique ( Unique ) -- instances
+
+import Outputable ( PprStyle(..), Outputable(..), pprDumpStyle, pprErrorsStyle )
+
\end{code}
\begin{code}
main =
_scc_ "main"
- hGetContents stdin >>= \ input_pgm ->
let
cmd_line_info = classifyOpts
in
- doIt cmd_line_info input_pgm
+ doIt cmd_line_info
\end{code}
\begin{code}
-doIt :: ([CoreToDo], [StgToDo]) -> String -> IO ()
+doIt :: ([CoreToDo], [StgToDo]) -> IO ()
-doIt (core_cmds, stg_cmds) input_pgm
- = doDump opt_Verbose "Glasgow Haskell Compiler, version 2.03, for Haskell 1.4" "" >>
+doIt (core_cmds, stg_cmds)
+ = doIfSet opt_Verbose
+ (hPutStr stderr ("Glasgow Haskell Compiler, version " ++
+ show PROJECTVERSION ++
+ ", for Haskell 1.4\n")) >>
-- ******* READER
show_pass "Reader" >>
_scc_ "Reader"
rdModule >>= \ (mod_name, rdr_module) ->
- doDump opt_D_dump_rdr "Reader:"
- (pp_show (ppr pprStyle rdr_module)) >>
+ dumpIfSet opt_D_dump_rdr "Reader"
+ (ppr pprDumpStyle rdr_module) >>
- doDump opt_D_source_stats "\nSource Statistics:"
- (pp_show (ppSourceStats rdr_module)) >>
+ dumpIfSet opt_D_source_stats "Source Statistics"
+ (ppSourceStats rdr_module) >>
-- UniqueSupplies for later use (these are the only lower case uniques)
- _scc_ "spl-rn"
+-- _scc_ "spl-rn"
mkSplitUniqSupply 'r' >>= \ rn_uniqs -> -- renamer
- _scc_ "spl-tc"
+-- _scc_ "spl-tc"
mkSplitUniqSupply 'a' >>= \ tc_uniqs -> -- typechecker
- _scc_ "spl-ds"
+-- _scc_ "spl-ds"
mkSplitUniqSupply 'd' >>= \ ds_uniqs -> -- desugarer
- _scc_ "spl-sm"
+-- _scc_ "spl-sm"
mkSplitUniqSupply 's' >>= \ sm_uniqs -> -- core-to-core simplifier
- _scc_ "spl-c2s"
+-- _scc_ "spl-c2s"
mkSplitUniqSupply 'c' >>= \ c2s_uniqs -> -- core-to-stg
- _scc_ "spl-st"
+-- _scc_ "spl-st"
mkSplitUniqSupply 'g' >>= \ st_uniqs -> -- stg-to-stg passes
- _scc_ "spl-absc"
+-- _scc_ "spl-absc"
mkSplitUniqSupply 'f' >>= \ fl_uniqs -> -- absC flattener
- _scc_ "spl-ncg"
+-- _scc_ "spl-ncg"
mkSplitUniqSupply 'n' >>= \ ncg_uniqs -> -- native-code generator
-- ******* RENAMER
show_pass "Renamer" >>
_scc_ "Renamer"
- renameModule rn_uniqs rdr_module >>=
- \ (maybe_rn_stuff, rn_errs_bag, rn_warns_bag) ->
-
- checkErrors rn_errs_bag rn_warns_bag >>
+ renameModule rn_uniqs rdr_module >>=
+ \ maybe_rn_stuff ->
case maybe_rn_stuff of {
Nothing -> -- Hurrah! Renamer reckons that there's no need to
-- go any further
- hPutStr stderr "No recompilation required!\n" >>
- ghcExit 0 ;
-
- -- Oh well, we've got to recompile for real
+ return ();
+
Just (rn_mod, iface_file_stuff, rn_name_supply, imported_modules) ->
+ -- Oh well, we've got to recompile for real
-
- doDump opt_D_dump_rn "Renamer:"
- (pp_show (ppr pprStyle rn_mod)) >>
-
-- Safely past renaming: we can start the interface file:
-- (the iface file is produced incrementally, as we have
-- the information that we need...; we use "iface<blah>")
-- ******* TYPECHECKER
- show_pass "TypeCheck" >>
+ show_pass "TypeCheck" >>
_scc_ "TypeCheck"
- case (case (typecheckModule tc_uniqs {-idinfo_fm-} rn_name_supply rn_mod) of
- Succeeded (stuff, warns)
- -> (emptyBag, warns, stuff)
- Failed (errs, warns)
- -> (errs, warns, error "tc_results"))
-
- of { (tc_errs_bag, tc_warns_bag, tc_results) ->
+ typecheckModule tc_uniqs rn_name_supply rn_mod >>= \ maybe_tc_stuff ->
+ case maybe_tc_stuff of {
+ Nothing -> ghcExit 1; -- Type checker failed
- checkErrors tc_errs_bag tc_warns_bag >>
+ Just (all_binds,
+ local_tycons, local_classes, inst_info, pragma_tycon_specs,
+ ddump_deriv) ->
- case tc_results
- of { (typechecked_quint@(recsel_binds, class_binds, inst_binds, val_binds, const_binds),
- local_tycons, local_classes, inst_info, pragma_tycon_specs,
- ddump_deriv) ->
-
- doDump opt_D_dump_tc "Typechecked:"
- (pp_show (vcat [
- ppr pprStyle recsel_binds,
- ppr pprStyle class_binds,
- ppr pprStyle inst_binds,
- ppr pprStyle const_binds,
- ppr pprStyle val_binds])) >>
-
- doDump opt_D_dump_deriv "Derived instances:"
- (pp_show (ddump_deriv pprStyle)) >>
-- ******* DESUGARER
- show_pass "DeSugar " >>
+ show_pass "DeSugar" >>
_scc_ "DeSugar"
- let
- (desugared,ds_warnings)
- = deSugar ds_uniqs mod_name typechecked_quint
- in
- (if isEmptyBag ds_warnings then
- return ()
- else
- hPutStr stderr (pp_show (pprDsWarnings pprErrorsStyle ds_warnings))
- >> hPutStr stderr "\n"
- ) >>
-
- doDump opt_D_dump_ds "Desugared:" (pp_show (vcat
- (map (pprCoreBinding pprStyle) desugared)))
- >>
+ deSugar ds_uniqs mod_name all_binds >>= \ desugared ->
+
- -- ******* CORE-TO-CORE SIMPLIFICATION (NB: I/O op)
+ -- ******* CORE-TO-CORE SIMPLIFICATION
show_pass "Core2Core" >>
_scc_ "Core2Core"
let
local_data_tycons = filter isDataTyCon local_tycons
in
- core2core core_cmds mod_name pprStyle
+ core2core core_cmds mod_name
sm_uniqs local_data_tycons pragma_tycon_specs desugared
>>=
-
\ (simplified,
SpecData _ _ _ gen_data_tycons all_tycon_specs _ _ _) ->
- doDump opt_D_dump_simpl "Simplified:" (pp_show (vcat
- (map (pprCoreBinding pprStyle) simplified)))
- >>
-- ******* STG-TO-STG SIMPLIFICATION
show_pass "Core2Stg" >>
show_pass "Stg2Stg" >>
_scc_ "Stg2Stg"
- stg2stg stg_cmds mod_name pprStyle st_uniqs stg_binds
+ stg2stg stg_cmds mod_name st_uniqs stg_binds
>>=
-
\ (stg_binds2, cost_centre_info) ->
- doDump opt_D_dump_stg "STG syntax:"
- (pp_show (vcat (map (pprPlainStgBinding pprStyle) stg_binds2)))
+ dumpIfSet opt_D_dump_stg "STG syntax:"
+ (pprStgBindings pprDumpStyle stg_binds2)
>>
-- Dump instance decls and type signatures into the interface file
flat_abstractC = flattenAbsC fl_uniqs abstractC
in
- doDump opt_D_dump_absC "Abstract C:"
+ dumpIfSet opt_D_dump_absC "Abstract C"
(dumpRealC abstractC) >>
- doDump opt_D_dump_flatC "Flat Abstract C:"
+ dumpIfSet opt_D_dump_flatC "Flat Abstract C"
(dumpRealC flat_abstractC) >>
+ show_pass "CodeOutput" >>
_scc_ "CodeOutput"
-- You can have C (c_output) or assembly-language (ncg_output),
-- but not both. [Allowing for both gives a space leak on
#endif
in
- doDump opt_D_dump_asm "" ncg_output_d >>
- doOutput opt_ProduceS ncg_output_w >>
+ dumpIfSet opt_D_dump_asm "Asm code" ncg_output_d >>
+ doOutput opt_ProduceS ncg_output_w >>
- doDump opt_D_dump_realC "" c_output_d >>
- doOutput opt_ProduceC c_output_w >>
+ dumpIfSet opt_D_dump_realC "Real C" c_output_d >>
+ doOutput opt_ProduceC c_output_w >>
ghcExit 0
- } } }
+ } }
where
-------------------------------------------------------------
- -- ****** printing styles and column width:
-
-
- -------------------------------------------------------------
-- ****** help functions:
show_pass
io_action handle >>
hClose handle
- doDump switch hdr string
- = if switch
- then hPutStr stderr ("\n\n--" ++ (take 80 $ repeat '=')) >>
- hPutStr stderr ('\n': hdr) >>
- hPutStr stderr ('\n': string) >>
- hPutStr stderr "\n"
- else return ()
-
-
-pprCols = (80 :: Int) -- could make configurable
-
-(pprStyle, pprErrorsStyle)
- | opt_PprStyle_All = (PprShowAll, PprShowAll)
- | opt_PprStyle_Debug = (PprDebug, PprDebug)
- | opt_PprStyle_User = (PprQuote, PprQuote)
- | otherwise = (PprDebug, PprQuote)
-
-pp_show p = show p -- ToDo: use pprCols
-
-checkErrors errs_bag warns_bag
- | not (isEmptyBag errs_bag)
- = hPutStr stderr (pp_show (pprBagOfErrors pprErrorsStyle errs_bag))
- >> hPutStr stderr "\n" >>
- hPutStr stderr (pp_show (pprBagOfErrors pprErrorsStyle warns_bag))
- >> hPutStr stderr "\n" >>
- ghcExit 1
-
- | not (isEmptyBag warns_bag)
- = hPutStr stderr (pp_show (pprBagOfErrors pprErrorsStyle warns_bag)) >>
- hPutStr stderr "\n"
-
- | otherwise = return ()
-
ppSourceStats (HsModule name version exports imports fixities decls src_loc)
= vcat (map pp_val
sig_info (InlineSig _ _) = (0,0,0,1)
sig_info _ = (0,0,0,0)
- import_info (ImportDecl _ qual as spec _)
+ import_info (ImportDecl _ qual _ as spec _)
= add6 (1, qual_info qual, as_info as, 0,0,0) (spec_info spec)
qual_info False = 0
qual_info True = 1
projects / ghc-hetmet.git / blobdiff