blob: 89ee58f1c1ab74288f31326755aab0d7a2ae1b1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
------------ desugared source code
f = _rhs \(a := _rhs \(c := _rhs 1.0) -> c) (b := _rhs 1.0) -> b
main is not found
------------ trace
f :: Float
------------ tooltips
testdata/where.lc 3:1-3:2
Float
testdata/where.lc 3:5-3:6
Float
testdata/where.lc 5:9-5:10
Float
testdata/where.lc 7:13-7:16
Float
testdata/where.lc 8:9-8:12
Float
|