2022-07-22-progress report 6


I wrote code to generate ASR from AST this week. It is an initial implementation so it's not complete. 

  • I had to make some changes to the example "swap_m.f90" since I couldn't get the interface working. I will work on it in a future week.
  • The general approach I took is I added a symbol table to the Template since it will contain functions and subroutines (program units) as well as derived types.
  • I also ignored restrictions and TypeParameter for now.
The first item of the Short term TODO list of this PR is now complete.

Comments

Post a Comment

Popular posts from this blog

GSOC 2022 - LFortran - Implementing Generics

          GSOC 2022 - LFortran - Implementing Generics Final report - Oshanath Rajawasam Mentors : Ondřej Čertík, Gagandeep Singh Overview This project was about implementing generics for LFortran. This project was implemented parallelly to the same project on LPython, so a lot of the same code is reused. The LPython counterpart was developed by Luthfan Lubis and it has progressed further than this project. Reason for the Project Functions and subroutines in Fortran have specific parameter types and return types associated with them. Since LFortran, at its core, is the same as Fortran, this is also the case for LFortran. This can be problematic when the application demands template-like structures. For example, when implementing a function to add 2 numbers, with current tools available, we would have to implement the same function for all data types it is intended to be used. But with templates, we can define the function once, and use it with any data type we wish. The solution in a n
Read more
 2022-06-25-progress report 2 I successfully rebased the Merge Request ( https://gitlab.com/lfortran/lfortran/-/merge_requests/1664 ) onto the latest main to work in the Generics syntax.   There are some issues in the initial implementation. The AST generator recognizes the tokens and tries to generate the AST for the templates, but fails to include everything inside the template itself. For example the variables, functions inside the template does not get included in the AST.   So I read through the Bison documentation and looked at the files 'ast.h', 'semantics.h' and tried to figure out how I can make the contents of the Template appear in the AST. This is still ongoing. Even though the necessary components have been added to the parser.yy file, they still have to be added to the semantics.h as well. 
Read more
   2022-07-01-progress report 3 This week I met with Ondrej Certik online because the project was too complex for me to start working on directly. He showed me how to fix the parser to parse template syntax and he himself fixed it and created a merge request ( https://gitlab.com/lfortran/lfortran/-/merge_requests/1803/ ) which is the long running generics branch. This week I will be working on the conversion between AST and ASR and try to generate the ASR from the template AST.
Read more