Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: warning 53 (unboxed attribute used in the wrong location) (#83)
When running `dune build @check` from the root of the repository, here is one instance of the warning 53 I get. File "riot/runtime/core/proc_effect.ml", line 23, characters 5-12: 23 | [@@unboxed] ^^^^^^^ Error (warning 53 [misplaced-attribute]): the "unboxed" attribute cannot appear in this context This patch removes the incorrect `unboxed` attribute where needed, to make the codebase warning free.
- Loading branch information