X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSimplPgm.lhs;fp=ghc%2Fcompiler%2FsimplCore%2FSimplPgm.lhs;h=0000000000000000000000000000000000000000;hb=438596897ebbe25a07e1c82085cfbc5bdb00f09e;hp=c04aaac9d382931490286ec235080c7e69104eb9;hpb=967cc47f37cb93a5e2b6df7822c9a646f0428247;p=ghc-hetmet.git

diff --git a/ghc/compiler/simplCore/SimplPgm.lhs b/ghc/compiler/simplCore/SimplPgm.lhs
deleted file mode 100644
index c04aaac..0000000
--- a/ghc/compiler/simplCore/SimplPgm.lhs
+++ /dev/null
@@ -1,105 +0,0 @@
-%
-% (c) The AQUA Project, Glasgow University, 1993-1996
-%
-\section[SimplPgm]{Interface to the simplifier}
-
-\begin{code}
-module SimplPgm ( simplifyPgm ) where
-
-#include "HsVersions.h"
-
-import CmdLineOpts	( opt_D_verbose_core2core, opt_D_dump_simpl_iterations,
-			  switchIsOn, SimplifierSwitch(..), SwitchResult
-			)
-import CoreSyn
-import Id		( mkIdEnv, lookupIdEnv, IdEnv
-			)
-import Maybes		( catMaybes )
-import OccurAnal	( occurAnalyseBinds )
-import PprCore          ( pprCoreBinding ) -- added SOF
-import SimplEnv
-import SimplMonad
-import Simplify		( simplTopBinds )
-import TyVar		( TyVarEnv )
-import UniqSupply	( thenUs, returnUs, mapUs, 
-			  splitUniqSupply, UniqSM,
-			  UniqSupply
-			 )
-import Util		( isIn, isn'tIn, removeDups, trace )
-import Outputable 
-
-\end{code}
-
-\begin{code}
-simplifyPgm :: [CoreBinding]	-- input
-	    -> (SimplifierSwitch->SwitchResult)
-	    -> SimplCount	-- info about how many times
-				-- each transformation has occurred
-	    -> UniqSupply
-	    -> ([CoreBinding],	-- output
-		 Int,		-- info about how much happened
-		 SimplCount)	-- accumulated simpl stats
-
-simplifyPgm binds s_sw_chkr simpl_stats us
-  = --case (splitUniqSupply us)		     of { (s1, s2) ->
-    case (initSmpl us (simpl_pgm 0 1 binds)) of { ((pgm2, it_count, simpl_stats2), _) ->
-    (pgm2, it_count, combineSimplCounts simpl_stats simpl_stats2) }
-  where
-    simpl_switch_is_on  = switchIsOn s_sw_chkr
-
-    max_simpl_iterations = getSimplIntSwitch s_sw_chkr MaxSimplifierIterations
-
-    simpl_pgm :: Int -> Int -> [CoreBinding] -> SmplM ([CoreBinding], Int, SimplCount)
-
-    simpl_pgm n iterations pgm
-      =	-- find out what top-level binders are used,
-	-- and prepare to unfold all the "simple" bindings
-	let
-	    tagged_pgm = _scc_ "OccAnal" occurAnalyseBinds pgm simpl_switch_is_on
-	in
-	      -- do the business
-	simplTopBinds (nullSimplEnv s_sw_chkr) tagged_pgm `thenSmpl` \ new_pgm ->
-
-	      -- Quit if we didn't actually do anything; otherwise,
-	      -- try again (if suitable flags)
-
-	simplCount				`thenSmpl` \ r ->
-	detailedSimplCount			`thenSmpl` \ dr ->
-	let
-	    show_status = pprTrace "Simplifer run: " (vcat [
-		hcat [ptext SLIT("iteration "), 
-			   int iterations, 
-			   ptext SLIT(" out of "), 
-			   int max_simpl_iterations],
-		text (showSimplCount dr),
-		if opt_D_dump_simpl_iterations then
-			vcat (map (pprCoreBinding) new_pgm)
-		else
-			empty
-		])
-	in
-
-	(if opt_D_verbose_core2core
-	 || simpl_switch_is_on  ShowSimplifierProgress
-	 then show_status
-	 else id)
-
-	(let stop_now = r == n {-nothing happened-}
-		     || (if iterations >= max_simpl_iterations then
-			    (if max_simpl_iterations > 1 {-otherwise too boring-} then
-				trace
-				("NOTE: Simplifier still going after " ++ 
-				  show max_simpl_iterations ++ 
-				  " iterations; bailing out.")
-			     else id)
-			    True
-			 else
-			    False)
-	in
-	if stop_now then
-	    returnSmpl (new_pgm, iterations, dr)
-	else
-	    simpl_pgm r (iterations + 1) new_pgm
-	)
-\end{code}
-