diff options
Diffstat (limited to 'sucl/canon.icl')
| -rw-r--r-- | sucl/canon.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sucl/canon.icl b/sucl/canon.icl index ea491f1..b2d0f98 100644 --- a/sucl/canon.icl +++ b/sucl/canon.icl @@ -75,14 +75,14 @@ canonise arity heap rg splitrg :: (Rgraph sym Int) -> Rgraph sym Int splitrg rgraph = foldsingleton single rgraph rgraph - where single root sym args = mkrgraph root (updategraph root (sym,fst (claim args (localheap--[root]))) emptygraph) + where single root sym args = mkrgraph root (updategraph root (sym,fst ((claim--->"basic.claim begins from canon.splitrg") args (localheap--[root]))) emptygraph) /* > uncurry :: (*->rule **** *****) -> rgraph * num -> rgraph * num > uncurry typerule rgraph > = f (nc root) > where f (True,(sym,args)) -> = mkrgraph root (updategraph root (sym,fst (claim targs (args++localheap--nodelist graph [root]))) graph) +> = mkrgraph root (updategraph root (sym,fst ((claim--->"basic.claim begins from canon.uncurry") targs (args++localheap--nodelist graph [root]))) graph) > where targs = lhs (typerule sym) > f cont = rgraph > nc = nodecontents graph |