diff options
| author | johnvg | 2002-07-17 13:09:06 +0000 |
|---|---|---|
| committer | johnvg | 2002-07-17 13:09:06 +0000 |
| commit | f4c208c50de67305d7929ce1f5b0588e37a5bd9b (patch) | |
| tree | c136dae2f5938558156416317f8df990656d2930 /frontend/comparedefimp.icl | |
| parent | add abstract synonym types (diff) | |
add abstract synonym types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1154 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 2538fb7..06abc56 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -77,6 +77,9 @@ where compare_rhs_of_types (AbstractType _) icl_type dcl_cons_defs icl_cons_defs comp_st = (True, icl_cons_defs, comp_st) + compare_rhs_of_types (AbstractSynType _ dclType) (SynType iclType) dcl_cons_defs icl_cons_defs comp_st + # (ok, comp_st) = compare dclType iclType comp_st + = (ok, icl_cons_defs, comp_st) compare_rhs_of_types dcl_type icl_type dcl_cons_defs icl_cons_defs comp_st = (False, icl_cons_defs, comp_st) @@ -851,6 +854,9 @@ instance t_corresponds TypeRhs where = t_corresponds dclRecord iclRecord t_corresponds (AbstractType _) _ = return True + t_corresponds (AbstractSynType _ dclType) (SynType iclType) + = t_corresponds dclType iclType + // sanity check ... t_corresponds UnknownType _ = undef // <<- "t_corresponds (TypeRhs): dclDef == UnknownType" |