fix return type of verify

Author: janmasrovira

src/Juvix/Compiler/Builtins/Anoma.hs

@@ -141,9 +141,10 @@ checkSecp256k1Verify f = do
   let ftype = f ^. axiomType
       l = getLoc f
   nat_ <- getBuiltinNameScoper l BuiltinNat
+  bool_ <- getBuiltinNameScoper l BuiltinBool
   unless
-    (ftype === (nat_ --> nat_ --> nat_ --> nat_))
-    $ builtinsErrorText l (prettyText BuiltinAnomaSecp256k1Verify <> " must be of type (msg signature pubKey : Nat) -> Nat")
+    (ftype === (nat_ --> nat_ --> nat_ --> bool_))
+    $ builtinsErrorText l (prettyText BuiltinAnomaSecp256k1Verify <> " must be of type (msg signature pubKey : Nat) -> Bool")
 
 checkKeccak256 ::
   (Members '[Reader BuiltinsTable, Error ScoperError, NameIdGen] r) =>

tests/Anoma/Compilation/positive/test090.juvix

@@ -54,7 +54,7 @@ builtin secp256k1-sign-compact
 axiom sign (msg privKey : Nat) : PrimitiveSignature;
 
 builtin secp256k1-verify
-axiom verify (msg signature pubKey : Nat) : Nat;
+axiom verify (msg signature pubKey : Nat) : Bool;
 
 universal : ByteArray :=
   mkByteArray