aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorsjakie1999-10-25 15:10:09 +0000
committersjakie1999-10-25 15:10:09 +0000
commitbbe948f8d94dfd22b36c7e16f2f3495c2e9c3396 (patch)
treeb0edfe7e8be93059465c1718856e0af93c79c224 /frontend
parentend of comment repaired to allow **/ (diff)
minor change: comment removed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@30 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r--frontend/typesupport.icl15
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