Make CustomCallChecker.check abstract again

CQCL · Nov 24, 2023 · 0b4ee03 · 0b4ee03
1 parent 0851fd6
commit 0b4ee03
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/guppy/custom.py b/guppy/custom.py
@@ -162,15 +162,12 @@ def _setup(self, ctx: Context, node: AstNode, func: CustomFunction) -> None:
         self.node = node
         self.func = func
 
+    @abstractmethod
     def check(self, args: list[ast.expr], ty: GuppyType) -> ast.expr:
         """Checks the return value against a given type.
 
         Returns a (possibly) transformed and annotated AST node for the call.
         """
-        args, actual = self.synthesize(args)
-        raise GuppyTypeError(
-            f"Expected expression of type `{ty}`, got `{actual}`", self.node
-        )
 
     @abstractmethod
     def synthesize(self, args: list[ast.expr]) -> tuple[ast.expr, GuppyType]: