feat: function insertion IR done, code gen will be easy

2022-11-29 13:37:16 -05:00
parent 4129cf92c9
commit 02ee129615
4 changed files with 413 additions and 78 deletions
--- a/examples/sample/validators/swap.ak
+++ b/examples/sample/validators/swap.ak
@@ -51,8 +51,8 @@ pub type Datum {

 pub fn spend(datum: Datum, _rdmr: Nil, _ctx: Nil) -> Bool {
  when datum is {
-    Offer { price, thing: t, .. } -> price > 0
+    Offer { price, thing: t, .. } -> add_one(price) > 0
    Hold(less) -> less < 0
-    Sell -> False
+    Sell -> add_one(1) > 1
  }
 }