diff options
Diffstat (limited to 'testdata/language-features/basic-values/typesig04.out')
-rw-r--r-- | testdata/language-features/basic-values/typesig04.out | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out index 15b67c43..0c98ffa1 100644 --- a/testdata/language-features/basic-values/typesig04.out +++ b/testdata/language-features/basic-values/typesig04.out | |||
@@ -1,10 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun1 | 2 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] |
3 | = (\_ _ -> _rhs HNil) | 3 | fun1 = \_ _ -> _rhs HNil |
4 | :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] | 4 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] |
5 | fun2 | 5 | fun2 = \_ _ -> _rhs HNil |
6 | = (\_ _ -> _rhs HNil) | ||
7 | :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] | ||
8 | main is not found | 6 | main is not found |
9 | ------------ trace | 7 | ------------ trace |
10 | fun1 :: forall a b c . a -> (b -> c) -> () | 8 | fun1 :: forall a b c . a -> (b -> c) -> () |