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

summary refs log tree commit diff

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

blob: a3bef72b22b83f05416b4926ba8cd520cad4ad6d (plain)

funL a b = a
a <@ b = a

value1 = "hi" <@ 1.2 :: String
value2 = "hi" `funL` 1.2 :: String