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

fixed #102 and possibly #101 #103

Closed
wants to merge 6 commits into from
Closed

fixed #102 and possibly #101 #103

wants to merge 6 commits into from

Commits on Aug 21, 2023

  1. Scala 2.13.6 support is dropped 

    fix refined type display

revise TypeView that won't lose information when extracting qualifier

revise dealiasIfNecessary such that it won't lose information

simplify extractArg, removing the unsound part

still need cleanup
    @tribbloid
    tribbloid committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    2e2e350 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. Scala 2.13.6 support is dropped, all cross-compiling files are merged… 

    … into 2.13.7+
    @tribbloid
    tribbloid committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    9473845 View commit details
    Browse the repository at this point in the history

  2. minor fix

    @tribbloid
    tribbloid committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    ee2234c View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. simplify test resource organisation

    @tribbloid
    tribbloid committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    937c0fb View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. simplify test resource organisation

    @tribbloid
    tribbloid committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    34f848b View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. INCOMPLETE, start working on #101

    @tribbloid
    tribbloid committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    7b14035 View commit details
    Browse the repository at this point in the history