Commit bbb3de2e authored by Vincent Zweije's avatar Vincent Zweije
Browse files

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

which included commits to RCS files with non-trunk default branches.
parent 93d8c15a
......@@ -68,7 +68,7 @@ Deprecated type
> (bool,([bool],[rule * **],[rgraph * **]))
*/
:: FunBody sym var
:: FuncDef sym var
:== [Rule sym var]
/*
......@@ -94,7 +94,7 @@ fullfold ::
((Rgraph sym var)->(sym,[var]))
sym
(Trace sym var pvar)
-> ([Bool],FunBody sym var,[Rgraph sym var])
-> ([Bool],FuncDef sym var,[Rgraph sym var])
| == sym
& == var
& == pvar
......@@ -119,7 +119,7 @@ recurse ::
((Rgraph sym var)->(sym,[var]))
sym
-> (Trace sym var pvar)
-> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
-> (Bool,([Bool],FuncDef sym var,[Rgraph sym var]))
| == sym
& == var
& == pvar
......@@ -159,7 +159,7 @@ foldtips ::
(sym,[var])
-> ([(var,Graph sym var)],[(var,Graph sym var)])
(Trace sym var pvar)
-> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
-> (Bool,([Bool],FuncDef sym var,[Rgraph sym var]))
| == sym
& == var
& == pvar
......@@ -228,7 +228,7 @@ newextract ::
(Etracer sym var pvar)
((Rgraph sym var)->(sym,[var]))
(Trace sym var pvar)
-> ([Bool],FunBody sym var,[Rgraph sym var])
-> ([Bool],FuncDef 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_function_body :: FunBody sym var // Resulting rewrite rules
, srr_function_def :: FuncDef 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_function_body = rules
, srr_function_def = 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