Commit dc6e165e authored by Michael Hanus's avatar Michael Hanus
Browse files

tools and libs updated, small bug fix in peval

parent 632a69fe
currytools @ 6f614809
Subproject commit 0394616ac7fd1b2c4468296e72408cdff682b072
Subproject commit 6f61480981f0539f31d5428520c1d9a10dc8fb73
lib-trunk @ 58b6d112
Subproject commit 54b50ac1ba5151ad400287257329042041707f3d
Subproject commit 58b6d11295e97d1c5cd3c09aaca551735bda4fdf
......@@ -8,6 +8,8 @@
{-# OPTIONS_CYMAKE -Wno-incomplete-patterns -Wno-missing-signatures #-}
import Flat
import List
import Flat2Fcy
......@@ -150,7 +152,7 @@ main_aux p [] prog _ =
do putStrLn "There are no calls to start partial evaluation..."
putStrLn("\nWriting original program into \""++pefile++"\"...\n")
writeFCY pefile prog
where pefile = inCurrySubdir (p++"_pe.fcy")
where pefile = inCurrySubdir (p++"_pe") ++ ".fcy"
main_aux p (e:es) annprog prog =
do putStrLn ("Annotated expressions to be partially evaluated:\n")
putStrLn (concatMap (\ex->ppExpr 0 ex ++"\n") (e:es))
......@@ -174,7 +176,7 @@ main_aux p (e:es) annprog prog =
resultants = buildResultants prog exps exps2
postResultants = postUnfolding resultants (concat (map (originalFunc prog exps2) (e:es)))
specFuncs = map resultant2fundecl postResultants
pefile = inCurrySubdir (p++"_pe.fcy")
pefile = inCurrySubdir (p++"_pe") ++ ".fcy"
-- transform a resultant into a function declaration:
resultant2fundecl :: (Expr,Expr) -> FuncDecl
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment