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

Fix isNormalized #522

Merged
merged 3 commits into from
Jul 30, 2018
Merged

Fix isNormalized #522

merged 3 commits into from
Jul 30, 2018

Commits on Jul 23, 2018

  1. Fix isNormalized 

    Fixes #516

00c79f5 and
d287f02 added additional simplifications to
Dhall, but without a matching change to `isNormalized`.  This causes
`isNormalized` to falsely report that these expressions are normalized when
in fact they can still be normalized.  This change fixes that by updating
`isNormalized` to match the behavior of `normalize`
    @Gabriella439
    Gabriella439 committed Jul 23, 2018
    Configuration menu
    Copy the full SHA
    94a0f69 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2018

  1. Merge branch 'master' into gabriel/fix_isNormalized

    @Gabriella439
    Gabriella439 committed Jul 30, 2018
    Configuration menu
    Copy the full SHA
    f68f359 View commit details
    Browse the repository at this point in the history

  2. Use QuickCheck to verify correctness of isNormalized 

    ... and fix the errors that QuickCheck caught 🙂
    @Gabriella439
    Gabriella439 committed Jul 30, 2018
    Configuration menu
    Copy the full SHA
    a384ec7 View commit details
    Browse the repository at this point in the history