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

Rename FunBody to FuncDef

parent caec3b25
......@@ -9,7 +9,7 @@ from rule import Rgraph,Rule
from general import Optional
from StdOverloaded import ==
:: FunBody sym var
:: FuncDef sym var
:== [Rule sym var]
:: Etracer sym var pvar :==
......@@ -23,7 +23,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
......@@ -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
......
......@@ -4,7 +4,7 @@ definition module newtest
from cli import Cli
from coreclean import SuclTypeSymbol,SuclTypeVariable,SuclSymbol,SuclVariable
from newfold import FunBody
from newfold import FuncDef
from trace import Trace,Transformation
from spine import Answer,Spine,Subspine
from history import History,HistoryAssociation,HistoryPattern
......@@ -17,7 +17,7 @@ from general import Optional
, 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)
}
......
......@@ -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
......
Markdown is supported
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