diff options
| author | zweije | 2001-07-18 13:17:56 +0000 |
|---|---|---|
| committer | zweije | 2001-07-18 13:17:56 +0000 |
| commit | c09349ceb772e1467b7748986860e9c9f2394ee4 (patch) | |
| tree | 6503a289d95c01f7cedebbd8af2c4ca675c95eb9 /sucl | |
| parent | assorted scanner/parser bug fixes by Pieter (tested by Ronny) (diff) | |
This commit was generated by cvs2svn to compensate for changes in r551,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@552 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl')
| -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: |