diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:40:30 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:40:30 +0200 |
| commit | f468a49a43193caffe92cdd48a52a699880e14ef (patch) | |
| tree | 255c8b454e9a75d05397468b849b8f5b032a878a /testdata/ambig.out | |
| parent | fa47957b930c53d78d2da0bcb948e2fbff11f59d (diff) | |
refactoring
Diffstat (limited to 'testdata/ambig.out')
| -rw-r--r-- | testdata/ambig.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/ambig.out b/testdata/ambig.out index ce1a76fb..53770b84 100644 --- a/testdata/ambig.out +++ b/testdata/ambig.out | |||
| @@ -1,3 +1,4 @@ | |||
| 1 | main is not found | ||
| 1 | ------------ desugared source code | 2 | ------------ desugared source code |
| 2 | h | 3 | h |
| 3 | = \(a :: _) (b :: _) _ -> _rhs | 4 | = \(a :: _) (b :: _) _ -> _rhs |
| @@ -11,7 +12,6 @@ h | |||
| 11 | f) | 12 | f) |
| 12 | d) | 13 | d) |
| 13 | b)) -> c | 14 | b)) -> c |
| 14 | main is not found | ||
| 15 | ------------ trace | 15 | ------------ trace |
| 16 | h :: forall a b c d . (b -> d -> c) -> (b, d) -> a -> c | 16 | h :: forall a b c d . (b -> d -> c) -> (b, d) -> a -> c |
| 17 | ------------ tooltips | 17 | ------------ tooltips |