Commit b82706e0 authored by John van Groningen's avatar John van Groningen
Browse files

bug fix: pass type_index and mod_index in the right order

to function signClassification
parent 504fe0e6
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment