IIRC, the `FormalArg` construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a `list(Type)` as argument here, and translate all use sites to that form. #8

maxdekrieger · 2022-06-24T12:31:47Z

IIRC, the FormalArg construct also includes the names of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a list(Type) as argument here, and translate all use sites to that form.

Originally posted by @AZWN in #7 (comment)

The text was updated successfully, but these errors were encountered:

AZWN mentioned this issue Jun 24, 2022

I'm not sure, but perhaps the above comment holds for NativeType as well. #9

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

IIRC, the `FormalArg` construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a `list(Type)` as argument here, and translate all use sites to that form. #8

IIRC, the `FormalArg` construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a `list(Type)` as argument here, and translate all use sites to that form. #8

maxdekrieger commented Jun 24, 2022

IIRC, the FormalArg construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a list(Type) as argument here, and translate all use sites to that form. #8

IIRC, the FormalArg construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a list(Type) as argument here, and translate all use sites to that form. #8

Comments

maxdekrieger commented Jun 24, 2022

IIRC, the `FormalArg` construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a `list(Type)` as argument here, and translate all use sites to that form. #8

IIRC, the `FormalArg` construct also includes the _names_ of the arguments. I think it would be better to filter those, because names are not a part of the signature of a method. So perhaps we should have a `list(Type)` as argument here, and translate all use sites to that form. #8