dhall-1.7.0: tests/regression/issue151a.dhall

let foo : (\(x : A) -> x x) (\(x : A) -> x x) = 1 in foo