LambdaInLetScoping2A.dhall « regression « success « type-inference « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/type-inference/success/regression/LambdaInLetScoping2A.dhall

blob: 30fd03c4e2d8284725beb75bd0cb541de50e7026 (plain)

1	`(λ(T : Type) → let x = 0 in λ(x : T) → x) : ∀(T : Type) → ∀(x : T) → T`