From f3d6e578cba8e2c21a60461f6812a3300a04d6f2 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Tue, 6 Feb 2024 17:47:47 +0100
Subject: [PATCH] Single IEEE754 type

---
 src/syndicate/patterns.nim                    | 2 --
 src/syndicate/protocols/dataspacePatterns.nim | 4 ++--
 src/syndicate/protocols/timer.nim             | 6 +++---
 src/syndicate/protocols/trace.nim             | 6 +++---
 syndicate.nimble                              | 4 ++--
 5 files changed, 10 insertions(+), 12 deletions(-)

diff --git a/src/syndicate/patterns.nim b/src/syndicate/patterns.nim
index 430ec75..cc5ca99 100644
--- a/src/syndicate/patterns.nim
+++ b/src/syndicate/patterns.nim
@@ -71,8 +71,6 @@ proc grab*(pr: Value): Pattern =
     AnyAtom(orKind: AnyAtomKind.`bool`, bool: pr.bool).toPattern
   of pkFloat:
     AnyAtom(orKind: AnyAtomKind.`float`, float: pr.float).toPattern
-  of pkDouble:
-    AnyAtom(orKind: AnyAtomKind.`double`, double: pr.double).toPattern
   of pkRegister:
     AnyAtom(orKind: AnyAtomKind.`int`, int: pr.register).toPattern
   of pkString:
diff --git a/src/syndicate/protocols/dataspacePatterns.nim b/src/syndicate/protocols/dataspacePatterns.nim
index be01703..1156e75 100644
--- a/src/syndicate/protocols/dataspacePatterns.nim
+++ b/src/syndicate/protocols/dataspacePatterns.nim
@@ -11,10 +11,10 @@ type
         `bool`*: bool
 
     of AnyAtomKind.`float`:
-        `float`*: float32
+        `float`*: BiggestFloat
 
     of AnyAtomKind.`double`:
-        `double`*: float64
+        `double`*: BiggestFloat
 
     of AnyAtomKind.`int`:
         `int`*: BiggestInt
diff --git a/src/syndicate/protocols/timer.nim b/src/syndicate/protocols/timer.nim
index 61a7264..e112070 100644
--- a/src/syndicate/protocols/timer.nim
+++ b/src/syndicate/protocols/timer.nim
@@ -5,17 +5,17 @@ import
 type
   TimerExpired* {.preservesRecord: "timer-expired".} = object
     `label`*: Value
-    `seconds`*: float64
+    `seconds`*: BiggestFloat
 
   SetTimer* {.preservesRecord: "set-timer".} = object
     `label`*: Value
-    `seconds`*: float64
+    `seconds`*: BiggestFloat
     `kind`*: TimerKind
 
   `TimerKind`* {.preservesOr, pure.} = enum
     `relative`, `absolute`, `clear`
   LaterThan* {.preservesRecord: "later-than".} = object
-    `seconds`*: float64
+    `seconds`*: BiggestFloat
 
 proc `$`*(x: TimerExpired | SetTimer | LaterThan): string =
   `$`(toPreserves(x))
diff --git a/src/syndicate/protocols/trace.nim b/src/syndicate/protocols/trace.nim
index 6641ae5..922c579 100644
--- a/src/syndicate/protocols/trace.nim
+++ b/src/syndicate/protocols/trace.nim
@@ -86,11 +86,11 @@ type
     `reason`*: LinkedTaskReleaseReason
 
   TurnCausePeriodicActivation* {.preservesRecord: "periodic-activation".} = object
-    `period`*: float64
+    `period`*: BiggestFloat
 
   TurnCauseDelay* {.preservesRecord: "delay".} = object
     `causingTurn`*: TurnId
-    `amount`*: float64
+    `amount`*: BiggestFloat
 
   TurnCauseExternal* {.preservesRecord: "external".} = object
     `description`*: Value
@@ -170,7 +170,7 @@ type
 
   
   TraceEntry* {.preservesRecord: "trace".} = object
-    `timestamp`*: float64
+    `timestamp`*: BiggestFloat
     `actor`*: ActorId
     `item`*: ActorActivation
 
diff --git a/syndicate.nimble b/syndicate.nimble
index 6b48412..6fdc82e 100644
--- a/syndicate.nimble
+++ b/syndicate.nimble
@@ -1,6 +1,6 @@
 # Package
 
-version = "20240120"
+version = "20240206"
 author        = "Emery Hemingway"
 description   = "Syndicated actors for conversational concurrency"
 license       = "Unlicense"
@@ -9,4 +9,4 @@ srcDir        = "src"
 
 # Dependencies
 
-requires "https://github.com/ehmry/hashlib.git#f9455d4be988e14e3dc7933eb7cc7d7c4820b7ac", "nim >= 2.0.0", "https://git.syndicate-lang.org/ehmry/preserves-nim.git >= 20240116"
+requires "https://github.com/ehmry/hashlib.git#f9455d4be988e14e3dc7933eb7cc7d7c4820b7ac", "nim >= 2.0.0", "https://git.syndicate-lang.org/ehmry/preserves-nim.git >= 20240206"