Skip to content
Snippets Groups Projects
Commit 4d355aed authored by sof's avatar sof
Browse files

[project @ 1997-05-18 23:17:25 by sof]

2.0x bootable
parent 322ffb93
No related merge requests found
...@@ -14,6 +14,8 @@ ...@@ -14,6 +14,8 @@
> >
> IMP_Ubiq(){-uitous-} > IMP_Ubiq(){-uitous-}
> >
> import Prelude hiding ( lookup )
>
> import StgSyn > import StgSyn
> import Id ( SYN_IE(IdEnv), growIdEnv, addOneToIdEnv, combineIdEnvs, nullIdEnv, > import Id ( SYN_IE(IdEnv), growIdEnv, addOneToIdEnv, combineIdEnvs, nullIdEnv,
> unitIdEnv, mkIdEnv, rngIdEnv, lookupIdEnv, > unitIdEnv, mkIdEnv, rngIdEnv, lookupIdEnv,
......
...@@ -15,7 +15,7 @@ module SpecEnv ( ...@@ -15,7 +15,7 @@ module SpecEnv (
IMP_Ubiq() IMP_Ubiq()
import MatchEnv import MatchEnv
import Type ( matchTys, isTyVarTy ) import Type --( matchTys, isTyVarTy )
import Usage ( SYN_IE(UVar) ) import Usage ( SYN_IE(UVar) )
import OccurAnal ( occurAnalyseGlobalExpr ) import OccurAnal ( occurAnalyseGlobalExpr )
import CoreSyn ( SYN_IE(CoreExpr), SYN_IE(SimplifiableCoreExpr) ) import CoreSyn ( SYN_IE(CoreExpr), SYN_IE(SimplifiableCoreExpr) )
...@@ -27,7 +27,7 @@ import Maybes ( MaybeErr(..) ) ...@@ -27,7 +27,7 @@ import Maybes ( MaybeErr(..) )
--import Pretty--ToDo:rm --import Pretty--ToDo:rm
--import PprCore--ToDo:rm --import PprCore--ToDo:rm
--import Id--ToDo:rm --import Id--ToDo:rm
--import TyVar--ToDo:rm import TyVar --ToDo:rm
--import Unique--ToDo:rm --import Unique--ToDo:rm
--import IdInfo--ToDo:rm --import IdInfo--ToDo:rm
--import PprEnv--ToDo:rm --import PprEnv--ToDo:rm
...@@ -79,7 +79,7 @@ isNullSpecEnv (SpecEnv env) = null (mEnvToList env) ...@@ -79,7 +79,7 @@ isNullSpecEnv (SpecEnv env) = null (mEnvToList env)
addOneToSpecEnv :: SpecEnv -> [Type] -> CoreExpr -> MaybeErr SpecEnv ([Type], SimplifiableCoreExpr) addOneToSpecEnv :: SpecEnv -> [Type] -> CoreExpr -> MaybeErr SpecEnv ([Type], SimplifiableCoreExpr)
addOneToSpecEnv (SpecEnv env) tys rhs addOneToSpecEnv (SpecEnv env) tys rhs
= --pprTrace "addOneToSpecEnv" (ppAbove (ppr PprDebug tys) (ppr PprDebug rhs)) $ = --pprTrace "addOneToSpecEnv" (($$) (ppr PprDebug tys) (ppr PprDebug rhs)) $
case (insertMEnv matchTys env tys (occurAnalyseGlobalExpr rhs)) of case (insertMEnv matchTys env tys (occurAnalyseGlobalExpr rhs)) of
Succeeded menv -> Succeeded (SpecEnv menv) Succeeded menv -> Succeeded (SpecEnv menv)
Failed err -> Failed err Failed err -> Failed err
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment