main is not found
------------ desugared source code
value1
  = _lhs value1 (_rhs let a = _lhs (+=+) \(_ :: _) (_ :: _) -> _rhs () in a () ())
------------ core code
value1 :: ()
value1 = _rhs ()
------------ tooltips
testdata/language-features/basic-values/operator05.lc 1:1-1:7
    ()
testdata/language-features/basic-values/operator05.lc 1:24-1:26
    ()
testdata/language-features/basic-values/operator05.lc 2:13-2:15
    ()
testdata/language-features/basic-values/operator05.lc 2:13-2:19
    _a -> ()
testdata/language-features/basic-values/operator05.lc 2:13-2:22
    ()
testdata/language-features/basic-values/operator05.lc 2:16-2:19
    forall a b . a -> b -> ()
testdata/language-features/basic-values/operator05.lc 2:20-2:22
    ()