Reimplement code/value deserialization based on a custom parser

unison-cli/src/Unison/Main.hs

@@ -25,10 +25,9 @@ import ArgParse
   )
 import Compat (defaultInterruptHandler, withInterruptHandler)
 import Control.Concurrent (newEmptyMVar, runInUnboundThread, takeMVar)
-import Control.Exception (displayException, evaluate, fromException)
+import Control.Exception (displayException, fromException)
 import Data.Bitraversable (bitraverse)
 import Data.ByteString qualified as BS
-import Data.ByteString.Lazy qualified as BL
 import Data.Either.Validation (Validation (..))
 import Data.List.NonEmpty (NonEmpty)
 import Data.Text qualified as Text
@@ -230,8 +229,8 @@ main version = do
                     noOpCheckForChanges
                     CommandLine.ShouldNotWatchFiles
         Run (RunCompiled file) args ->
-          BL.readFile file >>= \bs ->
-            try (evaluate $ RTI.decodeStandalone bs) >>= \case
+          BS.readFile file >>= \bs ->
+            try (RTI.decodeStandalone bs) >>= \case
               Left re -> do
                 exnMessage <- RTI.prettyRuntimeExn fetchIssueFromGitHub re
                 exitError . P.lines $

unison-runtime/cbits/i2d.c

@@ -0,0 +1,19 @@
+#include <stdint.h>
+
+double unisonWord64ToDouble(uint64_t lin) {
+  union {
+    double d;
+    uint64_t l;
+  } u;
+  u.l = lin;
+  return u.d;
+}
+
+float unisonWord32ToFloat(uint32_t lin) {
+  union {
+    float f;
+    uint32_t l;
+  } u;
+  u.l = lin;
+  return u.f;
+}

unison-runtime/package.yaml

@@ -49,6 +49,9 @@ library:
     - condition: false
       other-modules: Paths_unison_runtime
 
+  c-sources:
+    - cbits/i2d.c
+
   dependencies:
     - asn1-encoding
     - asn1-types
@@ -58,7 +61,6 @@ library:
     - binary
     - bytes
     - bytestring
-    - cereal
     - clock
     - containers >= 0.6.3
     - cryptonite
@@ -119,9 +121,7 @@ tests:
         other-modules: Paths_unison_parser_typechecker
     dependencies:
       - base
-      - bytes
       - bytestring
-      - cereal
       - code-page
       - containers
       - cryptonite