testdata/language-features/basic-values/typesig05.lc


1
2
3
4
5
6
7
8
9
10
11

funL a b = a
funR a b = b

value1 = funL 'a' "b" :: Char
value2 = funR 'a' "b" :: String

value3 :: Char
value3 = funL 'a' "b"

value4 :: String
value4 = funR 'a' "b"