optimusprime 0.0.1.20091114 → 0.0.1.20091117
raw patch · 4 files changed
+4/−4 lines, 4 files
Files
- Optimus/CallGraph.hs +1/−1
- Optimus/Strategy.hs +1/−1
- OptimusPrime.hs +1/−1
- optimusprime.cabal +1/−1
Optimus/CallGraph.hs view
@@ -120,7 +120,7 @@ return $ head (ys ++ [x]) t env f e = return e - selectFuncs n p = nub $ selectFuncs2 n p ++ ["main"]+ selectFuncs n p = nub $ selectFuncs2 n p selectFuncs1 :: Prog -> [Id] selectFuncs1 p = (evalState (traverse "main") Set.empty)
Optimus/Strategy.hs view
@@ -48,7 +48,7 @@ m = t_M $ byFuncName p supercompileMany :: [String] -> Prog -> Prog- supercompileMany fs p = flip onlyReachable (last fs) $ freshProg (finalSimplification simplifyProg . flip onlyReachable (last fs) <=< finalInlining progInline) (foldl (flip supercompileFunc) p fs)+ supercompileMany fs p = flip onlyReachable "main" $ freshProg (finalSimplification simplifyProg . flip onlyReachable "main" <=< finalInlining progInline) (foldl (flip supercompileFunc) p fs) supercompile :: Prog -> Prog supercompile = flip onlyReachable "main" . freshProg (finalSimplification simplifyProg . flip onlyReachable "main" <=< finalInlining progInline) . supercompileFunc "main"
OptimusPrime.hs view
@@ -16,7 +16,7 @@ , scFile :: [String] } deriving (Show, Data, Typeable) -data SCOption = Normal | Graph | Auto | List+data SCOption = Normal | Graph | Auto | List | Stats deriving (Show, Data, Typeable, Eq) version = "OptimusPrime v0.0.1, (C) Jason Reich <jason@cs.york.ac.uk>"
optimusprime.cabal view
@@ -1,5 +1,5 @@ Name: optimusprime-version: 0.0.1.20091114+version: 0.0.1.20091117 Synopsis: A supercompiler for f-lite License: BSD3 License-file: LICENSE