Cannot map parametric function

[grebe]

Mapping a parametric function doesn't work, e.g.

fn f<N:u32>(x: u32) -> u32 { N + x }
fn main() { map(u32[4]:[0, 1, 2, 3], f<u32:4>) }

[proppy]

Note this fails with the following error:

0002: 
0003: fn f<N:u32>(x: u32) -> u32 { N + x }
0004: fn main() { map(u32[4]:[0, 1, 2, 3], f<u32:4>) }
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ ParseError: Expected '(', got ')': Expected a '(' after parametrics for function invocation.

[hzeller]

Also duplicate of https://github.com/google/xls/issues/1063

[mikex-oss]

I think #1063 is a specific case of this bug for which there can be no available workaround. I.e. you can't simply wrap the parametric instantiation because it depends on parent parameters.

This more generalized issue can be worked around as indicated in https://github.com/google/xls/issues/1063#issuecomment-1633497494.

Not sure what this means for bug management...

[proppy]

Let's keep this open then, and #1063 as "related" then.

Sorry for the noise :)