diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-11 20:57:07 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 00:50:34 +0200 |
| commit | e4725c07ee3e7e3fc010df418d16f37c39b0af0f (patch) | |
| tree | cb10e1d1203eed875955097311ccbe0943564226 /testdata/reduce06.out | |
| parent | 95e006bf5afa8d3473e3fe4401f4c9316186a428 (diff) | |
mutual function definitions
Diffstat (limited to 'testdata/reduce06.out')
| -rw-r--r-- | testdata/reduce06.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/reduce06.out b/testdata/reduce06.out index 2ddd9a75..f9da2c5d 100644 --- a/testdata/reduce06.out +++ b/testdata/reduce06.out | |||
| @@ -6,7 +6,7 @@ constf = _lhs constf (_rhs \(a :: _) (_ :: _) -> a) | |||
| 6 | main = _lhs main (_rhs ((\(a :: _) -> constf a False) True)) | 6 | main = _lhs main (_rhs ((\(a :: _) -> constf a False) True)) |
| 7 | ------------ core code | 7 | ------------ core code |
| 8 | constf :: forall a b . a -> b -> a | 8 | constf :: forall a b . a -> b -> a |
| 9 | constf = \_ _ -> _rhs \a _ -> a | 9 | constf = \a b -> _rhs \c _ -> c |
| 10 | 10 | ||
| 11 | main :: Bool | 11 | main :: Bool |
| 12 | main = _rhs True | 12 | main = _rhs True |