Question

我有以下函数，当通过dhall-to-yaml处理时，其输出用双引号括起来，但是注入记录中的静态字符串没有用引号括起来，我如何控制用双引号括起来的内容以及什么不是吗？

let base64 = \(encode : Text) -> "!Base64 ${encode}"
let john : Profile =
    { person =
        { name = base64 "test"
        , age  = 67
        }
    , address =
        { country = "United States"
        , state   = "Pennsylvania"
        , city    = "Philadelphia"
        }
    }

输出

address:
  city: Philadelphia
  country: United States
  state: Pennsylvania
person:
  age: 67
  name: "!Base64 test"

所需的输出：

address:
  city: Philadelphia
  country: United States
  state: Pennsylvania
person:
  age: 67
  name: !Base64 test

Answer 1

当前，dhall-to-yaml和dhall-to-yaml-ng命令如果具有特殊字符则引用字符串字段，以确保Dhall Text值仅在转换为YAML时可以解释为纯数据。此外，如果您想要未转义的文本（例如用于发出标签），则还没有选择来省略引用行为，也没有指定标签的标准方法。

您可能想在https://github.com/dhall-lang/dhall-haskell/issues上发布一个问题，以讨论解决问题的可能方法，因为我想您不是唯一想在YAML输出中发出标签的人。

dhall-to-yaml功能文本输出以双引号输出

1 个答案: