mergeB.txt « success « parser « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/parser/success/mergeB.txt

blob: 54051e93514d1d89e418265b38c84c175fdd872e (plain)

λ(x : <  >) → { bar = merge {=} x : Integer, foo = merge { Left = λ(b : Bool) → b, Right = Natural/even } (< Left: Bool | Right: Natural >.Left True) }