X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FMain.lhs;h=c69184443ba001a2c94618f9dc05398daa25ccbc;hb=6c381e873e222417d9a67aeec77b9555eca7b7a8;hp=d10aae9ef77e6143aae3adf5596f27d1fd162ff2;hpb=68a1f0233996ed79824d11d946e9801473f6946c;p=ghc-hetmet.git diff --git a/ghc/compiler/main/Main.lhs b/ghc/compiler/main/Main.lhs index d10aae9..c691844 100644 --- a/ghc/compiler/main/Main.lhs +++ b/ghc/compiler/main/Main.lhs @@ -1,413 +1,219 @@ % -% (c) The GRASP/AQUA Project, Glasgow University, 1993-1995 +% (c) The GRASP/AQUA Project, Glasgow University, 1993-1996 % \section[GHC_Main]{Main driver for Glasgow Haskell compiler} \begin{code} #include "HsVersions.h" -module Main ( -#ifdef __GLASGOW_HASKELL__ - mainPrimIO -#else - main -#endif - ) where +module Main ( main ) where + +import Ubiq{-uitous-} + +import PreludeGlaST ( thenPrimIO, _FILE{-instances-} ) -- ToDo: STOP using this... import MainMonad +import HsSyn + +import ReadPrefix ( rdModule ) +import Rename ( renameModule ) +import Typecheck ( typecheckModule, InstInfo ) +import Desugar ( deSugar, DsMatchContext, pprDsWarnings ) + +import Bag ( emptyBag, isEmptyBag ) import CmdLineOpts +import ErrUtils ( pprBagOfErrors ) +import Maybes ( MaybeErr(..) ) +import PrelInfo ( builtinNameInfo ) +import RdrHsSyn ( getRawExportees ) -import AbsCSyn -import AbsPrel ( builtinNameInfo ) -import AbsSyn -import AbsUniType ( isDataTyCon, TauType(..), UniType, TyVar, TyCon, Class ) -import Bag ( emptyBag, isEmptyBag, Bag ) -import CE ( CE(..), UniqFM ) -import CodeGen ( codeGen ) -import CoreToStg ( topCoreBindsToStg ) -import Desugar ( deSugar ) -import DsMonad ( DsMatchContext, DsMatchKind, pprDsWarnings ) -import E ( getE_TCE, E, GVE(..) ) - -- most of above needed by mkInterface -#ifndef DPH -import Errors ( pprBagOfErrors, Error(..) ) -#else -import Errors ( pprBagOfErrors, pprPodizedWarning, Error(..) ) -#endif {- Data Parallel Haskell -} -import Id ( mkInstId, Id, Inst ) -import Maybes ( maybeToBool, Maybe(..), MaybeErr(..) ) -import MkIface ( mkInterface ) -import Outputable -import PlainCore ( CoreExpr, CoreBinding, pprPlainCoreBinding, - PlainCoreProgram(..), PlainCoreBinding(..) - ) +import PprCore ( pprPlainCoreBinding ) +import PprStyle ( PprStyle(..) ) import Pretty -#ifdef USE_NEW_READER -import ReadPrefix2 ( rdModule ) -#else -import {-hide from mkdependHS-} - ReadPrefix ( rdModule ) -#endif -import Rename -- renameModule ... -import SimplCore -- core2core -import SimplStg ( stg2stg ) ---ANDY: import SimplHaskell -import StgSyn ( pprPlainStgBinding, StgBinding, StgRhs, CostCentre, - StgBinderInfo, PlainStgProgram(..), PlainStgBinding(..) +import Id ( GenId ) -- instances +import Name ( Name ) -- instances +import ProtoName ( ProtoName ) -- instances +import PprType ( GenType, GenTyVar ) -- instances +import TyVar ( GenTyVar ) -- instances +import Unique ( Unique) -- instances + +{- +--import AbsCSyn +--import CodeGen ( codeGen ) +--import CoreToStg ( topCoreBindsToStg ) +--import MkIface ( mkInterface ) + +--import SimplCore ( core2core ) +--import SimplStg ( stg2stg ) +--import StgSyn ( pprPlainStgBinding, GenStgBinding, GenStgRhs, CostCentre, + StgBinderInfo, StgBinding(..) ) -import TCE ( rngTCE, {- UNUSED: printTypeInfoForPop,-} TCE(..) - IF_ATTACK_PRAGMAS(COMMA eltsUFM) - ) -import Typecheck -- typecheckModule ... -import SplitUniq -import Unique -- lots of UniqueSupplies, etc. -import Util #if ! OMIT_NATIVE_CODEGEN -import AsmCodeGen ( dumpRealAsm -# if __GLASGOW_HASKELL__ - , writeRealAsm -# endif - ) +--import AsmCodeGen ( dumpRealAsm, writeRealAsm ) #endif +-} -#ifdef USE_SEMANTIQUE_STRANAL -import ProgEnv ( ProgEnv(..), TreeProgEnv(..), createProgEnv ) -import StrAnal ( ppShowStrAnal, OAT ) -#endif -#ifdef DPH -import PodizeCore ( podizeCore , PodWarning) -import AbsCTopApal ( nuAbsCToApal ) -import NextUsed ( pprTopNextUsedC, getTopLevelNexts, AbsCNextUsed, - TopAbsCNextUsed(..) , MagicId) - -#endif {- Data Parallel Haskell -} \end{code} \begin{code} -#ifndef __GLASGOW_HASKELL__ -main :: Dialogue - -main = mainIOtoDialogue main_io - -main_io :: MainIO () -main_io -#else -mainPrimIO -#endif - = BSCC("mainIO") - BSCC("rdInput") readMn stdin ESCC `thenMn` \ input_pgm -> - getArgsMn `thenMn` \ raw_cmd_line -> - classifyOpts raw_cmd_line `thenMn` \ cmd_line_info -> - BSCC("doPasses") +main + = readMn stdin `thenMn` \ input_pgm -> + let + cmd_line_info = classifyOpts + in doIt cmd_line_info input_pgm - ESCC ESCC \end{code} \begin{code} -doIt :: CmdLineInfo -> String -> MainIO () -#ifndef DPH -doIt (switch_lookup_fn, core_cmds, stg_cmds) input_pgm -#else -doIt (switch_lookup_fn, core_cmds, podize_cmds, pcore_cmds, stg_cmds) input_pgm -#endif {- Data Parallel Haskell -} - -- - -- Help functions and boring global variables (e.g., printing style) - -- are figured out first; the "business end" follows, in the - -- body of the let. - -- - = let - -- ****** help functions: - - switch_is_on switch = switchIsOn switch_lookup_fn switch - - string_switch_is_on switch - = maybeToBool (stringSwitchSet switch_lookup_fn switch) - - show_pass - = if switch_is_on D_show_passes - then \ what -> writeMn stderr ("*** "++what++":\n") - else \ what -> returnMn () - - doOutput switch io_action - = BSCC("doOutput") - case (stringSwitchSet switch_lookup_fn switch) of - Nothing -> returnMn () - Just fname -> - fopen fname "a+" `thenMn` \ file -> - if (file == ``NULL'') then - error ("doOutput: failed to open:"++fname) - else - io_action file `thenMn` \ () -> - fclose file `thenMn` \ status -> - if status == 0 - then returnMn () - else error ("doOutput: closed failed: "{-++show status++" "-}++fname) - ESCC - - doDump switch hdr string - = BSCC("doDump") - if (switch_is_on switch) - then writeMn stderr hdr `thenMn_` - writeMn stderr ('\n': string) `thenMn_` - writeMn stderr "\n" - else returnMn () - ESCC - - -- ****** printing styles and column width: - - pprCols = (80 :: Int) -- could make configurable - - (pprStyle, pprErrorsStyle) - = if switch_is_on PprStyle_All then - (PprShowAll, PprShowAll) - else if switch_is_on PprStyle_Debug then - (PprDebug, PprDebug) - else if switch_is_on PprStyle_User then - (PprForUser, PprForUser) - else -- defaults... - (PprDebug, PprForUser) - - pp_show p = ppShow {-WAS:pprCols-}10000{-random-} p - in - -- non-tuple-ish bindings... - - -- ****** possibly fiddle builtin namespaces: - - BIND (BSCC("builtinEnv") - builtinNameInfo switch_is_on {-switch looker-upper-} - ESCC - ) - _TO_ (init_val_lookup_fn, init_tc_lookup_fn) -> - - -- ********************************************** - -- Welcome to the business end of the main module - -- of the Glorious Glasgow Haskell compiler! - -- ********************************************** -#ifndef DPH - doDump Verbose "Glasgow Haskell Compiler, version 0.27" "" `thenMn_` -#else - doDump Verbose "Data Parallel Haskell Compiler, version 0.06 (Glasgow 0.27)" "" - `thenMn_` -#endif {- Data Parallel Haskell -} +doIt :: ([CoreToDo], [StgToDo]) -> String -> MainIO () + +doIt (core_cmds, stg_cmds) input_pgm + = doDump opt_Verbose "Glasgow Haskell Compiler, version 1.3-xx" "" + `thenMn_` -- ******* READER - show_pass "Read" `thenMn_` -#ifdef USE_NEW_READER - BSCC("rdModule") - rdModule - ESCC - `thenMn` \ (mod_name, export_list_fns, absyn_tree) -> - - BIND (\x -> x) _TO_ bar_foo -> - -- so BINDs and BENDs add up... -#else - BIND BSCC("rdModule") - rdModule input_pgm - ESCC - _TO_ (mod_name, export_list_fns, absyn_tree) -> -#endif + show_pass "Reader" `thenMn_` + rdModule `thenMn` + + \ (mod_name, export_list_fns, absyn_tree) -> + let - -- reader things used (much?) later + -- reader things used much later ds_mod_name = mod_name if_mod_name = mod_name co_mod_name = mod_name st_mod_name = mod_name cc_mod_name = mod_name - -- also: export_list_fns in - doDump D_source_stats "\nSource Statistics:" - (pp_show (ppSourceStats absyn_tree)) `thenMn_` + doDump opt_D_dump_rdr "Reader:" + (pp_show (ppr pprStyle absyn_tree)) `thenMn_` - doDump D_dump_rif2hs "Parsed, Haskellised:" - (pp_show (ppr pprStyle absyn_tree)) `thenMn_` + doDump opt_D_source_stats "\nSource Statistics:" + (pp_show (ppSourceStats absyn_tree)) `thenMn_` - -- UniqueSupplies for later use + -- UniqueSupplies for later use (these are the only lower case uniques) getSplitUniqSupplyMn 'r' `thenMn` \ rn_uniqs -> -- renamer getSplitUniqSupplyMn 't' `thenMn` \ tc_uniqs -> -- typechecker getSplitUniqSupplyMn 'd' `thenMn` \ ds_uniqs -> -- desugarer getSplitUniqSupplyMn 's' `thenMn` \ sm_uniqs -> -- core-to-core simplifier - getSplitUniqSupplyMn 'C' `thenMn` \ c2s_uniqs -> -- core-to-stg - getSplitUniqSupplyMn 'T' `thenMn` \ st_uniqs -> -- stg-to-stg passes - getSplitUniqSupplyMn 'F' `thenMn` \ fl_uniqs -> -- absC flattener - getSplitUniqSupplyMn 'P' `thenMn` \ prof_uniqs -> -- profiling tidy-upper - getSplitUniqSupplyMn 'L' `thenMn` \ pre_ncg_uniqs -> -- native-code generator - let - ncg_uniqs = {-mkUniqueSupplyGrimily-} pre_ncg_uniqs - in + getSplitUniqSupplyMn 'c' `thenMn` \ c2s_uniqs -> -- core-to-stg + getSplitUniqSupplyMn 'g' `thenMn` \ st_uniqs -> -- stg-to-stg passes + getSplitUniqSupplyMn 'f' `thenMn` \ fl_uniqs -> -- absC flattener + getSplitUniqSupplyMn 'n' `thenMn` \ ncg_uniqs -> -- native-code generator + -- ******* RENAMER - show_pass "Rename" `thenMn_` - BIND BSCC("Renamer") - renameModule switch_is_on - (init_val_lookup_fn, init_tc_lookup_fn) - absyn_tree - rn_uniqs - ESCC - _TO_ (mod4, import_names, final_name_funs, rn_errs_bag) -> + show_pass "Renamer" `thenMn_` + + case builtinNameInfo + of { (init_val_lookup_fn, init_tc_lookup_fn) -> + + case (renameModule (init_val_lookup_fn, init_tc_lookup_fn) + absyn_tree + rn_uniqs) + of { (mod4, import_names, final_name_funs, rn_errs_bag) -> let - -- renamer things used (much?) later + -- renamer things used much later cc_import_names = import_names in - doDump D_dump_rn4 "Renamer-pass4:" - (pp_show (ppr pprStyle mod4)) `thenMn_` - if (not (isEmptyBag rn_errs_bag)) then - -- Stop right here writeMn stderr (ppShow pprCols (pprBagOfErrors pprErrorsStyle rn_errs_bag)) `thenMn_` writeMn stderr "\n" `thenMn_` exitMn 1 - else -- No renaming errors, carry on with... + else -- No renaming errors ... + + doDump opt_D_dump_rn "Renamer:" + (pp_show (ppr pprStyle mod4)) `thenMn_` -- ******* TYPECHECKER - show_pass "TypeCheck" `thenMn_` - BIND (case BSCC("TypeChecker") - typecheckModule switch_is_on tc_uniqs final_name_funs mod4 - ESCC - of - Succeeded stuff - -> (emptyBag, stuff) - Failed tc_errs_bag - -> (tc_errs_bag, - panic "main: tickled tc_results even though there were errors")) - - _TO_ (tc_errs_bag, tc_results) -> + show_pass "TypeCheck" `thenMn_` + case (case (typecheckModule tc_uniqs final_name_funs mod4) of + Succeeded (stuff, warns) + -> (emptyBag, warns, stuff) + Failed (errs, warns) + -> (errs, warns, error "tc_results")) + + of { (tc_errs_bag, tc_warns_bag, tc_results) -> + + (if (isEmptyBag tc_warns_bag) then + returnMn () + else + writeMn stderr (ppShow pprCols (pprBagOfErrors pprErrorsStyle tc_errs_bag)) + `thenMn_` writeMn stderr "\n" + ) `thenMn_` - let - ppr_b :: (Inst, TypecheckedExpr) -> Pretty - ppr_b (i,e) = ppr pprStyle (VarMonoBind (mkInstId i) e) - in if (not (isEmptyBag tc_errs_bag)) then - -- Must stop *before* trying to dump tc output, because - -- if it fails it does not give you any useful stuff back! writeMn stderr (ppShow pprCols (pprBagOfErrors pprErrorsStyle tc_errs_bag)) `thenMn_` writeMn stderr "\n" `thenMn_` exitMn 1 - else ( -- No typechecking errors either -- so, go for broke! + else ( -- No typechecking errors ... - BIND tc_results - _TO_ (typechecked_quad@(class_binds, inst_binds, val_binds, const_binds), + case tc_results + of { (typechecked_quad@(class_binds, inst_binds, val_binds, const_binds), interface_stuff@(_,_,_,_,_), -- @-pat just for strictness... - pragma_tycon_specs, {-UNUSED:big_env,-} this_mod_env, ddump_deriv) -> - let --- big_tce = getE_TCE big_env --- big_elts = rngTCE big_tce - - this_mod_tce = getE_TCE this_mod_env - this_mod_elts = rngTCE this_mod_tce - - local_tycons = [tc | tc <- this_mod_elts, - isLocallyDefined tc, -- from this module only - isDataTyCon tc ] -- algebraic types only - in --- pprTrace "Envs:" (ppAboves [ --- ppr pprStyle if_global_ids, --- ppr pprStyle if_tce, --- ppr pprStyle if_ce, --- ppr pprStyle this_mod_env, --- ppr pprStyle big_env --- ]) ( - - doDump D_dump_tc "Typechecked:" - (pp_show - (ppAboves [ppr pprStyle class_binds, - ppr pprStyle inst_binds, - ppAboves (map ppr_b const_binds), - ppr pprStyle val_binds])) `thenMn_` - - doDump D_dump_deriv "Derived instances:" - (pp_show (ddump_deriv pprStyle)) `thenMn_` - ---NOT REALLY USED: --- doDump D_dump_type_info "" (pp_show (printTypeInfoForPop big_tce)) `thenMn_` + (local_tycons,local_classes), pragma_tycon_specs, ddump_deriv) -> + + doDump opt_D_dump_tc "Typechecked:" + (pp_show (ppAboves [ + ppr pprStyle class_binds, + ppr pprStyle inst_binds, + ppAboves (map (\ (i,e) -> ppr pprStyle (VarMonoBind i e)) const_binds), + ppr pprStyle val_binds])) `thenMn_` + + doDump opt_D_dump_deriv "Derived instances:" + (pp_show (ddump_deriv pprStyle)) `thenMn_` + + -- ******* DESUGARER - show_pass "DeSugar" `thenMn_` + show_pass "DeSugar" `thenMn_` let (desugared,ds_warnings) - = BSCC("DeSugarer") - deSugar ds_uniqs switch_lookup_fn ds_mod_name typechecked_quad - ESCC + = deSugar ds_uniqs ds_mod_name typechecked_quad in (if isEmptyBag ds_warnings then returnMn () else writeMn stderr (ppShow pprCols (pprDsWarnings pprErrorsStyle ds_warnings)) `thenMn_` writeMn stderr "\n" - ) `thenMn_` + ) `thenMn_` + + doDump opt_D_dump_ds "Desugared:" (pp_show (ppAboves + (map (pprPlainCoreBinding pprStyle) desugared))) + `thenMn_` - doDump D_dump_ds "Desugared:" (pp_show (ppAboves - (map (pprPlainCoreBinding pprStyle) desugared))) `thenMn_` +{- LATER ... -- ******* CORE-TO-CORE SIMPLIFICATION (NB: I/O op) core2core core_cmds switch_lookup_fn co_mod_name pprStyle sm_uniqs local_tycons pragma_tycon_specs desugared - `thenMn` \ (simplified, inlinings_env, - SpecData _ _ _ gen_tycons all_tycon_specs _ _ _) -> + `thenMn` - doDump D_dump_simpl "Simplified:" (pp_show (ppAboves - (map (pprPlainCoreBinding pprStyle) simplified))) `thenMn_` + \ (simplified, inlinings_env, + SpecData _ _ _ gen_tycons all_tycon_specs _ _ _) -> --- ANDY: --- doDump D_dump_core_passes_info "(Haskell) Simplified:" --- (coreToHaskell simplified) `thenMn_` - -#ifdef DPH - -- ******* PODIZE (VECTORIZE) THE CORE PROGRAM - let - (warn,podized) = BSCC("PodizeCore") - podizeCore podize_cmds switch_is_on - uniqSupply_p simplified - ESCC - in - (if (not (null warn)) - then writeMn stderr "\n" `thenMn_` - writeMn stderr (ppShow pprCols (ppAboves - (map (\w -> pprPodizedWarning w pprErrorsStyle) warn))) `thenMn_` - writeMn stderr "\n" - else returnMn ()) `thenMn_` - - doDump D_dump_pod "Podization:" (pp_show (ppAboves - (map (pprPlainCoreBinding pprStyle) podized))) `thenMn_` - - -- ******** CORE-TO-CORE SIMPLIFICATION OF PODIZED PROGRAM - let - psimplified = BSCC("PodizeCore2Core") - core2core pcore_cmds switch_is_on pprStyle - uniqSupply_S podized - ESCC - in - doDump D_dump_psimpl "Par Simplified:" (pp_show (ppAboves - (map (pprPlainCoreBinding pprStyle) psimplified))) `thenMn_` - -#endif {- Data Parallel Haskell -} - -#ifdef USE_SEMANTIQUE_STRANAL - -- ******* SEMANTIQUE STRICTNESS ANALYSER - doDump D_dump_stranal_sem "Strictness:" (ppShowStrAnal simplified big_env) `thenMn_` -#endif + doDump opt_D_dump_simpl "Simplified:" (pp_show (ppAboves + (map (pprPlainCoreBinding pprStyle) simplified))) + `thenMn_` -- ******* STG-TO-STG SIMPLIFICATION - show_pass "Core2Stg" `thenMn_` + show_pass "Core2Stg" `thenMn_` let -#ifndef DPH - stg_binds = BSCC("Core2Stg") - topCoreBindsToStg c2s_uniqs simplified - ESCC -#else - stg_binds = BSCC("Core2Stg") - topCoreBindsToStg c2s_uniqs psimplified - ESCC -#endif {- Data Parallel Haskell -} + stg_binds = topCoreBindsToStg c2s_uniqs simplified in - show_pass "Stg2Stg" `thenMn_` + + show_pass "Stg2Stg" `thenMn_` stg2stg stg_cmds switch_lookup_fn st_mod_name pprStyle st_uniqs stg_binds - `thenMn` \ (stg_binds2, cost_centre_info) -> + `thenMn` - doDump D_dump_stg "STG syntax:" (pp_show (ppAboves - (map (pprPlainStgBinding pprStyle) stg_binds2))) `thenMn_` + \ (stg_binds2, cost_centre_info) -> + + doDump opt_D_dump_stg "STG syntax:" + (pp_show (ppAboves (map (pprPlainStgBinding pprStyle) stg_binds2))) + `thenMn_` -- ******* INTERFACE GENERATION (needs STG output) {- let @@ -421,41 +227,36 @@ doIt (switch_lookup_fn, core_cmds, podize_cmds, pcore_cmds, stg_cmds) input_pgm if_inst_info = emptyBag in -} - show_pass "Interface" `thenMn_` + show_pass "Interface" `thenMn_` let mod_interface - = BSCC("MkInterface") - mkInterface switch_is_on if_mod_name export_list_fns + = mkInterface switch_is_on if_mod_name export_list_fns inlinings_env all_tycon_specs interface_stuff stg_binds2 - ESCC in - doOutput ProduceHi BSCC("PrintInterface") - ( \ file -> - ppAppendFile file 1000{-pprCols-} mod_interface ) - ESCC `thenMn_` + doOutput ProduceHi ( \ file -> + ppAppendFile file 1000{-pprCols-} mod_interface ) + `thenMn_` -- ******* "ABSTRACT", THEN "FLAT", THEN *REAL* C! - show_pass "CodeGen" `thenMn_` + show_pass "CodeGen" `thenMn_` let - abstractC = BSCC("CodeGen") - codeGen cc_mod_name -- module name for CC labelling + abstractC = codeGen cc_mod_name -- module name for CC labelling cost_centre_info cc_import_names -- import names for CC registering switch_lookup_fn gen_tycons -- type constructors generated locally all_tycon_specs -- tycon specialisations stg_binds2 - ESCC - flat_abstractC = BSCC("FlattenAbsC") - flattenAbsC fl_uniqs abstractC - ESCC + flat_abstractC = flattenAbsC fl_uniqs abstractC in - doDump D_dump_absC "Abstract C:" (dumpRealC switch_is_on abstractC) `thenMn_` + doDump opt_D_dump_absC "Abstract C:" + (dumpRealC switch_is_on abstractC) `thenMn_` - doDump D_dump_flatC "Flat Abstract C:" (dumpRealC switch_is_on flat_abstractC) `thenMn_` + doDump opt_D_dump_flatC "Flat Abstract C:" + (dumpRealC switch_is_on flat_abstractC) `thenMn_` -- You can have C (c_output) or assembly-language (ncg_output), -- but not both. [Allowing for both gives a space leak on @@ -469,75 +270,93 @@ doIt (switch_lookup_fn, core_cmds, podize_cmds, pcore_cmds, stg_cmds) input_pgm (False, False) -> (AbsCNop, AbsCNop) (True, True) -> error "ERROR: Can't do both .hc and .s at the same time" - c_output_d = BSCC("PrintRealC") - dumpRealC switch_is_on flat_absC_c - ESCC - -#ifdef __GLASGOW_HASKELL__ - c_output_w = BSCC("PrintRealC") - (\ f -> writeRealC switch_is_on f flat_absC_c) - ESCC -#else - c_output_w = c_output_d -#endif + c_output_d = dumpRealC switch_is_on flat_absC_c + c_output_w = (\ f -> writeRealC switch_is_on f flat_absC_c) #if OMIT_NATIVE_CODEGEN - ncg_output_d - = error "*** GHC not built with a native-code generator ***" + ncg_output_d = error "*** GHC not built with a native-code generator ***" ncg_output_w = ncg_output_d #else - ncg_output_d = BSCC("nativeCode") - dumpRealAsm switch_lookup_fn flat_absC_ncg ncg_uniqs - ESCC - -#ifdef __GLASGOW_HASKELL__ - ncg_output_w = BSCC("nativeCode") - (\ f -> writeRealAsm switch_lookup_fn f flat_absC_ncg ncg_uniqs) - ESCC -#else - ncg_output_w = ncg_output_d -#endif + ncg_output_d = dumpRealAsm switch_lookup_fn flat_absC_ncg ncg_uniqs + ncg_output_w = (\ f -> writeRealAsm switch_lookup_fn f flat_absC_ncg ncg_uniqs) #endif in - doDump D_dump_asm "" ncg_output_d `thenMn_` - doOutput ProduceS ncg_output_w `thenMn_` -#ifndef DPH - -- ********* GHC Finished !!!! - doDump D_dump_realC "" c_output_d `thenMn_` - doOutput ProduceC c_output_w `thenMn_` + doDump opt_D_dump_asm "" ncg_output_d `thenMn_` + doOutput ProduceS ncg_output_w `thenMn_` -#else - -- ********* DPH needs native code generator, nearly finished..... - let - next_used_flatC = getTopLevelNexts flat_abstractC [] - apal_module = nuAbsCToApal uniqSupply_L mod_name next_used_flatC - in - doDump D_dump_nextC "Next Used annotated C:" (ppShow pprCols - (pprTopNextUsedC next_used_flatC)) `thenMn_` - doOutput ProduceC ("! /* DAP assembler (APAL): */\n"++apal_module) `thenMn_` + doDump opt_D_dump_realC "" c_output_d `thenMn_` + doOutput ProduceC c_output_w `thenMn_` -#endif {- Data Parallel Haskell -} +LATER -} exitMn 0 - {-)-} BEND ) BEND BEND BEND BEND - - -ppSourceStats (Module name exports imports fixities typedecls typesigs + } ) } } } + where + ------------------------------------------------------------- + -- ****** printing styles and column width: + + pprCols = (80 :: Int) -- could make configurable + + (pprStyle, pprErrorsStyle) + = if opt_PprStyle_All then + (PprShowAll, PprShowAll) + else if opt_PprStyle_Debug then + (PprDebug, PprDebug) + else if opt_PprStyle_User then + (PprForUser, PprForUser) + else -- defaults... + (PprDebug, PprForUser) + + pp_show p = ppShow {-WAS:pprCols-}10000{-random-} p + + ------------------------------------------------------------- + -- ****** help functions: + + show_pass + = if opt_D_show_passes + then \ what -> writeMn stderr ("*** "++what++":\n") + else \ what -> returnMn () + + doOutput switch io_action + = case switch of + Nothing -> returnMn () + Just fname -> + fopen fname "a+" `thenPrimIO` \ file -> + if (file == ``NULL'') then + error ("doOutput: failed to open:"++fname) + else + io_action file `thenMn` \ () -> + fclose file `thenPrimIO` \ status -> + if status == 0 + then returnMn () + else error ("doOutput: closed failed: "{-++show status++" "-}++fname) + + doDump switch hdr string + = if switch + then writeMn stderr hdr `thenMn_` + writeMn stderr ('\n': string) `thenMn_` + writeMn stderr "\n" + else returnMn () + + +ppSourceStats (HsModule name exports imports fixities typedecls typesigs classdecls instdecls instsigs defdecls binds [{-no sigs-}] src_loc) = ppAboves (map pp_val [("ExportAll ", export_all), -- 1 if no export list ("ExportDecls ", export_ds), ("ExportModules ", export_ms), - ("ImportAll ", import_all), - ("ImportPartial ", import_partial), - (" PartialDecls ", partial_decls), - ("ImportHiding ", import_hiding), - (" HidingDecls ", hiding_decls), + ("Imports ", import_no), + (" ImpQual ", import_qual), + (" ImpAs ", import_as), + (" ImpAll ", import_all), + (" ImpPartial ", import_partial), + (" ImpHiding ", import_hiding), ("FixityDecls ", fixity_ds), ("DefaultDecls ", defalut_ds), ("TypeDecls ", type_ds), ("DataDecls ", data_ds), + ("NewTypeDecls ", newt_ds), ("DataConstrs ", data_constrs), ("DataDerivings ", data_derivs), ("ClassDecls ", class_ds), @@ -559,9 +378,10 @@ ppSourceStats (Module name exports imports fixities typedecls typesigs pp_val (str, 0) = ppNil pp_val (str, n) = ppBesides [ppStr str, ppInt n] - (export_decls, export_mods) = getRawIEStrings exports + (export_decls, export_mods) = getRawExportees exports type_decls = filter is_type_decl typedecls data_decls = filter is_data_decl typedecls + newt_decls = filter is_newt_decl typedecls export_ds = length export_decls export_ms = length export_mods @@ -569,26 +389,26 @@ ppSourceStats (Module name exports imports fixities typedecls typesigs fixity_ds = length fixities defalut_ds = length defdecls - type_ds = length type_decls + type_ds = length type_decls data_ds = length data_decls - class_ds = length classdecls + newt_ds = length newt_decls + class_ds = length classdecls inst_ds = length instdecls (val_bind_ds, fn_bind_ds, bind_tys, bind_specs, bind_inlines) = count_binds binds - (import_all, import_partial, partial_decls, import_hiding, hiding_decls) - = foldr add5 (0,0,0,0,0) (map import_info imports) + (import_no, import_qual, import_as, import_all, import_partial, import_hiding) + = foldr add6 (0,0,0,0,0,0) (map import_info imports) (data_constrs, data_derivs) - = foldr add2 (0,0) (map data_info data_decls) + = foldr add2 (0,0) (map data_info (newt_decls ++ data_decls)) (class_method_ds, default_method_ds) - = foldr add2 (0,0) (map class_info classdecls) + = foldr add2 (0,0) (map class_info classdecls) (inst_method_ds, method_specs, method_inlines) = foldr add3 (0,0,0) (map inst_info instdecls) - data_specs = length (filter is_data_spec_sig typesigs) - inst_specs = length (filter is_inst_spec_sig instsigs) - + data_specs = length typesigs + inst_specs = length instsigs count_binds EmptyBinds = (0,0,0,0,0) count_binds (ThenBinds b1 b2) = count_binds b1 `add5` count_binds b2 @@ -612,33 +432,40 @@ ppSourceStats (Module name exports imports fixities typedecls typesigs sig_info (Sig _ _ _ _) = (1,0,0,0) sig_info (ClassOpSig _ _ _ _) = (0,1,0,0) sig_info (SpecSig _ _ _ _) = (0,0,1,0) - sig_info (InlineSig _ _ _) = (0,0,0,1) + sig_info (InlineSig _ _) = (0,0,0,1) sig_info _ = (0,0,0,0) - import_info (ImportAll _ _) = (1,0,0,0,0) - import_info (ImportSome _ ds _) = (0,1,length ds,0,0) - import_info (ImportButHide _ ds _) = (0,0,0,1,length ds) + import_info (ImportMod _ 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 + as_info Nothing = 0 + as_info (Just _) = 1 + spec_info Nothing = (0,0,0,1,0,0) + spec_info (Just (False, _)) = (0,0,0,0,1,0) + spec_info (Just (True, _)) = (0,0,0,0,0,1) data_info (TyData _ _ _ constrs derivs _ _) - = (length constrs, length derivs) + = (length constrs, case derivs of {Nothing -> 0; Just ds -> length ds}) + data_info (TyNew _ _ _ constr derivs _ _) + = (length constr, case derivs of {Nothing -> 0; Just ds -> length ds}) class_info (ClassDecl _ _ _ meth_sigs def_meths _ _) = case count_sigs meth_sigs of (_,classops,_,_) -> (classops, addpr (count_monobinds def_meths)) - inst_info (InstDecl _ _ _ inst_meths _ _ _ inst_sigs _ _) - = case count_sigs inst_sigs of + inst_info (InstDecl _ _ inst_meths _ _ inst_sigs _ _) + = case count_sigs inst_sigs of (_,_,ss,is) -> (addpr (count_monobinds inst_meths), ss, is) - is_type_decl (TySynonym _ _ _ _ _) = True + is_type_decl (TySynonym _ _ _ _) = True is_type_decl _ = False is_data_decl (TyData _ _ _ _ _ _ _) = True is_data_decl _ = False - is_data_spec_sig (SpecDataSig _ _ _) = True - is_data_spec_sig _ = False - is_inst_spec_sig (InstSpecSig _ _ _) = True + is_newt_decl (TyNew _ _ _ _ _ _ _) = True + is_newt_decl _ = False addpr (x,y) = x+y add1 x1 y1 = x1+y1 @@ -646,6 +473,5 @@ ppSourceStats (Module name exports imports fixities typedecls typesigs add3 (x1,x2,x3) (y1,y2,y3) = (x1+y1,x2+y2,x3+y3) add4 (x1,x2,x3,x4) (y1,y2,y3,y4) = (x1+y1,x2+y2,x3+y3,x4+y4) add5 (x1,x2,x3,x4,x5) (y1,y2,y3,y4,y5) = (x1+y1,x2+y2,x3+y3,x4+y4,x5+y5) + add6 (x1,x2,x3,x4,x5,x6) (y1,y2,y3,y4,y5,y6) = (x1+y1,x2+y2,x3+y3,x4+y4,x5+y5,x6+y6) \end{code} - -