diff options
| author | alimarin | 2002-03-25 15:04:33 +0000 |
|---|---|---|
| committer | alimarin | 2002-03-25 15:04:33 +0000 |
| commit | 5ed289050bba7924972700181478cb22e9d69c70 (patch) | |
| tree | 43d0c8ebe33e14ad0d4f637ddae3de94acd7bf07 /frontend/hashtable.icl | |
| parent | fix version number (diff) | |
new implementation of generics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/hashtable.icl')
| -rw-r--r-- | frontend/hashtable.icl | 4 |
1 files changed, 4 insertions, 0 deletions
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 |