summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/def01.out
blob: db50c5c4371daa6d751cacd6db2fc87775748ec1 (plain)
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
main is not found
------------ desugared source code
unit = _lhs unit (_rhs ())

fun1 = _lhs fun1 \(_ :: _) -> _rhs (fromInt 1)

fun2 = _lhs fun2 \(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs 'c'
------------ core code
fun1 :: forall a b . Num b => a -> b
fun1 = \a b c _ -> _rhs (fromInt b c 1)

fun2 :: forall a b c d e . a -> b -> c -> d -> e -> Char
fun2 = \a b c d e _ _ _ _ _ -> _rhs 'c'

unit :: ()
unit = _rhs ()
------------ tooltips
1:1-1:5
    ()
1:8-1:10
    ()
3:1-3:5
    forall a b . Num b => a -> b
3:10-3:11
    _b
5:1-5:5
    forall a b c d e . a -> b -> c -> d -> e -> Char
5:18-5:21
    Char