From e955c754a99031b88bf4ac0f9c0badf6f64c4695 Mon Sep 17 00:00:00 2001
From: zweije
Date: Fri, 10 Aug 2001 14:33:09 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r601, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@602 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/pfun.dcl | 2 ++
 sucl/pfun.icl | 8 ++++++++
 2 files changed, 10 insertions(+)

(limited to 'sucl')

diff --git a/sucl/pfun.dcl b/sucl/pfun.dcl
index baea62f..022188a 100644
--- a/sucl/pfun.dcl
+++ b/sucl/pfun.dcl
@@ -45,3 +45,5 @@ instance toString Pfun dom ran | toString dom & toString ran
    on the nodes in `dom' for which it is defined.
 */
 idpfun :: !.[dom] .(Pfun dom dom) -> Bool | == dom
+
+instance == (Pfun dom ran) | == dom & == ran
diff --git a/sucl/pfun.icl b/sucl/pfun.icl
index c303b7d..053799f 100644
--- a/sucl/pfun.icl
+++ b/sucl/pfun.icl
@@ -82,3 +82,11 @@ idpfun :: !.[dom] .(Pfun dom dom) -> Bool | == dom
 idpfun domain pfun
 = all idelem domain
   where idelem x = total True (postcomp ((==) x) pfun) x
+
+instance == (Pfun dom ran) | == dom & == ran
+where (==) EmptyPfun EmptyPfun = True
+      (==) (Extend x1 y1 pf1) (Extend x2 y2 pf2)
+            = x1==x2 && y1==y2 && pf1==pf2
+      (==) (Restrict x1 pf1) (Restrict x2 pf2)
+            = x1==x2 && pf1==pf2
+      (==) _ _ = False
-- 
cgit v1.2.3