diff options
| -rw-r--r-- | sucl/graph.dcl | 5 | ||||
| -rw-r--r-- | sucl/graph.icl | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/sucl/graph.dcl b/sucl/graph.dcl index 39d976a..50cf702 100644 --- a/sucl/graph.dcl +++ b/sucl/graph.dcl @@ -158,6 +158,11 @@ isinstance /* > compilegraph :: [(**,(*,[**]))] -> graph * ** > compilegraph = foldr (uncurry updategraph) emptygraph +*/ + +compilegraph :: ![(var,Node sym var)] -> Graph sym var + +/* ------------------------------------------------------------------------ diff --git a/sucl/graph.icl b/sucl/graph.icl index 9bfa8f6..3d19159 100644 --- a/sucl/graph.icl +++ b/sucl/graph.icl @@ -196,6 +196,12 @@ Uses in Miranda: > compilegraph :: [(**,(*,[**]))] -> graph * ** > compilegraph = foldr (uncurry updategraph) emptygraph +*/ + +compilegraph :: ![(var,Node sym var)] -> Graph sym var +compilegraph nds = foldr (uncurry updategraph) emptygraph nds + +/* `Instance g1 g2' determines whether g2 is an instance of g1. Uses in Miranda: |