[m-rev.] for post-commit review: register typeclass_info args more directly

[Zoltan Somogyi]

2021-06-19 20:04 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>> +    % XXX If ClassType contains more than one type variable, this records
>> +    % Location as applying to ALL OF THEM. This code is inherited from
>> +    % the time when the parameters of typeclasses *had* to be type variables,
> 
> I'm not sure what that means; the parameters of typeclasses still have to be
> type variables.  Do you mean typeclass constraints?

Yes, I mean the parameters of typeclasses in typeclass constraints.
I will clarify the comment. Thanks for the review.

Zoltan.