------------ desugared source code
value1 = _rhs (fromInt 1) :: Int
value2 = _rhs (fromInt 2) :: Int
value3 = _rhs (fromInt 3) :: Int
value4 = (\_ -> \_ -> _rhs HNil) :: HList 'Nil -> HList 'Nil -> HList 'Nil
@@@ = (\_ -> \_ -> _rhs HNil) :: HList 'Nil -> HList 'Nil -> HList 'Nil
value6 = (\_ -> \_ -> _rhs HNil) :: HList 'Nil -> HList 'Nil -> HList 'Nil
main is not found
------------ trace
value1 :: Int
value2 :: Int
value3 :: Int
value4 :: () -> () -> ()
@@@ :: () -> () -> ()
value6 :: () -> () -> ()
------------ tooltips
testdata/language-features/basic-values/typesig07.lc 1:27-1:30  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
testdata/language-features/basic-values/typesig07.lc 8:18-8:20  Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:26  Type
testdata/language-features/basic-values/typesig07.lc 8:24-8:26  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  () | () -> () | () -> () -> ()