blob: 60e73fccd17c232f7a9dc8a83408f859b11f1a1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
------------ desugared source code
value1
= _rhs
(concatMap \_ -> Cons \(a :: _) -> hlistNilCase (_ :: _) "Hello" a Nil Nil)
main is not found
------------ trace
value1 :: Type => List (() -> String)
------------ tooltips
testdata/language-features/basic-list/listcomp09.lc 1:1-1:7
Type => List (() -> String)
testdata/language-features/basic-list/listcomp09.lc 1:10-1:36
List (() -> String)
testdata/language-features/basic-list/listcomp09.lc 1:11-1:25
List (() -> String)
testdata/language-features/basic-list/listcomp09.lc 1:18-1:25
String
testdata/language-features/basic-list/listcomp09.lc 1:33-1:35
forall a . List a
|