From 8f235418ef16fc1341fef9698688c3fdee20b79f Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 14 Aug 2012 10:03:06 +0000
Subject: add extendable algebraic data types (merged from iTask branch)

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

(limited to 'frontend/hashtable.icl')

diff --git a/frontend/hashtable.icl b/frontend/hashtable.icl
index eb011b1..b5e8552 100644
--- a/frontend/hashtable.icl
+++ b/frontend/hashtable.icl
@@ -23,6 +23,7 @@ import predef, syntax, compare_types, compare_constructor
 				| IC_InstanceMember ![Type]
 				| IC_Generic
 				| IC_GenericCase !Type
+				| IC_TypeExtension !{#Char}/*module name*/
 				| IC_Unknown
 
 ::	QualifiedIdents	= QualifiedIdents !Ident !IdentClass !QualifiedIdents
@@ -46,6 +47,8 @@ where
 		= type1 =< type2
 	(=<) (IC_Field typ_id1) (IC_Field typ_id2)
 		= typ_id1 =< typ_id2
+	(=<) (IC_TypeExtension module_name1) (IC_TypeExtension module_name2)
+		= module_name1=<module_name2
 	(=<) ic1 ic2
 		| equal_constructor ic1 ic2
 			= Equal
-- 
cgit v1.2.3