@taqueria/plugin-ligo 0.40.10 → 0.40.14

package/_readme.eta

@@ -6,8 +6,8 @@ The LIGO plugin provides tasks to work with LIGO smart contracts such as compili
 
 ## Requirements
 
-- Taqueria v0.26.0 or later
-- Node.js v16.16 or later. (v17.x.x or later is not supported)
+- Taqueria v0.40.0 or later
+- Node.js v18 or later
 - Docker v20.10.12 or later
 
 ## Installation
@@ -81,47 +81,48 @@ taq test <fileName>
 ### Basic description
 This task tests the LIGO source code and reports either a failure or success. Normally you'd have a contract file and a separate test file that includes the contract's code, both within the `contracts` directory
 
-For example, refer to the following 2 code snippets:
-```ligo title="counter.mligo"
-type storage = int
+For example, refer to the following snippets:
+```ligo title="IncDec.jsligo"
+export namespace IncDec {
+  export type storage = int;
+  type ret = [list<operation>, storage];
+  // Three entrypoints
+
+  @entry
+  const increment = (delta: int, store: storage): ret =>
+    [list([]), store + delta];
+  @entry
+  const decrement = (delta: int, store: storage): ret =>
+    [list([]), store - delta];
+  @entry
+  const reset = (_p: unit, _s: storage): ret => [list([]), 0]
+};
 
-type parameter =
-  Increment of int
-| Decrement of int
-| Reset
-
-type return = operation list * storage
-
-// Two entrypoints
-
-let add (store, delta : storage * int) : storage = store + delta
-let sub (store, delta : storage * int) : storage = store - delta
-
-(* Main access point that dispatches to the entrypoints according to
-   the smart contract parameter. *)
-
-let main (action, store : parameter * storage) : return =
- ([] : operation list),    // No operations
- (match action with
-   Increment (n) -> add (store, n)
- | Decrement (n) -> sub (store, n)
- | Reset         -> 0)
 ```
 
-```ligo title="testCounter.mligo"
-#include "counter.mligo"
-
-let initial_storage = 42
-
-let test_initial_storage =
- let (taddr, _, _) = Test.originate main initial_storage 0tez in
- assert (Test.get_storage taddr = initial_storage)
-
-let test_increment =
- let (taddr, _, _) = Test.originate main initial_storage 0tez in
- let contr = Test.to_contract taddr in
- let _ = Test.transfer_to_contract_exn contr (Increment 1) 1mutez in
- assert (Test.get_storage taddr = initial_storage + 1)
+```ligo title="testIncDec.jsligo"
+#import "IncDec.jsligo" "Contract"
+
+/* Tests for main access point */
+
+const test_initial_storage =
+  (
+    () => {
+      let initial_storage = 42;
+      let contract = Test.originate(contract_of (Contract.IncDec), initial_storage, 0 as tez);
+      return assert(Test.get_storage(contract.addr) == initial_storage)
+    }
+  )();
+
+const test_increment =
+  (
+    () => {
+      let initial_storage = 42;
+      let contract  = Test.originate(contract_of (Contract.IncDec), initial_storage, 0 as tez);
+      let _ = Test.transfer_exn(contract.addr, (Increment (1)), 1mutez);
+      return assert(Test.get_storage(contract.addr) == initial_storage + 1)
+    }
+  )();
 ```
 
 By running `taq test testCounter.mligo`, you should get the following:
@@ -129,11 +130,11 @@ By running `taq test testCounter.mligo`, you should get the following:
 ┌───────────────────┬──────────────────────────────────────────────┐
 │ Contract          │ Test Results                                 │
 ├───────────────────┼──────────────────────────────────────────────┤
-│ testCounter.mligo │ Everything at the top-level was executed.    │
+│ testIncDec.jsligo │ Everything at the top-level was executed.    │
 │                   │ - test_initial_storage exited with value (). │
 │                   │ - test_increment exited with value ().       │
 │                   │                                              │
-│                   │ 🎉 All tests passed 🎉                      │
+│                   │ 🎉 All tests passed 🎉                       │
 └───────────────────┴──────────────────────────────────────────────┘
 ```