Given consecutive indented (ie. non-top-level) let blocks, dhall-format inserts trailing whitespace.
Example:
let foo = 1
in λ(bar : Integer)
→ let exposePort =
λ(portSpec : { ext : Integer, int : Integer })
→ Integer/show portSpec.ext ++ ":" ++ Integer/show portSpec.int
in let exposeSamePort =
λ(port : Integer) → exposePort { ext = port, int = port }
in { blah = bar }
Here, whitespace is inserted on the empty lines above the last two lines which begin with in.
Given consecutive indented (ie. non-top-level)
letblocks,dhall-formatinserts trailing whitespace.Example:
Here, whitespace is inserted on the empty lines above the last two lines which begin with
in.