------------ desugared source code
value
  = _rhs
    \(a := _rhs HNil)
      (b := _rhs \(d := _rhs 'A') -> HNil)
        (c
          := _rhs
            \(e := _rhs HNil) (f := _rhs (fromInt 1)) (g := _rhs "hello") -> 'B') -> HNil
main is not found
------------ trace
value :: ()
------------ tooltips
testdata/language-features/basic-values/let02.lc 1:1-1:6  ()
testdata/language-features/basic-values/let02.lc 2:11-2:13  ()
testdata/language-features/basic-values/let02.lc 3:19-3:22  Char
testdata/language-features/basic-values/let02.lc 3:26-3:28  ()
testdata/language-features/basic-values/let02.lc 5:17-5:19  ()
testdata/language-features/basic-values/let02.lc 6:17-6:18  _b
testdata/language-features/basic-values/let02.lc 7:17-7:24  String
testdata/language-features/basic-values/let02.lc 8:12-8:15  Char
testdata/language-features/basic-values/let02.lc 9:6-9:8  ()