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

Change precedence of + in type grammar #438

Merged
merged 4 commits into from
Nov 18, 2014
Merged

Change precedence of + in type grammar #438

merged 4 commits into from
Nov 18, 2014

Commits on Nov 4, 2014

  1. Change precedence of + in type grammar

    @nikomatsakis
    nikomatsakis committed Nov 4, 2014
    Configuration menu
    Copy the full SHA
    643865f View commit details
    Browse the repository at this point in the history

  2. Tweak table.

    @nikomatsakis
    nikomatsakis committed Nov 4, 2014
    Configuration menu
    Copy the full SHA
    52f07b8 View commit details
    Browse the repository at this point in the history

  3. Tweak grammar to include lifetimes, add ellipsis to indicate I almost 

    certainly forgot something.
    @nikomatsakis
    nikomatsakis committed Nov 4, 2014
    Configuration menu
    Copy the full SHA
    1f81d69 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2014

  1. Fix various discrepancies in grammar

    @nikomatsakis
    nikomatsakis committed Nov 6, 2014
    Configuration menu
    Copy the full SHA
    95112a4 View commit details
    Browse the repository at this point in the history