From 094a95bee31b84217329eb0e62778600d1e8711b Mon Sep 17 00:00:00 2001
From: sjakie
Date: Tue, 2 Oct 2001 10:10:33 +0000
Subject: Bug fixes: reference count analysis fixed, Universally quantified
 types used in class members

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/general.dcl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'frontend/general.dcl')

diff --git a/frontend/general.dcl b/frontend/general.dcl
index ac5e052..6ee3b29 100644
--- a/frontend/general.dcl
+++ b/frontend/general.dcl
@@ -20,6 +20,8 @@ instance <<< [a] | <<< a
 
 ::	Optional x = Yes !x | No
 
+::	Choice a b  = Either a | Or b
+
 (--->) infix :: .a !b -> .a | <<< b
 (-?->) infix :: .a !(!Bool, !b) -> .a | <<< b
 
-- 
cgit v1.2.3