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

Optional args #183

Draft
wants to merge 40 commits into
base: new-definition-typing
Choose a base branch
from
Draft

Optional args #183

wants to merge 40 commits into from

Commits on Sep 11, 2023

  1. adding optional flag to FldFlags

    @mbroughani81
    mbroughani81 committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    20d1fa9 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. lexing ? char in args NewLexer

    @mbroughani81
    mbroughani81 committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    0316ade View commit details
    Browse the repository at this point in the history

  2. show parser debug in test

    @mbroughani81
    mbroughani81 committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    3b036b3 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. fix in parsing

    @mbroughani81
    mbroughani81 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    5bd9365 View commit details
    Browse the repository at this point in the history

  2. delete redundant prints

    @mbroughani81
    mbroughani81 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    a2ad510 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. add opt field in Field node, and parse correctly

    @mbroughani81
    mbroughani81 committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    4e795d2 View commit details
    Browse the repository at this point in the history

  2. add opt field for FieldType

    @mbroughani81
    mbroughani81 committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    e6e4ae3 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2023

  1. adding opt field for FieldType

    @mbroughani81
    mbroughani81 committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    fec99d8 View commit details
    Browse the repository at this point in the history

  2. fix typing of funparams

    @mbroughani81
    mbroughani81 committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    0a653b2 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. WIP Add helpful test cases

    @LPTK
    LPTK committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    723a9a5 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2023

  1. fix type show

    @mbroughani81
    mbroughani81 committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    5f5fdfd View commit details
    Browse the repository at this point in the history

  2. add subtype check for subtyping with <:<

    @mbroughani81
    mbroughani81 committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    d8a8ed4 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. add 2 other field size member checks

    @mbroughani81
    mbroughani81 committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    b432dc4 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. fix problem in field type show

    @mbroughani81
    mbroughani81 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    ed45749 View commit details
    Browse the repository at this point in the history

  2. add some debugs

    @mbroughani81
    mbroughani81 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    ea729b5 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. debug the place error happens

    @mbroughani81
    mbroughani81 committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    1819d25 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. fix operations defined on FieldType

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    b924f80 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'new-definition-typing' into optional-args

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    6f7a599 View commit details
    Browse the repository at this point in the history

  3. add new require for intersection

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    4a6c2e7 View commit details
    Browse the repository at this point in the history

  4. Fix minor things in test

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    b81c5b4 View commit details
    Browse the repository at this point in the history

  5. Add isSubtype for TupleTypes

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    e511ce1 View commit details
    Browse the repository at this point in the history

  6. Add error flag for some tests

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    33fc41f View commit details
    Browse the repository at this point in the history

  7. Delete some extra debugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    79a51a0 View commit details
    Browse the repository at this point in the history

  8. Delete some extra debugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    a190864 View commit details
    Browse the repository at this point in the history

  9. Delete some extra debugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    e882b7c View commit details
    Browse the repository at this point in the history

  10. Fix some possible? bugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    01ddc66 View commit details
    Browse the repository at this point in the history

  11. Delete extra log in DiffTests

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    8383e09 View commit details
    Browse the repository at this point in the history

  12. Fix some possible future? bugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    27bfae9 View commit details
    Browse the repository at this point in the history

  13. Fix some possible future? bugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    a136b37 View commit details
    Browse the repository at this point in the history

  14. Fix some possible future? bugs

    @mbroughani81
    mbroughani81 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    12b3dc5 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. Rename fields compatible checker

    @mbroughani81
    mbroughani81 committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    e2df709 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'new-definition-typing' into optional-args

    @mbroughani81
    mbroughani81 committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    35442de View commit details
    Browse the repository at this point in the history

  3. Fix syntax problem in helper

    @mbroughani81
    mbroughani81 committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    5c6f3c5 View commit details
    Browse the repository at this point in the history

  4. Fix syntax errors

    @mbroughani81
    mbroughani81 committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    a92fc4e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'new-definition-typing' into optional-args

    @LPTK
    LPTK authored Sep 29, 2023
    Configuration menu
    Copy the full SHA
    0b43e89 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2023

  1. Add some notes

    @mbroughani81
    mbroughani81 committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    31b3edd View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Using composed type instead of field opt

    @mbroughani81
    mbroughani81 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    b299e54 View commit details
    Browse the repository at this point in the history

  2. Revert to opt + show bracketed

    @mbroughani81
    mbroughani81 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    25d7764 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. .

    @mbroughani81
    mbroughani81 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    59814ac View commit details
    Browse the repository at this point in the history

  2. Add ascribing for pattern match on optional fields

    @mbroughani81
    mbroughani81 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    028a5b5 View commit details
    Browse the repository at this point in the history