Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Correct symbols after derived type enrichment #450

Merged
merged 8 commits into from
Nov 29, 2024
Merged

Correct symbols after derived type enrichment #450

merged 8 commits into from
Nov 29, 2024

Commits on Nov 26, 2024

  1. Frontend: Move regex frontend tests into respective test module

    @mlange05
    mlange05 committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    34c5cc2 View commit details
    Browse the repository at this point in the history

  2. IR: Create a common base class for ExpressionTransformer 

    This is implicitly used by `SubstatituteExpressions`, but can also
run a simple `LokiIdentityMapper` (the default) over any expression.
    @mlange05
    mlange05 committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    7300952 View commit details
    Browse the repository at this point in the history

  3. ProgramUnit: Rebuild expressions after enrich() for correct symbols 

    After the type information has been correctly attached, we can rebuild
the epxression trees to replace `DeferredTypeSymbols` with `Scalar`
and `Array` symbols.
    @mlange05
    mlange05 committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    4e9d929 View commit details
    Browse the repository at this point in the history

  4. Loki: Cleaning up imports in subroutine tests

    @mlange05
    mlange05 committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    716ac74 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2024

  1. Frontend: Fix return type symbol scope for functions in FP frontend

    @mlange05
    mlange05 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    a1046b4 View commit details
    Browse the repository at this point in the history

  2. Symbols: Add explicit DerivedTypeSymbol to represent type names 

    We previously (ab)used `ProcedureSymbol` objects for this. The new
symbol type also uses the exact same mechanics as procedure symbols
for interfacing twith pymbolic types.
    @mlange05
    mlange05 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    e6e28ee View commit details
    Browse the repository at this point in the history

  3. Frontend: Add test for symbol construction from external types

    @mlange05
    mlange05 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    3aaef08 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2024

  1. Subroutine: Check ProcedureDeclaration in external_stmt test 

    This re-enables the actual check on the declaration symbols.
    @mlange05
    mlange05 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    fa42d02 View commit details
    Browse the repository at this point in the history