add fpcore check

herbie-fp · Aug 26, 2024 · 2d446b3 · 2d446b3
1 parent ca84d09
commit 2d446b3
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/syntax/syntax.rkt b/src/syntax/syntax.rkt
@@ -342,9 +342,11 @@
     (cond
       [fpcore ; provided -> TODO: check free variables, props
        (match fpcore
-         [`(! ,props ... (,operator ,args ...)) (void)]
+         [`(! ,props ... (,operator ,args ...))
+          (unless (even? (length props))
+            (error 'register-operator-impl! "umatched property for ~a: ~a" name fpcore))]
          [`(,operator ,args ...) (void)]
-         [_ (raise-herbie-syntax-error "Invalid fpcore for ~a: ~a" name fpcore)])
+         [_ (error 'register-operator-impl! "Invalid fpcore for ~a: ~a" name fpcore)])
        fpcore]
       [else ; not provided => need to generate it
        (define repr (context-repr ctx))