Commit 9c527a22 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files

add number of class constraints of a member to the arity of the member (not...

add number of class constraints of a member to the arity of the member (not counting its own class constraint) in module trans, to prevent marking functions generated from those member functions by fusing constraint(s) as instance members
parent 0906e179
......@@ -4275,7 +4275,8 @@ where
mark_fused_members_of_instance_members ins_i ins_members instances class_members class_module_member_defs fun_defs
| ins_i<size ins_members
# member_i = class_members.[ins_i].ds_index
member_arity = class_module_member_defs.[member_i].me_type.st_arity
{st_arity=member_arity,st_context=[_:member_context]} = class_module_member_defs.[member_i].me_type
member_arity = member_arity + length member_context
{cim_arity,cim_index} = ins_members.[ins_i]
| cim_index<0
| cim_arity==main_dcl_module_n
......
Supports Markdown
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