Merge branch 'riot-ml-main'

riot-ml · Jun 3, 2024 · 4295453 · 4295453
2 parents 9024af4 + 2dbd258
commit 4295453
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,6 +4,7 @@ _build
 *.beam
 *.trace
 test/generated/*
+_opam
 
 # nix ignores
 .direnv

diff --git a/riot/lib/logger_app.ml b/riot/lib/logger_app.ml
@@ -6,7 +6,7 @@ open Logger.Make (struct
 end)
 
 module Formatter = struct
-  type Message.t += Log of log [@@unboxed]
+  type Message.t += Log of log
 
   let stdout =
     Format.make_formatter (output_substring stdout) (fun () -> flush stdout)

diff --git a/riot/lib/telemetry_app.ml b/riot/lib/telemetry_app.ml
@@ -5,7 +5,7 @@ type event = Telemetry.event = ..
 let name = "Riot.Telemetry"
 
 module Dispatcher = struct
-  type Core.Message.t += Event of Telemetry.event [@@unboxed]
+  type Core.Message.t += Event of Telemetry.event
 
   let __main_dispatcher__ : Pid.t ref = ref Pid.zero
 

diff --git a/riot/runtime/core/proc_effect.ml b/riot/runtime/core/proc_effect.ml
@@ -8,9 +8,8 @@ type _ Effect.t +=
       selector : Message.t -> [ `select of 'msg | `skip ];
     }
       -> 'msg Effect.t
-  [@@unboxed]
 
-type _ Effect.t += Yield : unit Effect.t [@@unboxed]
+type _ Effect.t += Yield : unit Effect.t
 
 type _ Effect.t +=
   | Syscall : {
@@ -20,4 +19,3 @@ type _ Effect.t +=
       timeout : Timeout.t;
     }
       -> unit Effect.t
-  [@@unboxed]