------------ desugared source code
value1
  = _rhs
    ((\(a :: _) -> 'BoolCase \_ -> _ :: _ HNil HNil (fromInt 1 == a)) (fromInt 1))
value2
  = _rhs
    ((\(a :: _) -> 'BoolCase
        \_ -> _ :: _
        ('BoolCase \_ -> _ :: _ "_" "2" (fromInt 2 == a))
        "1"
        (fromInt 1 == a))
      (fromInt 2))
main is not found
------------ trace
value1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m
value2 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m, [32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => String[0m
------------ tooltips
testdata/language-features/basic-values/case02.lc 1:1-1:7  forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/case02.lc 1:10-3:10  ()
testdata/language-features/basic-values/case02.lc 1:15-1:16  _b
testdata/language-features/basic-values/case02.lc 2:8-2:10  ()
testdata/language-features/basic-values/case02.lc 2:8-3:10  Bool -> ()
testdata/language-features/basic-values/case02.lc 3:8-3:10  ()
testdata/language-features/basic-values/case02.lc 5:1-5:7  forall a . (Eq a, Num a, Eq a, Num a) => String
testdata/language-features/basic-values/case02.lc 5:10-8:11  String
testdata/language-features/basic-values/case02.lc 5:15-5:16  _b
testdata/language-features/basic-values/case02.lc 6:8-6:11  String
testdata/language-features/basic-values/case02.lc 6:8-8:11  Bool -> String
testdata/language-features/basic-values/case02.lc 7:8-7:11  String
testdata/language-features/basic-values/case02.lc 7:8-8:11  Bool -> String | String
testdata/language-features/basic-values/case02.lc 8:8-8:11  String