dhall-to-yaml 函数 文本输出以双引号输出

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命令具有特殊字符，则引用字符串字段，以确保 DhallText值在转换为 YAML 时只能解释为纯数据。 此外，如果您需要未转义的文本(例如用于发出标签(，目前还没有省略引用行为的选项，也没有指定标签的标准方法。

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