From ac5dc6eeea6e1a1fa472bad7f393f61eefa4c115 Mon Sep 17 00:00:00 2001 From: johnvg Date: Tue, 10 Dec 2002 10:45:23 +0000 Subject: 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 --- frontend/analtypes.icl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontend') 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 -- cgit v1.2.3