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

Introduce the "comparable" relation #5517

Merged
merged 24 commits into from
Mar 30, 2016
Merged

Introduce the "comparable" relation #5517

merged 24 commits into from
Mar 30, 2016

Commits on Oct 28, 2015

  1. Added tests.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 28, 2015
    Configuration menu
    Copy the full SHA
    002bb6f View commit details
    Browse the repository at this point in the history

  2. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 28, 2015
    Configuration menu
    Copy the full SHA
    7426aca View commit details
    Browse the repository at this point in the history

  3. Added "comparability" relation. It's currently equivalent to assignab… 

    …ility.
    @DanielRosenwasser
    DanielRosenwasser committed Oct 28, 2015
    Configuration menu
    Copy the full SHA
    43f158d View commit details
    Browse the repository at this point in the history

  4. Check for partial satisfiability when using the comparable relationship.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 28, 2015
    Configuration menu
    Copy the full SHA
    1edb007 View commit details
    Browse the repository at this point in the history

  5. Avoid a redundant stricter check when using the new relation.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 28, 2015
    Configuration menu
    Copy the full SHA
    9a5e3e3 View commit details
    Browse the repository at this point in the history

  6. Rename the relationship to "matchable by".

    @DanielRosenwasser
    DanielRosenwasser committed Oct 28, 2015
    Configuration menu
    Copy the full SHA
    42b3ce4 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2015

  1. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    929808e View commit details
    Browse the repository at this point in the history

  2. Added tests on intersection types.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    262352e View commit details
    Browse the repository at this point in the history

  3. Matchable should have no effect on intersections.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    bdb1db5 View commit details
    Browse the repository at this point in the history

  4. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    441dd78 View commit details
    Browse the repository at this point in the history

  5. Renamed the relationship back to "comparable".

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    841789d View commit details
    Browse the repository at this point in the history

  6. Renamed test directory.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    5cb95d4 View commit details
    Browse the repository at this point in the history

  7. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Oct 29, 2015
    Configuration menu
    Copy the full SHA
    ab7c4e5 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2015

  1. Updated error message.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    e224083 View commit details
    Browse the repository at this point in the history

  2. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    fa6e181 View commit details
    Browse the repository at this point in the history

  3. Appease the almighty linter.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    80a50aa View commit details
    Browse the repository at this point in the history

  4. Style.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    42c49ce View commit details
    Browse the repository at this point in the history

  5. 'with' to 'to'

    @DanielRosenwasser
    DanielRosenwasser committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    6c8c122 View commit details
    Browse the repository at this point in the history

  6. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    f6eacb9 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2015

  1. Changed type assertion error message.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 5, 2015
    Configuration menu
    Copy the full SHA
    a37b731 View commit details
    Browse the repository at this point in the history

  2. Accepted baselines.

    @DanielRosenwasser
    DanielRosenwasser committed Nov 5, 2015
    Configuration menu
    Copy the full SHA
    e0385a4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into comparableRelation 

    Conflicts:
	src/compiler/checker.ts
    @DanielRosenwasser
    DanielRosenwasser committed Nov 5, 2015
    Configuration menu
    Copy the full SHA
    0a706c4 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2016

  1. Merge branch 'master' into comparableRelation

    @DanielRosenwasser
    DanielRosenwasser committed Mar 30, 2016
    Configuration menu
    Copy the full SHA
    a3faca5 View commit details
    Browse the repository at this point in the history

  2. Undo comment override from merge.

    @DanielRosenwasser
    DanielRosenwasser committed Mar 30, 2016
    Configuration menu
    Copy the full SHA
    3cc64cb View commit details
    Browse the repository at this point in the history