diff options
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" |