diff options
| author | johnvg | 2002-12-10 10:45:23 +0000 |
|---|---|---|
| committer | johnvg | 2002-12-10 10:45:23 +0000 |
| commit | ac5dc6eeea6e1a1fa472bad7f393f61eefa4c115 (patch) | |
| tree | 75cb5d2a0e3312388b884a84adaf7e2db4dbed22 | |
| parent | set im_def_module field so that the bit in .comp that (diff) | |
bug fix: pass type_index and mod_index in the right order
to function signClassification
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1299 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/analtypes.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/analtypes.icl b/frontend/analtypes.icl index 1bd074a..23fd2b3 100644 --- a/frontend/analtypes.icl +++ b/frontend/analtypes.icl @@ -703,7 +703,7 @@ where check_possitive_sign mod_index type_index modules td_args type_var_heap type_def_infos error # top_signs = [ TopSignClass \\ _ <- td_args ] - # (signs, type_var_heap, type_def_infos) = signClassification mod_index type_index top_signs modules type_var_heap type_def_infos + # (signs, type_var_heap, type_def_infos) = signClassification type_index mod_index top_signs modules type_var_heap type_def_infos | signs.sc_neg_vect == 0 = (type_var_heap, type_def_infos, error) # error = checkError "signs of abstract type variables should be positive" "" error |