Switch to aiken 1.1.3

CardanoSolutions · Sep 22, 2024 · 6e1979d · 6e1979d
1 parent 4891b74
commit 6e1979d
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 8 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -12,7 +12,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: aiken-lang/setup-aiken@v1
         with:
-          version: v1.1.2
+          version: v1.1.3
       - run: aiken fmt --check
       - run: aiken check -D
       - run: aiken build
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,10 @@ build/
 docs/
 # Aiken lock file
 aiken.lock
+
+# Generated by Cargo
+# will have compiled files and executables
+debug/
+target/
+# These are backup files generated by rustfmt
+**/*.rs.bk
diff --git a/aiken.toml b/aiken.toml
@@ -1,6 +1,6 @@
 name = "cardanosolutions/proxy-dreps"
 version = "0.0.0"
-compiler = "v1.1.2"
+compiler = "v1.1.3"
 plutus = "v3"
 license = "MPL-2.0"
 description = "Aiken contracts for project 'cardanosolutions/proxy-dreps'"

diff --git a/lib/aiken/collection/list/extra.ak b/lib/aiken/collection/list/extra.ak
@@ -5,8 +5,7 @@
 /// Insert an element in a list at the given position.
 pub fn insert(self: List<a>, ix: Int, elem: a) -> List<a> {
   when self is {
-    [] ->
-      [elem]
+    [] -> [elem]
     [head, ..tail] ->
       if ix == 0 {
         [elem, head, ..tail]

diff --git a/validators/zhuli.test.ak b/validators/zhuli.test.ak
@@ -340,11 +340,9 @@ fn register(
           fn(o) { o.address.payment_credential == Script(validator_hash) },
         )
       when n_ours is {
-        0 ->
-          [sc_no_required_initial_output, ..labels]
+        0 -> [sc_no_required_initial_output, ..labels]
         1 -> labels
-        _ ->
-          [sc_too_many_initial_outputs, ..labels]
+        _ -> [sc_too_many_initial_outputs, ..labels]
       }
     } else {
       list.filter(