dhall-1.30.0: tests/regression/issue1646.dhall

let f = \(d : Double) -> \(i : Integer) -> {=} in f 3.1 -1