diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
commit | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (patch) | |
tree | 82ed1f4401c3cf2cd4910e5f2e62d0d3a8ac6904 /testdata/language-features/guard/guard08.out | |
parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) |
explicit lhs marks, first step
Diffstat (limited to 'testdata/language-features/guard/guard08.out')
-rw-r--r-- | testdata/language-features/guard/guard08.out | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index 5d6e6bdc..069c68c4 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out | |||
@@ -1,11 +1,13 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ desugared source code | 2 | ------------ desugared source code |
3 | value | 3 | value |
4 | = case'Bool | 4 | = _lhs |
5 | (\(_ :: _) -> _) | 5 | value |
6 | (case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs "False") False) | 6 | (case'Bool |
7 | (_rhs "True") | 7 | (\(_ :: _) -> _) |
8 | True | 8 | (case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs "False") False) |
9 | (_rhs "True") | ||
10 | True) | ||
9 | ------------ core code | 11 | ------------ core code |
10 | value :: String | 12 | value :: String |
11 | value = _rhs "True" | 13 | value = _rhs "True" |