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

Visiting type class bodies in experimental analysis #14578

Closed
wants to merge 22 commits into from
Closed

Visiting type class bodies in experimental analysis #14578

wants to merge 22 commits into from

Commits on Oct 10, 2023

  1. Basic infrastructure.

    @ekpyron @cameel
    ekpyron authored and cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    c3cbcab View commit details
    Browse the repository at this point in the history

  2. Scanner hack.

    @ekpyron @cameel
    ekpyron authored and cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    1631a2b View commit details
    Browse the repository at this point in the history

  3. Semantic test for type classes

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    d2446d9 View commit details
    Browse the repository at this point in the history

  4. Type inference draft.

    @ekpyron @cameel
    ekpyron authored and cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    1afccd3 View commit details
    Browse the repository at this point in the history

  5. TypeSystem: make typeClassInfo() public

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    17bd354 View commit details
    Browse the repository at this point in the history

  6. Remove bogus unused IRVariable implementation (to be redone).

    @ekpyron @cameel
    ekpyron authored and cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    37f7c8e View commit details
    Browse the repository at this point in the history

  7. Separate experimental analysis pass for type class registration

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    39802fa View commit details
    Browse the repository at this point in the history

  8. Move around experimental tests 

    Exclude list for AST JSON tests

Fix type inference shellcheck failure

Disable shellcheck SC2086
    @nikola-matic @cameel
    nikola-matic authored and cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    e73a64e View commit details
    Browse the repository at this point in the history

  9. Merge pull request #14558 from ethereum/new-analysis-type-class-regis… 

    …tration-pass

Separate type class registration pass in experimental analysis
    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    8ce5eb1 View commit details
    Browse the repository at this point in the history

  10. Distinct identifiers and tokens for integer type and integer class 

    - Using the same name causes syntax ambiguities. It's also not allowed for user-defined classes and types.
    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    473ede5 View commit details
    Browse the repository at this point in the history

  11. Syntax test for built-in types in experimental Solidity.

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    b24c838 View commit details
    Browse the repository at this point in the history

  12. TypeSystemHelper: Add isPrimitiveType()

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    9a55e8d View commit details
    Browse the repository at this point in the history

  13. Add Builtin AST node

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    bedb82a View commit details
    Browse the repository at this point in the history

  14. Replace hard-coded types with __builtin()

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    8c943e5 View commit details
    Browse the repository at this point in the history

  15. Reject duplicate built-in type definitions

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    a9f6ecd View commit details
    Browse the repository at this point in the history

  16. Merge pull request #14566 from ethereum/new-analysis-defining-builtins 

    Defining built-ins in experimental analysis
    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    56ad90e View commit details
    Browse the repository at this point in the history

  17. Introduce via-ir option for syntax tests

    @nikola-matic @cameel
    nikola-matic authored and cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    f8291a0 View commit details
    Browse the repository at this point in the history

  18. [TMP] Remove polymorphicInstance() from class type member types

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    359657a View commit details
    Browse the repository at this point in the history

  19. Move builtin type class registration to TypeClassRegistration

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    9cffb73 View commit details
    Browse the repository at this point in the history

  20. Extract type class member registration into a separate experimental a… 

    …nalysis pass
    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    2e1aa4b View commit details
    Browse the repository at this point in the history

  21. fixup! Extract type class member registration into a separate experim… 

    …ental analysis pass
    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    b025b3d View commit details
    Browse the repository at this point in the history

  22. [TMP] Extra tests

    @cameel
    cameel committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    a6d19be View commit details
    Browse the repository at this point in the history