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