From c09349ceb772e1467b7748986860e9c9f2394ee4 Mon Sep 17 00:00:00 2001
From: zweije
Date: Wed, 18 Jul 2001 13:17:56 +0000
Subject: 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
---
 sucl/graph.dcl | 5 +++++
 sucl/graph.icl | 6 ++++++
 2 files changed, 11 insertions(+)

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:
-- 
cgit v1.2.3