main is not found
------------ desugared source code
value1 :: Int
value1 = _rhs (fromInt 1)

value2 :: Int
value2 = _rhs (fromInt 2)

value3 :: Int
value3 = _rhs (fromInt 3)

value4 :: HList '[] -> HList '[] -> HList '[]
value4 = \_ _ -> _rhs HNil

(@@@) :: HList '[] -> HList '[] -> HList '[]
(@@@) = \_ _ -> _rhs HNil

value6 :: HList '[] -> HList '[] -> HList '[]
value6 = \_ _ -> _rhs HNil
------------ trace
value1 :: Int
value2 :: Int
value3 :: Int
value4 :: () -> () -> ()
(@@@) :: () -> () -> ()
value6 :: () -> () -> ()
------------ tooltips
testdata/language-features/basic-values/typesig07.lc 1:27-1:30
    Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 3:1-3:7
    Int
testdata/language-features/basic-values/typesig07.lc 3:10-3:11
    _b
testdata/language-features/basic-values/typesig07.lc 4:1-4:7
    Int
testdata/language-features/basic-values/typesig07.lc 4:10-4:11
    _b
testdata/language-features/basic-values/typesig07.lc 5:1-5:7
    Int
testdata/language-features/basic-values/typesig07.lc 5:10-5:11
    _b
testdata/language-features/basic-values/typesig07.lc 8:12-8:14
    Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:20
    Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:26
    Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 8:24-8:26
    Type | Type | Type | Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 10:1-10:7
    () -> () -> ()
testdata/language-features/basic-values/typesig07.lc 10:14-10:16
    ()
testdata/language-features/basic-values/typesig07.lc 11:3-11:6
    () -> () -> ()
testdata/language-features/basic-values/typesig07.lc 11:11-11:13
    ()
testdata/language-features/basic-values/typesig07.lc 12:1-12:7
    () -> () -> ()
testdata/language-features/basic-values/typesig07.lc 12:14-12:16
    ()