Combined preprocessor topic

gitlab-pages/docs/compiling/src/preprocessor/euro.jsligo

@@ -0,0 +1,6 @@
+export type t = nat;
+
+export const add = (a: t, b: t): t => a + b;
+
+export const one: t = 1n;
+export const two: t = 2n;

gitlab-pages/docs/compiling/src/preprocessor/euro.mligo

@@ -0,0 +1,6 @@
+type t = nat
+
+let add (a, b : t * t) : t = a + b
+
+let one : t = 1n
+let two : t = 2n

gitlab-pages/docs/compiling/src/preprocessor/euro_namespace_public.jsligo

@@ -0,0 +1,9 @@
+// This file is gitlab-pages/docs/preprocessor/src/import/euro_namespace_public.jsligo
+
+@public
+namespace Euro {
+  export type t = nat;
+  export const add = (a: t, b: t) : t => a + b;
+  export const one: t = 1n;
+  export const two: t = 2n;
+};

gitlab-pages/docs/compiling/src/preprocessor/import_euro_public.jsligo

@@ -0,0 +1,6 @@
+#import "gitlab-pages/docs/compiling/src/preprocessor/euro_namespace_public.jsligo" "Euro_import"
+
+type euro_balance = Euro_import.Euro.t;
+
+const add_tip = (s: euro_balance): euro_balance =>
+  Euro_import.Euro.add(s, Euro_import.Euro.one);

gitlab-pages/docs/compiling/src/preprocessor/includereset.jsligo

@@ -0,0 +1,12 @@
+export namespace MyContract {
+  export type storage = int;
+  export type result = [list<operation>, storage];
+
+  @entry const increment = (delta : int, storage : storage) : result => [[], storage + delta];
+
+  @entry const decrement = (delta : int, storage : storage) : result => [[], storage - delta];
+
+  #if INCLUDE_RESET
+  @entry const reset = (_u : unit, _storage : storage) : result => [[], 0];
+  #endif
+}

gitlab-pages/docs/compiling/src/preprocessor/includereset.mligo

@@ -0,0 +1,12 @@
+module MyContract = struct
+  type storage = int
+  type result = operation list * storage
+
+  [@entry] let increment (delta : int) (storage : storage) : result = [],storage + delta
+
+  [@entry] let decrement (delta : int) (storage : storage) : result = [],storage - delta
+
+  #if INCLUDE_RESET
+  [@entry] let reset () (_storage : storage) : result = [], 0
+  #endif
+end

gitlab-pages/docs/compiling/src/preprocessor/main_importer.jsligo

@@ -0,0 +1,6 @@
+#import "gitlab-pages/docs/compiling/src/preprocessor/euro.jsligo" "Euro"
+
+type storage = Euro.t;
+
+const tip = (s : storage) : storage =>
+  Euro.add (s, Euro.one);

gitlab-pages/docs/compiling/src/preprocessor/main_importer.mligo

@@ -0,0 +1,5 @@
+#import "gitlab-pages/docs/compiling/src/preprocessor/euro.mligo" "Euro"
+
+type storage = Euro.t
+
+let tip (s : storage) : storage = Euro.add (s, Euro.one)

gitlab-pages/docs/compiling/src/preprocessor/ungrouped.mligo

@@ -0,0 +1,14 @@
+type storage =
+  [@layout:comb]
+  { tokenPool : nat ;
+    xtzPool : tez ;
+    lqtTotal : nat ;
+    selfIsUpdatingTokenPool : bool ;
+    freezeBaker : bool ;
+    manager : address ;
+    tokenAddress : address ;
+#if FA2
+    tokenId : nat ;
+#endif
+    lqtAddress : address ;
+  }

gitlab-pages/website/sidebars.js

@@ -142,6 +142,7 @@ const sidebars = {
       "testing/michelson_testing"
     ],
     "Compiling": [
+      "compiling/preprocessor",
       "compiling/compiling",
       "compiling/deploying"
     ],