diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/typesupport.icl | 2 |
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) |