代码之家 › 专栏 › 技术社区 › Johannes Rudolph

'dhall format'和'dhall lint'之间的区别`

dhall

1

Johannes Rudolph · 技术社区 · 7 年前

玩弄 dhall 我第一次看到它支持这两个选项:

  ./dhall --help
  ...
  lint                     Improve Dhall code
  format                   Formatter for the Dhall language

1 回复 | 直到 7 年前

1

6

Gabriella Gonzalez 7 年前

改进 dhall lint 是否(在撰写本文时)已列出 here

一般来说,您应该期望改进分为两类: