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.

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

Bring in some fixes pointed out by folks using 0.17 #1358

Merged
merged 10 commits into from
Apr 28, 2016
Merged

Bring in some fixes pointed out by folks using 0.17 #1358

merged 10 commits into from
Apr 28, 2016

Commits on Feb 16, 2016

  1. Configuration menu
    Copy the full SHA
    ef280ed View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2016

  1. Configuration menu
    Copy the full SHA
    04c5e28 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2016

  1. Configuration menu
    Copy the full SHA
    8d41d95 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2016

  1. Bump year in license

    As suggested in #1299
    process-bot committed Apr 28, 2016
    Configuration menu
    Copy the full SHA
    d9f5156 View commit details
    Browse the repository at this point in the history
  2. Add missing word

    Thanks to @leocassarani from #1307
    process-bot committed Apr 28, 2016
    Configuration menu
    Copy the full SHA
    3f9cbab View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    17618de View commit details
    Browse the repository at this point in the history
  4. Clean up check for duplicate arguments

    Try to make the error message a bit clearer. Explain why it is an
    error. Also switch the implementation to be O(n * log n) like in the
    other duplicate check in this file.
    process-bot committed Apr 28, 2016
    Configuration menu
    Copy the full SHA
    74bc3f2 View commit details
    Browse the repository at this point in the history
  5. Merge branch 'pr/1290' into dev

    # Conflicts:
    #	src/Reporting/Error/Syntax.hs
    #	src/Validate.hs
    process-bot committed Apr 28, 2016
    Configuration menu
    Copy the full SHA
    8677ff7 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    328d79e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    f9fabf2 View commit details
    Browse the repository at this point in the history