diff options
Diffstat (limited to 'sucl/trd.icl')
| -rw-r--r-- | sucl/trd.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sucl/trd.icl b/sucl/trd.icl index 45861d8..2a7d151 100644 --- a/sucl/trd.icl +++ b/sucl/trd.icl @@ -5,6 +5,7 @@ implementation module trd import rule import graph import basic +from general import ---> import StdEnv /* @@ -133,7 +134,7 @@ buildtype typerule graph node bcont theap tgraph assignment trule = typerule cont trargs = arguments trule; trroot = ruleroot trule; trgraph = rulegraph trule trnodes = varlist trgraph [trroot:trargs] - (tnodes,theap`) = claim trnodes theap + (tnodes,theap`) = (claim--->"basic.claim begins from trd.buildtype") trnodes theap matching = zip2 trnodes tnodes tgraph` = foldr addnode tgraph matching addnode (trnode,tnode) |