diff options
| author | sjakie | 1999-10-20 13:59:01 +0000 |
|---|---|---|
| committer | sjakie | 1999-10-20 13:59:01 +0000 |
| commit | 4186b9d8fed6b1dbb2fa3b37f24b8120055c1d64 (patch) | |
| tree | a51fc53a6c3c499743760a072605f63845a20bea | |
| parent | extension: printing routine for types added (diff) | |
extension: improved error messages for uniqueness types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@26 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/typesupport.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index c5dc984..f4d59e6 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -254,7 +254,7 @@ cleanUpSymbolType tst=:{tst_arity,tst_args,tst_result,tst_context,tst_lifted} co st_attr_env = st_attr_env, st_attr_vars = st_attr_vars } = (st, { cus_var_env & [i] = TE \\ i <- [0..nr_of_temp_vars - 1]}, { cus_attr_env & [i] = TA_None \\ i <- [0..max_attr_nr - 1]}, cus_heaps, expr_heap, cus_error) -// ---> (tst, st) + ---> (tst, st) where determine_type_vars to_index all_vars var_env = iFoldSt determine_type_var 0 to_index (all_vars, var_env) |