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

Add type refinement for abstract type bindings #4688

Closed
wants to merge 5 commits into from
Closed

Add type refinement for abstract type bindings #4688

wants to merge 5 commits into from

Commits on Oct 5, 2018

  1. Add type refinement for abstract type bindings

    @nicolasstucki
    nicolasstucki committed Oct 5, 2018
    Configuration menu
    Copy the full SHA
    3478f20 View commit details
    Browse the repository at this point in the history

  2. WIP add test for different refinement approach

    @nicolasstucki
    nicolasstucki committed Oct 5, 2018
    Configuration menu
    Copy the full SHA
    06671cf View commit details
    Browse the repository at this point in the history

  3. WIP non boxing

    @nicolasstucki
    nicolasstucki committed Oct 5, 2018
    Configuration menu
    Copy the full SHA
    18f672b View commit details
    Browse the repository at this point in the history

  4. Implement RefinedScrutinee with def refinedScrutinee

    @nicolasstucki
    nicolasstucki committed Oct 5, 2018
    Configuration menu
    Copy the full SHA
    11b9df6 View commit details
    Browse the repository at this point in the history

  5. WIP call refinedScrutinee

    @nicolasstucki
    nicolasstucki committed Oct 5, 2018
    Configuration menu
    Copy the full SHA
    67bb6e6 View commit details
    Browse the repository at this point in the history