From 5e5339cd7b71a3987e56359814854f4b7ba04760 Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Tue, 13 Jun 2023 23:04:54 +0800
Subject: [PATCH] minor testing

---
 cozo-core/src/runtime/tests.rs | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/cozo-core/src/runtime/tests.rs b/cozo-core/src/runtime/tests.rs
index a9a34cf4..9c450333 100644
--- a/cozo-core/src/runtime/tests.rs
+++ b/cozo-core/src/runtime/tests.rs
@@ -1288,4 +1288,31 @@ fn sysop_in_imperatives() {
     "#;
     let db = DbInstance::default();
     db.run_default(script).unwrap();
+}
+
+#[test]
+fn puts() {
+    let db = DbInstance::default();
+    db.run_default(r"
+            :create cm_txt {
+                tid: String =>
+                aid: String,
+                tag: String,
+                follows_tid: String? default null,
+                for_qs: [String] default [],
+                dup_for: String? default null,
+                text: String,
+                seg_vecs: [<F32; 1536>],
+                seg_pos: [(Int, Int)],
+                format: String default 'text',
+                info_amount: Int,
+            }
+    ").unwrap();
+    db.run_default(r"
+        ?[tid, aid, tag, text, info_amount, dup_for, seg_vecs, seg_pos] := dup_for = null,
+                tid = 'x', aid = 'y', tag = 'z', text = 'w', info_amount = 12,
+                follows_tid = null, for_qs = [], format = 'x',
+                seg_vecs = [], seg_pos = [[0, 10]]
+        :put cm_txt {tid, aid, tag, text, info_amount, seg_vecs, seg_pos, dup_for}
+    ").unwrap();
 }
\ No newline at end of file