diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/typesupport.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 6c016ce..1bc3eaf 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -1772,6 +1772,10 @@ anonymizeAttrVars st=:{st_attr_vars, st_args, st_result, st_attr_env} implicit_i = count_attr_vars_of_atype t th_attrs count_attr_vars_of_type (_ :@: args) th_attrs = foldSt count_attr_vars_of_atype args th_attrs + count_attr_vars_of_type (TFA _ type) th_attrs + = count_attr_vars_of_type type th_attrs + count_attr_vars_of_type (TFAC _ type _) th_attrs + = count_attr_vars_of_type type th_attrs count_attr_vars_of_type _ th_attrs = th_attrs |