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/language-features/basic-values/operator01.out | |
| parent | 3430070058610b6aeab2543bc050bb1cf2e95d0c (diff) | |
show typechecked source code in .out files & fix local function handling (again)
Diffstat (limited to 'testdata/language-features/basic-values/operator01.out')
| -rw-r--r-- | testdata/language-features/basic-values/operator01.out | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/testdata/language-features/basic-values/operator01.out b/testdata/language-features/basic-values/operator01.out index 8596dd0d..f239d6b3 100644 --- a/testdata/language-features/basic-values/operator01.out +++ b/testdata/language-features/basic-values/operator01.out | |||
| @@ -1,17 +1,24 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | (#$#) = \_ _ -> _rhs () | 3 | (#$#) = \(_ :: _) (_ :: _) -> _rhs () |
| 4 | 4 | ||
| 5 | ($$#) = \_ _ -> _rhs () | 5 | ($$#) = \(_ :: _) (_ :: _) -> _rhs () |
| 6 | 6 | ||
| 7 | ($$$#) = \_ _ -> _rhs () | 7 | ($$$#) = \(_ :: _) (_ :: _) -> _rhs () |
| 8 | 8 | ||
| 9 | ($$$) = \_ _ -> _rhs () | 9 | ($$$) = \(_ :: _) (_ :: _) -> _rhs () |
| 10 | ------------ trace | 10 | ------------ core code |
| 11 | (#$#) :: forall a b . a -> b -> () | 11 | #$# :: forall a b . a -> b -> () |
| 12 | ($$#) :: forall a b . a -> b -> () | 12 | #$# = \_ _ _ _ -> _rhs () |
| 13 | ($$$#) :: forall a b . a -> b -> () | 13 | |
| 14 | ($$$) :: forall a b . a -> b -> () | 14 | $$# :: forall a b . a -> b -> () |
| 15 | $$# = \_ _ _ _ -> _rhs () | ||
| 16 | |||
| 17 | $$$ :: forall a b . a -> b -> () | ||
| 18 | $$$ = \_ _ _ _ -> _rhs () | ||
| 19 | |||
| 20 | $$$# :: forall a b . a -> b -> () | ||
| 21 | $$$# = \_ _ _ _ -> _rhs () | ||
| 15 | ------------ tooltips | 22 | ------------ tooltips |
| 16 | testdata/language-features/basic-values/operator01.lc 1:3-1:6 | 23 | testdata/language-features/basic-values/operator01.lc 1:3-1:6 |
| 17 | forall a b . a -> b -> () | 24 | forall a b . a -> b -> () |