typesig08.reject.wip.lc « basic-values « language-features « testdata - lambdacube-compiler.git -

summary refs log tree commit diff

path: root/testdata/language-features/basic-values/typesig08.reject.wip.lc

blob: 1be41d4cf4c76f8f3f23e9bd343788bea0f7dcbe (plain)

value4, value5,
value6 :: ()

value4 = ()
value5 = ()
value6 = ()