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

SIP-56 - Proper Specification for Match Types. #65

Merged
merged 8 commits into from
Dec 11, 2023
Merged

SIP-56 - Proper Specification for Match Types. #65

merged 8 commits into from
Dec 11, 2023

Commits on Aug 11, 2023

  1. Add SIP-56: Proper Specification for Match Types.

    @sjrd
    sjrd committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    4ae0ee0 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Address most of Seth's comments.

    @sjrd
    sjrd committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    cb6b892 View commit details
    Browse the repository at this point in the history

  2. Allow class members to be matched by type member extractors. 

    This enables a workaround for the `scala.Enumeration#Value`
extractor use case, found notably in json4s.
    @sjrd
    sjrd committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    afbd365 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. Add proposed specification of provably disjoint.

    @sjrd
    sjrd committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    17fe545 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Include type lambdas in the simple types for provablyDisjoint. 

    I discovered that it is necessary for some existing, reasonable
use cases of `provablyDisjoint`.
    @sjrd
    sjrd committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    cc9c90a View commit details
    Browse the repository at this point in the history

  2. Add the complete reduction algorithm.

    @sjrd
    sjrd committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    3c6b360 View commit details
    Browse the repository at this point in the history

  3. Tweaks to the match types proposal.

    @sjrd
    sjrd committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    580d30b View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Fix the matching rule for compiletime.int.S.

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