diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-06 12:29:36 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-06 12:29:36 +0200 |
| commit | d353a29bb93d3105a763465300b28250117c3f40 (patch) | |
| tree | 1517e23109d5e3c266b634b3c7af4dd4ca29e4d7 /testdata/letIndent.out | |
| parent | 3430070058610b6aeab2543bc050bb1cf2e95d0c (diff) | |
show typechecked source code in .out files & fix local function handling (again)
Diffstat (limited to 'testdata/letIndent.out')
| -rw-r--r-- | testdata/letIndent.out | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testdata/letIndent.out b/testdata/letIndent.out index 8818ab73..3d5160fb 100644 --- a/testdata/letIndent.out +++ b/testdata/letIndent.out | |||
| @@ -1,8 +1,9 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | fun = \(a :: _) -> _rhs let b = _rhs (fromInt 1); c = _rhs (fromInt 2) in a | 3 | fun = \(a :: _) -> _rhs let b = _rhs (fromInt 1); c = _rhs (fromInt 2) in a |
| 4 | ------------ trace | 4 | ------------ core code |
| 5 | fun :: forall a . a -> a | 5 | fun :: forall a . a -> a |
| 6 | fun = \_ a -> _rhs a | ||
| 6 | ------------ tooltips | 7 | ------------ tooltips |
| 7 | testdata/letIndent.lc 2:1-2:4 | 8 | testdata/letIndent.lc 2:1-2:4 |
| 8 | forall a . a -> a | 9 | forall a . a -> a |