chore: acceptance tests v3 syntax

examples/acceptance_tests/036/validators/spend.ak

@@ -12,15 +12,15 @@ pub fn has_policy_id(self: Output, policy_id: PolicyId) -> Bool {
     |> not
 }
 
-validator {
+validator foo {
-  fn spend(_datum: Data, _redeemer: Data, ctx: ScriptContext) -> Bool {
+  spend(_datum: Data, _redeemer: Data, o_ref: Data, tx: Transaction) -> Bool {
     ctx.transaction.outputs
       |> list.any(has_policy_id(_, my_policy_id))
   }
 }
 
-validator(output_reference: OutputReference) {
+validator bar(output_reference: OutputReference) {
-  fn mint(_redeemer: Void, ctx: ScriptContext) -> Bool {
+  mint(_redeemer: Void, _policy_id: Data, tx: Transaction) -> Bool {
     when
       list.find(
         ctx.transaction.inputs,

examples/acceptance_tests/047/validators/foo.ak

@@ -1,5 +1,5 @@
-validator {
+validator foo {
-  fn spend(_datum: Void, _redeemer: Void, _ctx: Void) -> Bool {
+  spend(_datum: Void, _redeemer: Void, oref: Data, _tx: Void) -> Bool {
     True
   }
 }

examples/acceptance_tests/071/validators/spend.ak

@@ -90,7 +90,7 @@ pub fn validate_pool_borrow(
   True
 }
 
-validator {
+validator foo {
   spend(datum: PoolDatum, redeemer: PoolRedeemer, output_ref: OutputReference, transaction: Transaction) {
     when redeemer.action is {
       PoolWithdraw(_) -> True

examples/acceptance_tests/077/validators/spend.ak

@@ -8,7 +8,7 @@ type Action {
   Burn
 }
 
-validator(token_name: ByteArray, utxo_ref: OutputReference) {
+validator foo(token_name: ByteArray, utxo_ref: OutputReference) {
   mint(rdmr: Action, policy_id: PolicyId, transaction: Transaction) -> Bool {
     let Transaction { inputs, mint, .. } = transaction
     expect [Pair(asset_name, amount)] =

examples/acceptance_tests/077/validators/spend2.ak

@@ -1,7 +1,7 @@
 use aiken/collection/list
 use cardano/transaction.{Output, Transaction}
 
-validator {
+validator foo {
   spend(
     _datum: Void,
     _redeemer: Void,

examples/acceptance_tests/079/validators/foo.ak

@@ -1,9 +1,9 @@
-validator {
+validator foo {
-  fn spend(datum: Int, redeemer: Int, _ref: Data, _transaction: Data) {
+  spend(datum: Int, redeemer: Int, _ref: Data, _transaction: Data) {
     datum + redeemer == 42
   }
 
-  fn mint(redeemer: Int, _policy: ByteArray, _transaction: Data) {
+  mint(redeemer: Int, _policy: ByteArray, _transaction: Data) {
     redeemer == 42
   }
 }

examples/acceptance_tests/086/validators/other.ak

@@ -1,4 +1,4 @@
-use aiken/transaction.{ScriptContext}
+use aiken/transaction.{Transaction}
 use aiken/transaction/credential.{Address}
 
 type TestData {
@@ -9,8 +9,8 @@ type TestDatum {
   data: Option<TestData>,
 }
 
-validator {
+validator validate {
-  fn validate(raw_datum: Data, _redeemer: Data, _context: ScriptContext) -> Bool {
+  spend(raw_datum: Option<Data>, _redeemer: Data, oref: Data, _tx: Transaction) -> Bool {
     expect datum: TestDatum = raw_datum
     let TestDatum { data } = datum
     when data is {

examples/acceptance_tests/089/validators/test2.ak

@@ -25,8 +25,8 @@ pub fn keyhash_address(keyhash: ByteArray) {
   }
 }
 
-validator(utxo_ref: OutputReference) {
+validator simple_oneshot(utxo_ref: OutputReference) {
-  fn simple_oneshot(_r: Void, ctx: ScriptContext) -> Bool {
+  mint(_r: Void, oref: Data, ctx: ScriptContext) -> Bool {
     let ScriptContext { transaction, purpose } = ctx
     let Transaction { inputs, .. } = transaction
 

examples/acceptance_tests/090/validators/foo.ak

@@ -1,8 +1,8 @@
 const foo =
   45898945895546556456546223123184821312385384845153123213185685815615232323484552
 
-validator {
+validator foo {
-  fn spend(datum: Int, _redeemer: Data, _context: Data) {
+  spend(datum: Int, _redeemer: Data, o_ref: Data, _tx: Data) {
     datum == foo
   }
 }

examples/acceptance_tests/096/validators/foo.ak

@@ -1,7 +1,7 @@
 use aiken/transaction.{ScriptContext}
 
-validator {
+validator is_fourty_two {
-  fn is_fourty_two(dat, rdm, _ctx: ScriptContext) -> Bool {
+  spend(dat, rdm, oref, _ctx: Transaction) -> Bool {
     rdm == dat && #"68656c6c6f20776f726c64" == #"68656c6c6f20776f726c64"
   }
 }