So as @AndreyG points out in #84, the IFC's documentation for padding is currently inconsistently specified. This is further complicated by #78 where interior padding is featured.
I'd suggest either specifying all instances of padding (as is done for TypeSort::Fundamental and Words), or specifying the rules for padding.
The former is a burden on specification, and the latter can be a burden (or easing of) implementation (depending on the design). The latter would (in my mind) require as a prerequisite that the IFC never use interior padding (as in #78), or have very specific rules about when this happens.
So as @AndreyG points out in #84, the IFC's documentation for padding is currently inconsistently specified. This is further complicated by #78 where interior padding is featured.
I'd suggest either specifying all instances of padding (as is done for
TypeSort::FundamentalandWords), or specifying the rules for padding.The former is a burden on specification, and the latter can be a burden (or easing of) implementation (depending on the design). The latter would (in my mind) require as a prerequisite that the IFC never use interior padding (as in #78), or have very specific rules about when this happens.