diff options
| author | martinw | 2001-05-04 14:12:03 +0000 |
|---|---|---|
| committer | martinw | 2001-05-04 14:12:03 +0000 |
| commit | a533d12ac196de7fc091cae674dd2298bcf39286 (patch) | |
| tree | 326be53253da2fca501bb0eea71b9be0d3c0fccf /frontend/checktypes.icl | |
| parent | bugfix 2.0 syntax: for (diff) | |
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
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 4 |
1 files changed, 2 insertions, 2 deletions
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} |