Dhall Text "no" gets rendered to YAML as a Boolean

[s5bug]

{ country = "no" -- norway
, foo = false
}

Dhall → Yaml:

country: no
foo: false

A spec-compliant Yaml parser will parse country: no as { country: false } (this can be verified with an online pyyaml api)

I don't use Yaml so I haven't run into this naturally, but I am relatively sure that Dhall Text should become a Yaml String.

[TristanCacqueray]

That seems related to #2192 and you can get around this by using dhall-to-yaml-ng.

I've transferred the issue to the right repository.

[sjakobi]

@s5bug Note that no is not a boolean in YAML 1.2: https://stackoverflow.com/questions/42283732/are-on-and-off-supposed-to-be-interpreted-as-true-or-false-in-yaml-1-2

For compatibility with YAML-1.1 parsers it would be better to quote strings like yes, no, etc., though. Ideally this would happen in aeson-yaml, the YAML-printing library that dhall-to-yaml relies on.

[s5bug]

Ah, TIL! Is there some directive to force a YAML file to be parsed using the 1.2 spec?

[sjakobi]

Is there some directive to force a YAML file to be parsed using the 1.2 spec?

That would be nice to have, but I'm not aware of anything like that. :/

[sjakobi]

Closing. If there's anything left to do here, please reopen and clarify what should be done.