From a533d12ac196de7fc091cae674dd2298bcf39286 Mon Sep 17 00:00:00 2001 From: martinw Date: Fri, 4 May 2001 14:12:03 +0000 Subject: bugfix: compiler crash at definition module spetiul f :: a | == a special a=Int git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@391 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/checktypes.icl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'frontend') diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 301f432..5cee450 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -858,8 +858,8 @@ checkTypeContext mod_index tc=:{tc_class=tc_class=:{glob_object=class_name=:{ds_ tc = { tc & tc_class = { tc_class & glob_object = { class_name & ds_index = class_index }, glob_module = class_module }, tc_types = tc_types} | class_def.class_arity == ds_arity = (tc, (class_defs, ots, oti, cs)) - = (tc, (class_defs, ots, oti, { cs & cs_error = checkError id_name "used with wrong arity" cs.cs_error })) - = (tc, (class_defs, ots, oti, { cs & cs_error = checkError id_name "undefined" cs.cs_error })) + = (tc, (class_defs, ots, oti, { cs & cs_error = checkError id_name "used with wrong arity" cs.cs_error })) + = ({tc & tc_types = []}, (class_defs, ots, oti, { cs & cs_error = checkError id_name "undefined" cs.cs_error })) where check_context_types tc_class [] cs=:{cs_error} = { cs & cs_error = checkError tc_class "type context should contain one or more type variables" cs_error} -- cgit v1.2.3