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

Ambiguous Type per-signature pragma #232

Merged
merged 15 commits into from
Aug 15, 2019
Merged

Ambiguous Type per-signature pragma #232

merged 15 commits into from
Aug 15, 2019

Commits on May 22, 2019

  1. Start new proposal

    @AntC2
    AntC2 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    f853b75 View commit details
    Browse the repository at this point in the history

  2. Proposed change spec, and effects, upgrade path

    @AntC2
    AntC2 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    0908308 View commit details
    Browse the repository at this point in the history

  3. Intro, Motivation, Costs

    @AntC2
    AntC2 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    100f495 View commit details
    Browse the repository at this point in the history

  4. tidy-up, typos

    @AntC2
    AntC2 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    e9c7505 View commit details
    Browse the repository at this point in the history

  5. PR created, edit links

    @AntC2
    AntC2 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    9e2aaf6 View commit details
    Browse the repository at this point in the history

  6. formatting

    @AntC2
    AntC2 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    08284f3 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2019

  1. incorporate feedback from comments/make executive

    @AntC2
    AntC2 committed May 31, 2019
    Configuration menu
    Copy the full SHA
    c3430f8 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2019

  1. Prep for submission to Committee: freeze the 'Unresolved questions' a… 

    …s resolved; formatting.
    @AntC2
    AntC2 committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    bf8fe90 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2019

  1. clarifications requested by @goldfirere: bin-of-warnings; separate mi… 

    …gration path for modules vs future for GHC
    @AntC2
    AntC2 committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    ce7426e View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2019

  1. More detail on places AMBIGUOUS can appear: data decls/constrs, @ppli… 

    …cation; Appendix with first stab at BNF diff
    @AntC2
    AntC2 committed Jul 9, 2019
    Configuration menu
    Copy the full SHA
    c275f79 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2019

  1. fixup dumbness for GADT syntax; type @pplications allowed ambiguous 

    BNF yet to get fixed (am editting this while in transit on airport wifi, on an iPad, any mistakes are to be expected)
    @AntC2
    AntC2 committed Jul 10, 2019
    Configuration menu
    Copy the full SHA
    791d9dc View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2019

  1. fix dumbness in BNF diff

    @AntC2
    AntC2 committed Jul 15, 2019
    Configuration menu
    Copy the full SHA
    39aac3d View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2019

  1. clarify re TypeApplications to accept ambiguous signatures unheralded

    @AntC2
    AntC2 committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    1de0301 View commit details
    Browse the repository at this point in the history

  2. formatting

    @AntC2
    AntC2 committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    cd98db8 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2019

  1. wording for error message, point 4

    @AntC2
    AntC2 committed Aug 9, 2019
    Configuration menu
    Copy the full SHA
    08abf77 View commit details
    Browse the repository at this point in the history