1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

spruce up the unit test

This commit is contained in:
Patrick Thomson 2019-10-07 12:17:52 -04:00
parent 5bd992bf8e
commit d380aabe89

View File

@ -1,3 +1,4 @@
# CHECK-TREE: { ident <- \x -> x; y <- ident #unit; #record { ident: ident, y : y }}
def ident(x): return x
y = ident(())
# CHECK-TREE: { const <- \x -> \y -> x; y <- const #true #true; z <- const #false #false; #record { const: const, y : y, z: z, }}
def const(x, y): return x
y = const(True, True)
z = const(False, False)