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/typesig04.out | |
| parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) | |
explicit lhs marks, first step
Diffstat (limited to 'testdata/language-features/basic-values/typesig04.out')
| -rw-r--r-- | testdata/language-features/basic-values/typesig04.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out index 0df6fc91..4e55cfac 100644 --- a/testdata/language-features/basic-values/typesig04.out +++ b/testdata/language-features/basic-values/typesig04.out | |||
| @@ -1,10 +1,10 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> () | 3 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> () |
| 4 | fun1 = \(_ :: _) (_ :: _) -> _rhs () | 4 | fun1 = _lhs fun1 \(_ :: _) (_ :: _) -> _rhs () |
| 5 | 5 | ||
| 6 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> () | 6 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> () |
| 7 | fun2 = \(_ :: _) (_ :: _) -> _rhs () | 7 | fun2 = _lhs fun2 \(_ :: _) (_ :: _) -> _rhs () |
| 8 | ------------ core code | 8 | ------------ core code |
| 9 | fun1 :: forall a b c . a -> (b -> c) -> () | 9 | fun1 :: forall a b c . a -> (b -> c) -> () |
| 10 | fun1 = \_ _ _ _ _ -> _rhs () | 10 | fun1 = \_ _ _ _ _ -> _rhs () |