diff options
| author | johnvg | 2012-08-14 10:03:06 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-14 10:03:06 +0000 |
| commit | 8f235418ef16fc1341fef9698688c3fdee20b79f (patch) | |
| tree | 74da14decf5a0709f3254af5780a740f823a7c32 /frontend/hashtable.icl | |
| parent | remove VI_Expression pointer values after copying a case alternative in the f... (diff) | |
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
Diffstat (limited to 'frontend/hashtable.icl')
| -rw-r--r-- | frontend/hashtable.icl | 3 |
1 files changed, 3 insertions, 0 deletions
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 |