diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/typesupport.icl | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index f4d59e6..db4b789 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -254,7 +254,6 @@ 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) where determine_type_vars to_index all_vars var_env = iFoldSt determine_type_var 0 to_index (all_vars, var_env) @@ -780,20 +779,6 @@ where (<::) file (form, TE) = file <<< "__" -/* -instance <:: [a] | <:: a -where - (<::) file (form, [type]) - | checkProperty form cCommaSeparator - = file <:: (clearProperty form cCommaSeparator, type) - = file <:: (setProperty form cBrackets, type) - (<::) file (form, [type : types]) - | checkProperty form cCommaSeparator - = file <:: (clearProperty form cCommaSeparator, type) <<< ',' <:: (form, types) - = file <:: (setProperty form cBrackets, type) <<< ' ' <:: (form, types) - (<::) file (form, []) - = file -*/ cNoPosition :== -1 |