From 1e8f9d92be20258186661009221e60034fc53f06 Mon Sep 17 00:00:00 2001
From: martinw
Date: Wed, 26 Apr 2000 09:10:34 +0000
Subject: changes to make compiler compatible with itself

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

(limited to 'frontend/typeproperties.dcl')

diff --git a/frontend/typeproperties.dcl b/frontend/typeproperties.dcl
index fc7677a..430aba9 100644
--- a/frontend/typeproperties.dcl
+++ b/frontend/typeproperties.dcl
@@ -17,7 +17,6 @@ EmptyTypeClassification :: TypeClassification
 
 TopSignClass	:== { sc_pos_vect = bitnot 0, sc_neg_vect = bitnot 0 }
 ArrowSignClass	:== { sc_pos_vect = 2, sc_neg_vect = 1 }
-PosSignClass	:== { sc_pos_vect = bitnot 0, sc_neg_vect = 0 }
 
 :: Sign =
 	{	pos_sign :: !Bool
@@ -36,7 +35,9 @@ signClassToSign :: !SignClassification !Int -> Sign
 IsPositive sign_class index :== sign_class.sc_pos_vect bitand (1 << index) <> 0
 IsNegative sign_class index :== sign_class.sc_neg_vect bitand (1 << index) <> 0
 */
+
 instance <<< Sign
+instance * Sign
 
 ::	TypeSign key =
 	{	ts_cons_var_signs	:: !key
-- 
cgit v1.2.3