aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoralimarin2002-01-22 15:40:43 +0000
committeralimarin2002-01-22 15:40:43 +0000
commitdde81af09756128984af7b18e80bc17c0635dd16 (patch)
treede00b76550ead176639027df89966fee57eddaeb
parentbug fix: unused dynamics were not recursively removed from fi_dynamics (diff)
fixed bug with (->): added clean_up for TArrow
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@975 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/typesupport.icl2
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index 42d8426..f73bec0 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -149,6 +149,8 @@ where
clean_up cui (TArrow1 argtype) cus
# (argtype, cus) = clean_up cui argtype cus
= (TArrow1 argtype, cus)
+ clean_up cui t=:TArrow cus
+ = (t, cus)
//..AA
clean_up cui t=:(TB _) cus
= (t, cus)