Commit a592e65f authored by John van Groningen's avatar John van Groningen
Browse files

fix printing of uniqueness attributes in type with A.

parent 3dc1b6de
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment