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

Use fully qualified type names #1009

Merged
merged 10 commits into from
May 10, 2022
Merged

Use fully qualified type names #1009

merged 10 commits into from
May 10, 2022

Commits on May 10, 2022

  1. Use fully qualified type name in message fields

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    50d0d3e View commit details
    Browse the repository at this point in the history

  2. Test fully qualified type names in message fields

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    d06228d View commit details
    Browse the repository at this point in the history

  3. Fix result mismatch in qualification tests

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    7d174bd View commit details
    Browse the repository at this point in the history

  4. Fix logic error in Model.create_specifications

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    12436b0 View commit details
    Browse the repository at this point in the history

  5. Move package exporting logic to Package class

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    14ffcef View commit details
    Browse the repository at this point in the history

  6. Resolve exported packages' imports

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    ebb19d5 View commit details
    Browse the repository at this point in the history

  7. Hide __INTERNAL__ and __BUILTINS__ in exported packages' imports

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    aade732 View commit details
    Browse the repository at this point in the history

  8. Remove imports for transitively dependent packages

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    f519c73 View commit details
    Browse the repository at this point in the history

  9. Rename qualified_type_identifier to internal_type_identifier

    @rami3l @treiher
    rami3l authored and treiher committed May 10, 2022
    Configuration menu
    Copy the full SHA
    8ccbe74 View commit details
    Browse the repository at this point in the history

  10. Rename MSequence to mty.Sequence

    @rami3l
    rami3l committed May 10, 2022
    Configuration menu
    Copy the full SHA
    754396b View commit details
    Browse the repository at this point in the history