From 4994bc0aacf08cf69bfaa3e31bd6767050f55efd Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 24 Oct 2026 22:07:40 -0300 Subject: proper beam evaluator --- subsystem/karuta/rnt.lfe | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 subsystem/karuta/rnt.lfe (limited to 'subsystem/karuta/rnt.lfe') diff --git a/subsystem/karuta/rnt.lfe b/subsystem/karuta/rnt.lfe deleted file mode 100644 index dc0fbb7..0000000 --- a/subsystem/karuta/rnt.lfe +++ /dev/null @@ -1,26 +0,0 @@ -;; Tuples of an RNT relation, as Translator.ml writes and reads them: a -;; tuple is #(Type #m(Name Value ...)), its type, names and strings -;; binaries, and its integers no wider than an OCaml int. -(defmodule rnt - (export (recv 1) (send 1))) - -;; A tuple from the bytes RNT sent. -(defun recv (bytes) (holdable (binary_to_term bytes '(safe)))) - -;; The bytes RNT reads a tuple from. -(defun send (tuple) (term_to_binary (holdable tuple))) - -;; The tuple, if RNT can hold it. -(defun holdable - (((= (tuple type attributes) tuple)) (when (is_binary type) (is_map attributes)) - (if (lists:all (fun attribute? 1) (maps:to_list attributes)) - tuple - (error 'badarg (list tuple)))) - ((tuple) (error 'badarg (list tuple)))) - -(defun attribute? - (((tuple name value)) (when (is_binary name) (is_binary value)) 'true) - (((tuple name value)) - (when (is_binary name) (is_integer value) (>= value (- (bsl 1 62))) (< value (bsl 1 62))) - 'true) - ((_) 'false)) -- cgit v1.2.3