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

HIR Syntax for Modules #200

Merged
merged 3 commits into from
Jul 2, 2024
Merged

HIR Syntax for Modules #200

merged 3 commits into from
Jul 2, 2024

Commits on Jul 2, 2024

  1. Schema modules partially working 

    The basics of schema-level modules are now in place, and we have two
tests added for them.  The outstanding problem is that of alignment.
Specifically, trace and schema module alignment.  Its not clear to me
this should be significant.  However, there is an issue whereby a schema
module index is being used (during alignment) to determine the correct
column index.
    @DavePearce
    DavePearce committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    d19ed15 View commit details
    Browse the repository at this point in the history

  2. Fix Misalignment 

    This fixes an issue with alignment whereby modules exist in the schema,
but not in the trace.  This can arise in valid circumstances.  For
example, when a module is declared which doesn't contain any columns.
Another situation is the prelude module, which is always declared
regardless of whether or not any columns are declared.
    @DavePearce
    DavePearce committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    af96dca View commit details
    Browse the repository at this point in the history

  3. Bug fixes 

    This fixes several bugs related to sorted permutations, and adds several
more tests.
    @DavePearce
    DavePearce committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    e43bdd6 View commit details
    Browse the repository at this point in the history