| ("class", "coercion") :: tl ->
mk_obj_attributes (`Class `Coercion :: acc) tl
| ("class", "record") :: tl ->
- mk_obj_attributes (`Class `Record :: acc) tl
+ mk_obj_attributes (`Class (`Record []) :: acc) tl
| ("class", "projection") :: tl ->
mk_obj_attributes (`Class `Projection :: acc) tl
| ("class", "elimProp") :: tl ->