From 01dabaa21967d491f3e4401d5d532bf418a62c5e Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Sun, 8 Jun 2025 14:21:36 +0200
Subject: [PATCH] use static versioning module instead

---
 lib/stdlib.js                       | 13 ++++++++++---
 lib/versioning/static/compare.js    |  2 +-
 lib/versioning/static/value_slot.js |  2 --
 3 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/lib/stdlib.js b/lib/stdlib.js
index 740cfe8..1c5fee1 100644
--- a/lib/stdlib.js
+++ b/lib/stdlib.js
@@ -20,6 +20,9 @@ import { ModuleCompareDynamic } from "./compare/dynamic.types.js";
 import { ModuleVersioning } from "./versioning/value_slot.js";
 import { ModuleMerge } from "./versioning/merge.js";
 import { ModuleVersioningCompare } from "./versioning/compare.js";
+import { ModuleStaticVersioning } from "./versioning/static/value_slot.js";
+import { ModuleStaticMerge } from "./versioning/static/merge.js";
+import { ModuleStaticVersioningCompare } from "./versioning/static/compare.js";
 
 export const ModuleStd = [
   // Symbols (for nominal types)
@@ -52,7 +55,11 @@ export const ModuleStd = [
   ...ModuleCompareDynamic,
 
   // Versioning
-  ...ModuleVersioning,
-  ...ModuleMerge,
-  ...ModuleVersioningCompare,
+  // ...ModuleVersioning,
+  // ...ModuleMerge,
+  // ...ModuleVersioningCompare,
+
+  ...ModuleStaticVersioning,
+  ...ModuleStaticMerge,
+  ...ModuleStaticVersioningCompare,
 ];
diff --git a/lib/versioning/static/compare.js b/lib/versioning/static/compare.js
index bfb8429..fa324e1 100644
--- a/lib/versioning/static/compare.js
+++ b/lib/versioning/static/compare.js
@@ -46,7 +46,7 @@ const mkType = makeTypeParser({
   ],
 });
 
-export const ModuleVersioningCompare = [
+export const ModuleStaticVersioningCompare = [
   // comparison
   ["compareSlot" , newDynamic(compareSlot )(mkType("(a -> a -> Ordering) ->  :=a=:  ->  :=a=:  -> Ordering"))],
   ["compareValue", newDynamic(compareValue)(mkType("(a -> a -> Ordering) ->  *=a=*  ->  *=a=*  -> Ordering"))],
diff --git a/lib/versioning/static/value_slot.js b/lib/versioning/static/value_slot.js
index 7e680ab..3dd9b21 100644
--- a/lib/versioning/static/value_slot.js
+++ b/lib/versioning/static/value_slot.js
@@ -130,5 +130,3 @@ export const ModuleStaticVersioning = [
   ["read"      , newDynamic(read      )(mkType(":=a=: -> *=a=*"              ))],
   ["transform" , newDynamic(transform )(mkType("*=a=* -> *=(a->b)=* -> *=b=*"))],
 ];
-
-