diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:40:30 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:40:30 +0200 |
| commit | f468a49a43193caffe92cdd48a52a699880e14ef (patch) | |
| tree | 255c8b454e9a75d05397468b849b8f5b032a878a /testdata/language-features/basic-values/typesig03.out | |
| parent | fa47957b930c53d78d2da0bcb948e2fbff11f59d (diff) | |
refactoring
Diffstat (limited to 'testdata/language-features/basic-values/typesig03.out')
| -rw-r--r-- | testdata/language-features/basic-values/typesig03.out | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out index 8a2f8bbb..c0f5769f 100644 --- a/testdata/language-features/basic-values/typesig03.out +++ b/testdata/language-features/basic-values/typesig03.out | |||
| @@ -1,9 +1,10 @@ | |||
| 1 | main is not found | ||
| 1 | ------------ desugared source code | 2 | ------------ desugared source code |
| 2 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] | 3 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] |
| 3 | fun1 = \_ _ _ -> _rhs HNil | 4 | fun1 = \_ _ _ -> _rhs HNil |
| 5 | |||
| 4 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] | 6 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] |
| 5 | fun2 = \_ _ _ -> _rhs HNil | 7 | fun2 = \_ _ _ -> _rhs HNil |
| 6 | main is not found | ||
| 7 | ------------ trace | 8 | ------------ trace |
| 8 | fun1 :: forall a b c . a -> b -> c -> () | 9 | fun1 :: forall a b c . a -> b -> c -> () |
| 9 | fun2 :: forall a b c . a -> b -> c -> () | 10 | fun2 :: forall a b c . a -> b -> c -> () |