diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
commit | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (patch) | |
tree | 82ed1f4401c3cf2cd4910e5f2e62d0d3a8ac6904 /testdata/language-features/basic-values/typesig05.out | |
parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) |
explicit lhs marks, first step
Diffstat (limited to 'testdata/language-features/basic-values/typesig05.out')
-rw-r--r-- | testdata/language-features/basic-values/typesig05.out | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out index b5fdd7ec..7ca5e11a 100644 --- a/testdata/language-features/basic-values/typesig05.out +++ b/testdata/language-features/basic-values/typesig05.out | |||
@@ -1,18 +1,18 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ desugared source code | 2 | ------------ desugared source code |
3 | funL = \(a :: _) (_ :: _) -> _rhs a | 3 | funL = _lhs funL \(a :: _) (_ :: _) -> _rhs a |
4 | 4 | ||
5 | funR = \(_ :: _) (a :: _) -> _rhs a | 5 | funR = _lhs funR \(_ :: _) (a :: _) -> _rhs a |
6 | 6 | ||
7 | value1 = _rhs (funL 'a' "b" :: Char) | 7 | value1 = _lhs value1 (_rhs (funL 'a' "b" :: Char)) |
8 | 8 | ||
9 | value2 = _rhs (funR 'a' "b" :: String) | 9 | value2 = _lhs value2 (_rhs (funR 'a' "b" :: String)) |
10 | 10 | ||
11 | value3 :: Char | 11 | value3 :: Char |
12 | value3 = _rhs (funL 'a' "b") | 12 | value3 = _lhs value3 (_rhs (funL 'a' "b")) |
13 | 13 | ||
14 | value4 :: String | 14 | value4 :: String |
15 | value4 = _rhs (funR 'a' "b") | 15 | value4 = _lhs value4 (_rhs (funR 'a' "b")) |
16 | ------------ core code | 16 | ------------ core code |
17 | funL :: forall a b . a -> b -> a | 17 | funL :: forall a b . a -> b -> a |
18 | funL = \_ _ a _ -> _rhs a | 18 | funL = \_ _ a _ -> _rhs a |