main is not found
------------ desugared source code
value1
  = _rhs
    ((\(a :: _) -> case'Bool
        (\(_ :: _) -> _)
        ()
        (let b = _rhs () in b)
        (fromInt 1 == a))
      (fromInt 1))

value2
  = _rhs
    ((\(a :: _) -> case'Bool
        (\(_ :: _) -> _)
        ()
        (let b = _rhs () in b)
        (fromInt 1 == a))
      (fromInt 1))

value3
  = _rhs
    ((\(a :: _) -> case'Bool
        (\(_ :: _) -> _)
        ()
        (let b = _rhs () in b)
        (fromInt 1 == a))
      (fromInt 1))

value4
  = _rhs
    let a = _rhs () in (\(b :: _) -> case'Bool
        (\(_ :: _) -> _)
        ()
        a
        (fromInt 1 == b))
      (fromInt 1)
------------ core code
value1 :: forall a . (Eq a, Num a) => ()
value1
  = \a b c -> _rhs
    (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))

value2 :: forall a . (Eq a, Num a) => ()
value2
  = \a b c -> _rhs
    (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))

value3 :: forall a . (Eq a, Num a) => ()
value3
  = \a b c -> _rhs
    (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))

value4 :: forall a . (Eq a, Num a) => ()
value4
  = \a b c -> _rhs
    (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
------------ tooltips
testdata/language-features/basic-values/where05.lc 1:1-1:7
    forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 1:10-3:10
    ()
testdata/language-features/basic-values/where05.lc 1:15-1:16
    _b
testdata/language-features/basic-values/where05.lc 2:8-2:9
    ()
testdata/language-features/basic-values/where05.lc 2:8-3:10
    Bool -> ()
testdata/language-features/basic-values/where05.lc 2:20-2:22
    ()
testdata/language-features/basic-values/where05.lc 3:8-3:10
    ()
testdata/language-features/basic-values/where05.lc 5:1-5:7
    forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 5:10-8:10
    ()
testdata/language-features/basic-values/where05.lc 5:15-5:16
    _b
testdata/language-features/basic-values/where05.lc 6:8-6:9
    ()
testdata/language-features/basic-values/where05.lc 6:8-8:10
    Bool -> ()
testdata/language-features/basic-values/where05.lc 7:14-7:16
    ()
testdata/language-features/basic-values/where05.lc 8:8-8:10
    ()
testdata/language-features/basic-values/where05.lc 10:1-10:7
    forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 10:10-14:10
    ()
testdata/language-features/basic-values/where05.lc 10:15-10:16
    _b
testdata/language-features/basic-values/where05.lc 11:8-11:9
    ()
testdata/language-features/basic-values/where05.lc 11:8-14:10
    Bool -> ()
testdata/language-features/basic-values/where05.lc 13:8-13:10
    ()
testdata/language-features/basic-values/where05.lc 14:8-14:10
    ()
testdata/language-features/basic-values/where05.lc 16:1-16:7
    forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 16:10-18:10
    ()
testdata/language-features/basic-values/where05.lc 16:15-16:16
    _b
testdata/language-features/basic-values/where05.lc 17:8-17:9
    ()
testdata/language-features/basic-values/where05.lc 17:8-18:10
    Bool -> ()
testdata/language-features/basic-values/where05.lc 18:8-18:10
    ()
testdata/language-features/basic-values/where05.lc 21:6-21:8
    ()