testdata/language-features/guard/guard08.out


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

main is not found
------------ desugared source code
value
  = _lhs
    value
    (case'Bool
      (\(_ :: _) -> _)
      (case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs "False") False)
      (_rhs "True")
      True)
------------ core code
value :: String
value = _rhs "True"
------------ tooltips
testdata/language-features/guard/guard08.lc 1:1-1:6
    String
testdata/language-features/guard/guard08.lc 1:7-1:11
    Bool
testdata/language-features/guard/guard08.lc 1:7-1:32
    String
testdata/language-features/guard/guard08.lc 1:12-1:18
    String
testdata/language-features/guard/guard08.lc 1:12-1:32
    Bool -> String
testdata/language-features/guard/guard08.lc 1:19-1:24
    Bool
testdata/language-features/guard/guard08.lc 1:19-1:32
    String
testdata/language-features/guard/guard08.lc 1:25-1:32
    String