diff options
| author | martijnv | 2003-02-10 10:04:14 +0000 |
|---|---|---|
| committer | martijnv | 2003-02-10 10:04:14 +0000 |
| commit | 7fa3b49d1200c346af3b5a0ab63f2a45b61a8b90 (patch) | |
| tree | 4c6c31f6ca7d11ed6e0a7b6f2afbb2c9e181071a /frontend/overloading.icl | |
| parent | - bug fix: error for abstract datatypes in dynamic types. (diff) | |
- bug fix: generate an error for abstract datatypes in dynamic types
(predefined abstract types such as Arrays in dynamic types are now
approved).
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1318 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.icl')
| -rw-r--r-- | frontend/overloading.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/overloading.icl b/frontend/overloading.icl index adf866b..668b739 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -540,6 +540,9 @@ where ai_record = record } disallow_abstract_types_in_dynamics type_index=:{glob_module,glob_object} error + | cPredefinedModuleIndex == glob_module + = error + #! ({td_name,td_rhs}) = defs.[glob_module].com_type_defs.[glob_object] = case td_rhs of |