diff options
| author | alimarin | 2002-04-11 10:01:50 +0000 |
|---|---|---|
| committer | alimarin | 2002-04-11 10:01:50 +0000 |
| commit | 8a32b21c043f21cf197cdde3a02ead110302b008 (patch) | |
| tree | 3711960083237a1e23b69a705e26d0a1f725d308 /frontend/comparedefimp.icl | |
| parent | - removed strictness annotations (diff) | |
support for generic type context like in
foo :: a a -> Bool | eq{|*|} a
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1073 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index a0ffc60..9acbb72 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -724,6 +724,15 @@ instance t_corresponds TypeContext where = t_corresponds dclDef.tc_class iclDef.tc_class &&& t_corresponds dclDef.tc_types iclDef.tc_types +instance t_corresponds TCClass where + t_corresponds (TCClass class1) (TCClass class2) + = t_corresponds class1 class2 + t_corresponds (TCGeneric {gtc_generic=gen1, gtc_kind=kind1}) (TCGeneric {gtc_generic=gen2, gtc_kind=kind2}) + = t_corresponds gen1 gen2 + &&& equal kind1 kind2 + t_corresponds _ _ + = return False + instance t_corresponds DefinedSymbol where t_corresponds dclDef iclDef = equal dclDef.ds_ident iclDef.ds_ident |