Commit 93d8c15a authored by Vincent Zweije's avatar Vincent Zweije
Browse files

This commit was generated by cvs2svn to compensate for changes in r640,

which included commits to RCS files with non-trunk default branches.
parent 6b90c63e
......@@ -66,7 +66,12 @@ Deprecated type
> * ->
> trace * ** *** ->
> (bool,([bool],[rule * **],[rgraph * **]))
*/
:: FunBody sym var
:== [Rule sym var]
/*
Implementation
--------------
......@@ -89,7 +94,7 @@ fullfold ::
((Rgraph sym var)->(sym,[var]))
sym
(Trace sym var pvar)
-> ([Bool],[Rule sym var],[Rgraph sym var])
-> ([Bool],FunBody sym var,[Rgraph sym var])
| == sym
& == var
& == pvar
......@@ -114,7 +119,7 @@ recurse ::
((Rgraph sym var)->(sym,[var]))
sym
-> (Trace sym var pvar)
-> (Bool,([Bool],[Rule sym var],[Rgraph sym var]))
-> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
| == sym
& == var
& == pvar
......@@ -154,7 +159,7 @@ foldtips ::
(sym,[var])
-> ([(var,Graph sym var)],[(var,Graph sym var)])
(Trace sym var pvar)
-> (Bool,([Bool],[Rule sym var],[Rgraph sym var]))
-> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
| == sym
& == var
& == pvar
......@@ -223,7 +228,7 @@ newextract ::
(Etracer sym var pvar)
((Rgraph sym var)->(sym,[var]))
(Trace sym var pvar)
-> ([Bool],[Rule sym var],[Rgraph sym var])
-> ([Bool],FunBody sym var,[Rgraph sym var])
| == sym
& == var
& == pvar
......
......@@ -153,7 +153,7 @@ these tuples.
, srr_strictness :: [Bool] // Strictness annotations
, srr_typerule :: Rule tsym tvar // Type rule
, srr_trace :: Trace sym var var // Truncated and folded trace
, srr_rules :: [Rule sym var] // Resulting rewrite rules
, srr_function_body :: FunBody sym var // Resulting rewrite rules
, srr_areas :: [Rgraph sym var] // New areas for further symbolic reduction (not necessarily canonical)
}
......@@ -357,7 +357,7 @@ symredarea foldarea cli area
, srr_strictness = stricts
, srr_typerule = trule
, srr_trace = trace
, srr_rules = rules
, srr_function_body = rules
, srr_areas = areas
}
where agraph = rgraphgraph area; aroot = rgraphroot area
......
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