search

microsoft / ifc-spec

IFC format specification
Creative Commons Attribution 4.0 International
71 stars 7 forks source link

Create representation for implicit/explicit object parameters #43

Open cdacamar opened 2 years ago

cdacamar commented 2 years ago

Consider:

struct S {
  void f(this S);
};

Today, the IFC has no way of representing the explicit object parameter member function S::f. We could fix this by creating a new type to wrap the parameter type of f but this is not generic enough. Rather we should consider a solution which could see MethodType removed in favor of a more generalized function type containing the explicit/implicit object parameter. This was also discussed in an IPR issue.

DanielaE commented 1 year ago

I anybody aware of the fate of this suggested/necessary improvement? Or shall I prepare a 🎂 for the 🥳🪅🎉