up

chester-lang · Sep 17, 2024 · 642ad7b · 642ad7b
1 parent b8d658f
commit 642ad7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/shared/src/main/scala/chester/tyck/FunctionTycker.scala b/core/shared/src/main/scala/chester/tyck/FunctionTycker.scala
@@ -81,7 +81,7 @@ trait FunctionTycker[Self <: TyckerBase[Self] & FunctionTycker[Self] & EffTycker
 
   def checkCallingTelescope(f: FunctionType, telescope: Vector[MaybeTelescope], effects: Option[Effects]) = ???
 
-  def synthesizeFunctionCall(call: FunctionCall, effects: Option[Effects]): Judge = {
+  def synthesizeFunctionCall(call: DesaltFunctionCall, effects: Option[Effects]): Judge = {
     val function = this.synthesize(call.function, effects)
     function.ty match {
       case fty: FunctionType => ???