From 969a03ba89be04d26c9f3fddc44e4fe8aea5bb28 Mon Sep 17 00:00:00 2001
From: zweije
Date: Tue, 14 Aug 2001 12:06:36 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r628, which included commits to RCS files with non-trunk default branches.

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

(limited to 'sucl')

diff --git a/sucl/basic.dcl b/sucl/basic.dcl
index be3260a..c0d1de8 100644
--- a/sucl/basic.dcl
+++ b/sucl/basic.dcl
@@ -30,6 +30,8 @@ Implementation
 //:: Optional t = Absent | Present t
 //Now using Optional from cocl's general module
 
+instance == (Optional a) | == a
+
 
 // Adjust a function for a single argument
 adjust :: !arg res (arg->res) !arg -> res | == arg
diff --git a/sucl/basic.icl b/sucl/basic.icl
index a508599..425f29f 100644
--- a/sucl/basic.icl
+++ b/sucl/basic.icl
@@ -27,6 +27,11 @@ Implementation
 // Now using Optional type from cocl's general module
 from general import Optional,No,Yes
 
+instance == (Optional a) | == a
+ where (==) No No = True
+       (==) (Yes x1) (Yes x2) = x1==x2
+       (==) _ _ = False
+
 
 // Adjust a function for a single argument
 
-- 
cgit v1.2.3