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

Remove type output to stderr for default command #544

Merged
merged 3 commits into from Aug 12, 2018
Merged

Remove type output to stderr for default command #544

merged 3 commits into from Aug 12, 2018

Commits on Aug 11, 2018

  1. Remove type output to stderr for default command 

    Fixes #539

The default `dhall` command no longer outputs types to `stderr`.
Instead, the user can opt into a type annotation using a newly added
`--annotation` switch.
    @Gabriella439
    Gabriella439 committed Aug 11, 2018
    Configuration menu
    Copy the full SHA
    b6e763c View commit details
    Browse the repository at this point in the history

  2. Remove unused import

    @Gabriella439
    Gabriella439 committed Aug 11, 2018
    Configuration menu
    Copy the full SHA
    c5f9102 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2018

  1. Merge branch 'master' into gabriel/no_type_on_stderr

    @Gabriella439
    Gabriella439 committed Aug 12, 2018
    Configuration menu
    Copy the full SHA
    3a5b1d7 View commit details
    Browse the repository at this point in the history