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

Enable --records-strict by default for {json,yaml}-to-dhall #1181

Merged
merged 3 commits into from
Aug 2, 2019

Commits on Aug 1, 2019

  1. Enable --records-strict by default for {json,yaml}-to-dhall

    This adds a new `--records-loose` flag and changes the default behavior
    to `--records-strict`
    
    The rationale for this change is so that this default behavior helps
    more when users are still experimenting with the appropriate type to
    use to decode a large and messy YAML file.
    
    For example, suppose a user is trying to translate the following YAML
    to Dhall:
    
    ```yaml
    foo: 1
    bar: true
    ```
    
    ... and they start with a empty Dhall type which they plan to fix in
    response to error messages.  They'd get a surprising success:
    
    ```bash
    $ yaml-to-dhall '{}' < ./example.yaml
    {=}
    ```
    
    ... because the old default behavior is to ignore extra fields in the
    YAML.  However, if we're strict by default then users don't have to
    apply the `--records-strict` flag to get feedback on what they need
    to change.
    Gabriella439 committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    2909541 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2019

  1. Configuration menu
    Copy the full SHA
    547c449 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b0e9a98 View commit details
    Browse the repository at this point in the history