ComplexRecordSimplificationB.dhall « regression « success « normalization « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/normalization/success/regression/ComplexRecordSimplificationB.dhall

blob: d7026a48890b12ffb4aab2ae5007ce266399a815 (plain)

1
2
3

λ(foo : { x : Bool, y : Bool }) →
λ(bar : { x : Bool }) →
  (foo.{ x, y } ⫽ bar).{ x }