Use ObjBody for pretty printing

Author: AnsonYeung

hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala

@@ -92,7 +92,7 @@ extends Importer:
         fieldOrVarSym(Handler, id)
       val newCtx = ctx.copy(locals = ctx.locals + (id.name -> sym))
       Term.Blk(
-        Term.Handle(sym, term(cls)(using newCtx), block(sts)._1) :: Nil,
+        Term.Handle(sym, term(cls)(using newCtx), ObjBody(block(sts)._1)) :: Nil,
         term(body)(using newCtx)
       )
 

hkmc2/shared/src/main/scala/hkmc2/semantics/Term.scala

@@ -34,7 +34,7 @@ enum Term extends Statement:
   case Deref(ref: Term)
   case Ret(result: Term)
   case Try(body: Term, finallyDo: Term)
-  case Handle(lhs: LocalSymbol, rhs: Term, defs: Term.Blk)
+  case Handle(lhs: LocalSymbol, rhs: Term, defs: ObjBody)
 
   var symbol: Opt[Symbol] = N
 
@@ -121,7 +121,7 @@ sealed trait Statement extends AutoLocated:
       td.rhs.toList
     case Import(sym, pth) => Nil
     case Try(body, finallyDo) => body :: finallyDo :: Nil
-    case Handle(lhs, rhs, defs) => rhs :: defs :: Nil
+    case Handle(lhs, rhs, defs) => rhs :: defs._1 :: Nil
 
   protected def children: Ls[Located] = this match
     case t: Lit => t.lit.asTree :: Nil

hkmc2/shared/src/test/mlscript/parser/Handler.mls

@@ -79,7 +79,7 @@ in
 //│       Handle:
 //│         lhs = globalThis:block#5.h
 //│         rhs = Ref of class:Eff
-//│         defs = Blk:
+//│         defs = ObjBody of Blk:
 //│           stats = Ls of 
 //│             TermDefinition:
 //│               k = Fun