diff options
| author | alimarin | 2002-11-14 16:21:07 +0000 |
|---|---|---|
| committer | alimarin | 2002-11-14 16:21:07 +0000 |
| commit | 9ca00425af7d7097422d0e6c03c35c00d2659acd (patch) | |
| tree | 4b578dddee51fa4ff760efd30102854bb3898230 /frontend | |
| parent | use _SystemStrictLists with _cons..,_decons.. and _nil.. (diff) | |
bug in checking for importing of predefined modules fixed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1281 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/check.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index bffc482..791d665 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -2761,7 +2761,7 @@ check_needed_modules_are_imported mod_name extension cs=:{cs_x={x_needed_modules = case ste_kind of STE_ClosedModule -> cs - STE_Empty + _ # error_location = { ip_ident = mod_name, ip_line = 1, ip_file = mod_name.id_name+++extension} cs_error = pushErrorAdmin error_location cs.cs_error cs_error = checkError pds_ident ("not imported"+++explanation) cs_error |