summaryrefslogtreecommitdiff
path: root/testdata/language-features/pattern/unreachable.out
blob: 5c8251d12e13952429611c124ef79471bfbd8c91 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
main is not found
------------ desugared source code
f = _lhs f \(_ :: _) -> _rhs "hello"
------------ core code
f :: forall a . a -> String
f = \a _ -> _rhs "hello"
------------ tooltips
4:1-4:2
    forall a . a -> String
4:7-4:14
    String
------------ warnings
Source code is not reachable: testdata/language-features/pattern/unreachable.lc:5:7:
f _ = "world"
      ^^^^^^^