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 ++
 1 file changed, 2 insertions(+)

(limited to 'sucl/basic.dcl')

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