diff options
| author | alimarin | 2001-03-27 16:54:09 +0000 |
|---|---|---|
| committer | alimarin | 2001-03-27 16:54:09 +0000 |
| commit | 05be0a0e287dc530724c17b297c274611d46136d (patch) | |
| tree | 2c61c6e1a2efc949cd6b5bf929d20e9b0b66795f /frontend/checktypes.icl | |
| parent | unfold all macros and local functions in macros (diff) | |
uniqueness support is added to generics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@345 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 9a6b601..f14273f 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -800,6 +800,10 @@ where = checkTypeContexts st_context mod_index class_defs ots oti cs = check_member_contexts st_context mod_index class_defs ots oti cs +// AA.. generic members do not have a context at the moment of checking + check_member_contexts [] mod_index class_defs ots oti cs + = checkTypeContexts [] mod_index class_defs ots oti cs +// ..AA check_member_contexts [tc : tcs] mod_index class_defs ots oti cs # (tc, (class_defs, ots, oti, cs)) = checkTypeContext mod_index tc (class_defs, ots, oti, cs) cs_symbol_table = removeVariablesFromSymbolTable cGlobalScope [ tv \\ (TV tv) <- tc.tc_types] cs.cs_symbol_table @@ -1408,10 +1412,6 @@ instance toVariable AttributeVar where toVariable (STE_TypeAttribute info_ptr) ident = { av_name = ident, av_info_ptr = info_ptr } -instance == AttributeVar -where - (==) av1 av2 = av1.av_info_ptr == av2.av_info_ptr - instance <<< DynamicType where (<<<) file {dt_global_vars,dt_type} = file <<< dt_global_vars <<< dt_type |