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

Structs in PIL #1516

Draft
wants to merge 89 commits into
base: main
Choose a base branch
from
Draft

Structs in PIL #1516

wants to merge 89 commits into from

Commits on May 16, 2024

  1. StructDeclaration & auxiliary functions (display, children, etc.)

    @gzanitti
    gzanitti committed May 16, 2024
    Configuration menu
    Copy the full SHA
    bf13c94 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Display, TypeDeclaration, TypeConstructor, etc.

    @gzanitti
    gzanitti committed May 17, 2024
    Configuration menu
    Copy the full SHA
    81694ee View commit details
    Browse the repository at this point in the history

  2. Basic struct declaration

    @gzanitti
    gzanitti committed May 17, 2024
    Configuration menu
    Copy the full SHA
    67bdbc0 View commit details
    Browse the repository at this point in the history

  3. Temporarily using SelectedExpression with "$" instead of "*" to avoid… 

    … conflicts
    @gzanitti
    gzanitti committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f46673c View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. WIP

    @gzanitti
    gzanitti committed May 18, 2024
    Configuration menu
    Copy the full SHA
    582d95c View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Patterns

    @gzanitti
    gzanitti committed May 20, 2024
    Configuration menu
    Copy the full SHA
    668ed89 View commit details
    Browse the repository at this point in the history

  2. Functions as struct fields type & test

    @gzanitti
    gzanitti committed May 20, 2024
    Configuration menu
    Copy the full SHA
    b6e4d3f View commit details
    Browse the repository at this point in the history

  3. missed clippy deny

    @gzanitti
    gzanitti committed May 20, 2024
    Configuration menu
    Copy the full SHA
    f21eeaa View commit details
    Browse the repository at this point in the history

  4. Ellipsis in StructPattern, and missed case in handle_statement

    @gzanitti
    gzanitti committed May 20, 2024
    Configuration menu
    Copy the full SHA
    ed196cf View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. WIP

    @gzanitti
    gzanitti committed May 21, 2024
    Configuration menu
    Copy the full SHA
    585ca0c View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Merge remote-tracking branch 'upstream/main' into structs_in_pil

    @gzanitti
    gzanitti committed May 28, 2024
    Configuration menu
    Copy the full SHA
    df3aec3 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. WIP

    @gzanitti
    gzanitti committed May 29, 2024
    Configuration menu
    Copy the full SHA
    877a828 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Main merged

    @gzanitti
    gzanitti committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    8235873 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Main merged

    @gzanitti
    gzanitti committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    4cc6f1c View commit details
    Browse the repository at this point in the history

  2. Main marged with new grammar

    @gzanitti
    gzanitti committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    303ffa2 View commit details
    Browse the repository at this point in the history

  3. Updated grammar: Conflict with new StructExpression

    @gzanitti
    gzanitti committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    47022a3 View commit details
    Browse the repository at this point in the history

  4. StructExpression needs to be redefine

    @gzanitti
    gzanitti committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    46e06e4 View commit details
    Browse the repository at this point in the history

  5. //StructExpression

    @gzanitti
    gzanitti committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    81051e9 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. //StructExpression

    @gzanitti
    gzanitti committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    fb4e357 View commit details
    Browse the repository at this point in the history

  2. Temporarily resolving the grammar with X?{ .. }

    @gzanitti
    gzanitti committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    bf8f2de View commit details
    Browse the repository at this point in the history

  3. Basic type inference (fake grammar)

    @gzanitti
    gzanitti committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    70bc1fc View commit details
    Browse the repository at this point in the history

  4. Fields are going to be a problem 🫠

    @gzanitti
    gzanitti committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    18fea1a View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. More tests

    @gzanitti
    gzanitti committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    df3abd4 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/main' into structs_in_pil

    @gzanitti
    gzanitti committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    d2d3992 View commit details
    Browse the repository at this point in the history

  3. Structs integration

    @gzanitti
    gzanitti committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    0a23ec5 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Conflict solved & Struct pattern updated

    @gzanitti
    gzanitti committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    c4d535f View commit details
    Browse the repository at this point in the history

  2. Test fixed

    @gzanitti
    gzanitti committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    6290bf8 View commit details
    Browse the repository at this point in the history

  3. FieldAccess

    @gzanitti
    gzanitti committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    008a61d View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. Parsing

    @gzanitti
    gzanitti committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    7d0dbeb View commit details
    Browse the repository at this point in the history

  2. Progress in type inference & new test

    @gzanitti
    gzanitti committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    08dccea View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/main' into structs_in_pil

    @gzanitti
    gzanitti committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    18bd64f View commit details
    Browse the repository at this point in the history

  4. More about type inference

    @gzanitti
    gzanitti committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    63056b4 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Display

    @gzanitti
    gzanitti committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    06c7c46 View commit details
    Browse the repository at this point in the history

  2. Conflict solved

    @gzanitti
    gzanitti committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    bf142d7 View commit details
    Browse the repository at this point in the history

  3. New var when type cannot be infered

    @gzanitti
    gzanitti committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    add43c2 View commit details
    Browse the repository at this point in the history

  4. Better patterns, but still bugy

    @gzanitti
    gzanitti committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    15ca14d View commit details
    Browse the repository at this point in the history

  5. Basic pattern working. Still need to type-check fields

    @gzanitti
    gzanitti committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    9312643 View commit details
    Browse the repository at this point in the history

  6. Minor fix, more tests, etc

    @gzanitti
    gzanitti committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    b9bf311 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Minor fix

    @gzanitti
    gzanitti committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    94aff50 View commit details
    Browse the repository at this point in the history

  2. Improvements before separating Pattern & FieldAccess

    @gzanitti
    gzanitti committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    02ba92e View commit details
    Browse the repository at this point in the history

  3. Improvements before separating Pattern & FieldAccess

    @gzanitti
    gzanitti committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    f089d8a View commit details
    Browse the repository at this point in the history

  4. Conflicts solved

    @gzanitti
    gzanitti committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    73601cd View commit details
    Browse the repository at this point in the history

  5. handle_symbol_definition refactor

    @gzanitti
    gzanitti committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    a93ee10 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. Merge remote-tracking branch 'upstream/main' into structs_in_pil

    @gzanitti
    gzanitti committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    6ec9af0 View commit details
    Browse the repository at this point in the history

  2. Minor change

    @gzanitti
    gzanitti committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    636f70f View commit details
    Browse the repository at this point in the history

  3. More on type inference. "Cannot unify types F::S and F::S"

    @gzanitti
    gzanitti committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    4ae9915 View commit details
    Browse the repository at this point in the history

  4. WIP evaluation

    @gzanitti
    gzanitti committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    203fbcd View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Conflict solved

    @gzanitti
    gzanitti committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    560a589 View commit details
    Browse the repository at this point in the history

  2. Primer in field access evaluation

    @gzanitti
    gzanitti committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    154c0be View commit details
    Browse the repository at this point in the history

  3. Minor fix

    @gzanitti
    gzanitti committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    3a42a01 View commit details
    Browse the repository at this point in the history

  4. Next step: Pattern evaluation.

    @gzanitti
    gzanitti committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    6ac9de2 View commit details
    Browse the repository at this point in the history

  5. Struct pattern tests (still failling)

    @gzanitti
    gzanitti committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    f7ec1da View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Patterns.

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    220c2b9 View commit details
    Browse the repository at this point in the history

  2. Fix: a value of type [Arc<evaluator::Value<_, T>>] cannot be built fr… 

    …om an iterator...
    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    4958971 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/main' into structs_in_pil

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    6e30e5c View commit details
    Browse the repository at this point in the history

  4. Minor fix

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    be18e8b View commit details
    Browse the repository at this point in the history

  5. FieldAccess & Patterns moved into their own PRs

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    58174f5 View commit details
    Browse the repository at this point in the history

  6. Minor fix

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    9957e5a View commit details
    Browse the repository at this point in the history

  7. Comments removed

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    80ecddd View commit details
    Browse the repository at this point in the history

  8. linter unused var

    @gzanitti
    gzanitti committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    b339b79 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. Conflict solved

    @gzanitti
    gzanitti committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    d0ca0f7 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Conflicts & new tests organization

    @gzanitti
    gzanitti committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    f442d47 View commit details
    Browse the repository at this point in the history

  2. Minor fix

    @gzanitti
    gzanitti committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    8b8211b View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Main merged

    @gzanitti
    gzanitti committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    89fac56 View commit details
    Browse the repository at this point in the history

  2. More fixes

    @gzanitti
    gzanitti committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    f375e19 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Path fixed

    @gzanitti
    gzanitti committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    ca41e60 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Cleaner code

    @gzanitti
    gzanitti committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    00efbf0 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Merged new grammar. keyword with removed from struct instanciation

    @gzanitti
    gzanitti committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    a96d489 View commit details
    Browse the repository at this point in the history

  2. Fixed grammar: removed RestrictedExpression from MatchArm

    @gzanitti
    gzanitti committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    7317c5f View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. conflicts solved

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    e59a4f1 View commit details
    Browse the repository at this point in the history

  2. children() separation from namedexpressions

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    992c018 View commit details
    Browse the repository at this point in the history

  3. Grammar (NamedExpression<Box<...>>) and new method not implemented fo… 

    …r structs
    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    9fad753 View commit details
    Browse the repository at this point in the history

  4. missed match arm implemented

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    e809301 View commit details
    Browse the repository at this point in the history

  5. remove parenthesis outside lambda functions in struct tests

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    612622f View commit details
    Browse the repository at this point in the history

  6. Check and negative tests for wrong field names

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    7e37b0c View commit details
    Browse the repository at this point in the history

  7. More checks and tests

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    3ada7db View commit details
    Browse the repository at this point in the history

  8. Fix tests with undefined structs or fields

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    0308859 View commit details
    Browse the repository at this point in the history

  9. Minor improvements

    @gzanitti
    gzanitti committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    6bdf680 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. cleaner statement processor

    @gzanitti
    gzanitti committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    754ac64 View commit details
    Browse the repository at this point in the history

  2. arc

    @gzanitti
    gzanitti committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    f7393d6 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Display

    @gzanitti
    gzanitti committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    4e60814 View commit details
    Browse the repository at this point in the history

  2. conflicts

    @gzanitti
    gzanitti committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    b347c1a View commit details
    Browse the repository at this point in the history

  3. conflicts

    @gzanitti
    gzanitti committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    9f5529d View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. StructField

    @gzanitti
    gzanitti committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    e33b70d View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2024

  1. WIP

    @gzanitti
    gzanitti committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    9f111e0 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. StructDeclaration, type_check & better errors

    @gzanitti
    gzanitti committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    2427f21 View commit details
    Browse the repository at this point in the history

  2. Conflicts

    @gzanitti
    gzanitti committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    6bc06a1 View commit details
    Browse the repository at this point in the history

  3. namedtype

    @gzanitti
    gzanitti committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    d62e1f1 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/main' into structs_in_pil

    @gzanitti
    gzanitti committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    5a0b8f6 View commit details
    Browse the repository at this point in the history