save

chester-lang · Oct 27, 2024 · f8616ad · f8616ad
1 parent 62a4c7e
commit f8616ad
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/syntax/src/main/scala/chester/syntax/core/Term.scala b/syntax/src/main/scala/chester/syntax/core/Term.scala
@@ -140,9 +140,11 @@ case class FCallTerm(
 object FCallTerm {}
 
 sealed trait Pat extends SpecialTerm derives ReadWriter {
+  override type ThisTree <: Pat
 }
 
 case class Bind(bind: LocalV, ty: Term, meta: OptionTermMeta) extends Pat {
+  override type ThisTree = Bind
   override def toDoc(using options: PrettierOptions): Doc = bind.toDoc <+> Docs.`:` <+> ty.toDoc
   override def descent(f: Term => Term, g: TreeMap[Term]): Term = thisOr(copy(bind=g(bind), ty = f(ty)))
 }