diff options
| author | johnvg | 2005-12-12 13:03:33 +0000 |
|---|---|---|
| committer | johnvg | 2005-12-12 13:03:33 +0000 |
| commit | bc197f66a30037272e154d20dfe76a7c6063cd52 (patch) | |
| tree | 5466cdafb775dfe69e010be01aeeb26d2227f78f /frontend | |
| parent | another fix for counting the number of arguments in the thunk lifter, to prevent (diff) | |
prevent crash when the type of an instance contains an undefined
uniqueness variable in an inequality
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1581 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/check.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 053ef21..5545db6 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -2799,6 +2799,8 @@ check_module2 mod_ident mod_modification_time mod_imported_objects mod_imports m No -> (cs_error, type_heaps) Yes specified_symbol_type + | not cs_error.ea_ok + -> (cs_error, type_heaps) # (err_code, type_heaps) = symbolTypesCorrespond specified_symbol_type derived_symbol_type type_heaps | err_code==CEC_Ok |