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/id.out | |
| parent | 95e006bf5afa8d3473e3fe4401f4c9316186a428 (diff) | |
mutual function definitions
Diffstat (limited to 'testdata/id.out')
| -rw-r--r-- | testdata/id.out | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testdata/id.out b/testdata/id.out index e9d1758f..c964ee71 100644 --- a/testdata/id.out +++ b/testdata/id.out | |||
| @@ -1,7 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | main' | 3 | main' = _lhs main' (_rhs let a = \(b :: _) -> b in (a 4.0, a True)) |
| 4 | = _lhs main' (_rhs let a = _lhs id' (_rhs \(b :: _) -> b) in (a 4.0, a True)) | ||
| 5 | ------------ core code | 4 | ------------ core code |
| 6 | main' :: (Float, Bool) | 5 | main' :: (Float, Bool) |
| 7 | main' = _rhs (4.0, True) | 6 | main' = _rhs (4.0, True) |