blob: 1d173fb2216467515e8516b55764fb2d7777cfa8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
------------ desugared source code
fun = \(a :: _) -> case'Bool (\_ -> _) (_rhs "False") (_rhs "True") a
main is not found
------------ trace
fun :: Bool -> String
------------ tooltips
testdata/language-features/guard/guard11.lc 1:1-1:4
Bool -> String
testdata/language-features/guard/guard11.lc 2:5-2:6
_b
testdata/language-features/guard/guard11.lc 2:5-3:24
String
testdata/language-features/guard/guard11.lc 2:9-2:15
String
testdata/language-features/guard/guard11.lc 2:9-3:24
Bool -> String
testdata/language-features/guard/guard11.lc 3:17-3:24
String
|
