From 5ed289050bba7924972700181478cb22e9d69c70 Mon Sep 17 00:00:00 2001 From: alimarin Date: Mon, 25 Mar 2002 15:04:33 +0000 Subject: new implementation of generics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/hashtable.icl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'frontend/hashtable.icl') diff --git a/frontend/hashtable.icl b/frontend/hashtable.icl index a63393b..3abe810 100644 --- a/frontend/hashtable.icl +++ b/frontend/hashtable.icl @@ -20,6 +20,8 @@ import predef, syntax, StdCompare, compare_constructor | IC_Field !Ident | IC_Selector | IC_Instance ![Type] + | IC_Generic + | IC_GenericCase !Type | IC_Unknown :: BoxedIdent = {boxed_ident::!Ident} @@ -46,6 +48,8 @@ where = Smaller compare_types _ [] = Greater + (=<) (IC_GenericCase type1) (IC_GenericCase type2) + = type1 =< type2 (=<) (IC_Field typ_id1) (IC_Field typ_id2) = typ_id1 =< typ_id2 (=<) ic1 ic2 -- cgit v1.2.3