Having 2 functions inside validator doesn't seem to work?

[eddiemundo]

What Git revision are you using?

fb5f81d

Describe what the problem is?

I have

use aiken/list
use aiken/transaction.{ScriptContext, Mint, Spend, Output, Transaction, NoDatum, InlineDatum, DatumHash, find_datum}
use aiken/transaction/credential.{ScriptCredential}

validator {
  fn policy(_action: Data, context: ScriptContext) -> Bool {
    let tx = context.transaction
    when context.purpose is {
      Mint(policy_id) -> {
        expect Some(output) = list.head(tx.outputs)
        output.address.payment_credential == ScriptCredential(policy_id)
      }
      _ -> False
    }
  }
  fn script(_datum: Data, _action: Data, context: ScriptContext) -> Bool {
    when context.purpose is {
      Spend(_ref) -> {
        True
      }
      _ -> False
    }
  }
}

I minted a token with policy id equal to validator hash and sent it to the validator hash. The policy function is run and works. Then I tried to spend the output at that validator hash. That doesn't work. Instead I get

error: Uncaught (in promise) "Redeemer (Spend, 0): Empty List:\n\nCon(\n    ProtoList(\n        Data,\n        [],\n    ),\n)\n\nExBudget {\n    mem: 262,\n    cpu: 564597,\n}\n\n"

I have a feeling it's trying to give 3 parameters to the policy function.

What should be the expected behavior?

I expect the script function to be run when spending an input at the validator hash. Otherwise what is the point of being able to have 2 functions inside the validator scope?

[rvcas]

@eddiemundo You have to wrap the redeemer in a 1 tag. Double check your plutus.json for the correct shape of the redeemer.

[eddiemundo]

Thank you this actually works!