diff options
| author | johnvg | 2013-11-27 12:44:06 +0000 |
|---|---|---|
| committer | johnvg | 2013-11-27 12:44:06 +0000 |
| commit | 3b51f9a12c0c57a05eb002173b8936319ee4a634 (patch) | |
| tree | f8d0d3d8d188fb782e81c0c68654710de9665921 /frontend | |
| parent | generate jsr_ap 1 instead of jsr e_system_sAP (diff) | |
fix printing of uniqueness attributes in type with A.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2330 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 |