Template instantiation syntax

[Oshanath]

@certik This is what I came up with. It doesn't work yet. When trying to generate asr it says

Token ')' is unexpected here
  --> examples/swap_m.f90:27:32
   |
27 |         instantiate swap_t(real), only: swap => swap_generic
   |                                ^ 

• Maybe it's because I used the wrong type for the var types list.

• In this case I used decl_star. Maybe that's where I went wrong. Should it just be id and convert it into types in ASR?

• Or should it be var_type, in which case there is no var_type_star yet, which I think should be used in this case.

• If this is the case should I create a new type var_type_star?

I would like some help to move forward.

[certik]

Can you please rebase your work on top of the latest master? (Or just merge master into your PR and resolve all conflicts.)

[certik]

Yes, you should create var_type_plus, which is one or more var_type, separated by a comma. Good point.

[certik]

Otherwise I think you got it! Thanks for working on this. After this works, we can meet and work on getting it instantiated in ASR.

[certik]

I think we can treat the instantiation like a "use" statement. So just add it next to the use statement in the parser. In AST I think it is already defined next to the use statement, so that should work.

[Oshanath]

I still can't get the Instantiate node to print. Maybe there is something missing in the printing function. Could you please tell me where that file is?

[certik]

I am not sure, I would have to debug it. I can do that tomorrow.

[certik]

TODO:

• [ ] implement visit_Instantiate in the symbol table visitor (just empty function)
• [ ] Get --show-asr working again, update tests

[Oshanath]

The ci fails because there is an unused parameter in visit_Instantiate(). But it'll be gone when I actually implement that function.

[certik]

Merged as part of #90.