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

Schema type checker #335

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Schema type checker #335

wants to merge 2 commits into from

Commits on Aug 12, 2024

  1. Implement schema typechecker 

    This closes circuithub#274 and circuithub#186, allowing the generation of CREATE TABLE
statements from a TableSchema, as well as checking a TableSchema against
a database to determine if the tables are defined correctly in the
database to be read from/written to by rel8.

It also adds tests for the creation and type checking of tables, to
ensure they succeed/fail in appropriate cases.

Co-authored-by: David Kraeutmann <[email protected]>
    @abigailalice @KaneTW
    abigailalice and KaneTW committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    a23cd82 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Merge branch 'master' into verify

    @abigailalice
    abigailalice authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5ee157b View commit details
    Browse the repository at this point in the history