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

summary refs log tree commit diff

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

blob: e40fe7c1ec1add0410a5ad0a60c8149e5655abe0 (plain)

value4, @@@,
 value6 :: () -> () -> ()

value4 _ _ = ()
_ @@@ _ = ()
value6 _ _ = ()