refactor: Make ProvideElaboraterBlock extend ElaboraterBlock

chester-lang · Feb 18, 2025 · 6a3fa13 · 6a3fa13
1 parent bc29d5c
commit 6a3fa13
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/semantic/shared/src/main/scala/chester/tyck/ElaboraterFunction.scala b/semantic/shared/src/main/scala/chester/tyck/ElaboraterFunction.scala
@@ -6,7 +6,7 @@ import chester.tyck.api.SemanticCollector
 import chester.error.*
 import chester.uniqid.*
 
-trait ElaboraterFunction extends ProvideCtx with Elaborater {
+trait ElaboraterFunction { this: ElaboraterBase & ElaboraterCommon =>
   def elabFunction(
       expr: FunctionExpr,
       ty: CellId[Term],
@@ -19,7 +19,7 @@ trait ElaboraterFunction extends ProvideCtx with Elaborater {
   ): Term
 }
 
-trait ProvideElaboraterFunction extends ElaboraterFunction {
+trait ProvideElaboraterFunction extends ElaboraterFunction { this: Elaborater & ElaboraterBase & ElaboraterCommon =>
   // Flag to enable or disable termination checking
   val terminationCheckEnabled: Boolean = true // Set to false to disable termination checking