kc3-lang/kc3

diff --git a/test/ikc3/facts.kc3 b/test/ikc3/facts.kc3
index 12df14b..17b87bc 100644
--- a/test/ikc3/facts.kc3
+++ b/test/ikc3/facts.kc3
@@ -12,3 +12,7 @@ quote Facts.add_tags(db, 7, 8, 9)
 Facts.add_tags(db, 7, 8, 9)
 quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
 Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
+quote Facts.remove_tags(db, 4, 5, 6)
+Facts.remove_tags(db, 4, 5, 6)
+quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
+Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
diff --git a/test/ikc3/facts.out.expected b/test/ikc3/facts.out.expected
index 1e2ba61..fc36fdc 100644
--- a/test/ikc3/facts.out.expected
+++ b/test/ikc3/facts.out.expected
@@ -6,26 +6,23 @@
 db = Facts.database() ; void
 void
 Facts.add_tags(db, 1, 2, 3)
-%FactW{subject: 1,
-       predicate: 2,
-       object: 3,
-       id: (Uw) 0}
+true
 Facts.add_tags(db, 4, 5, 6)
-%FactW{subject: 4,
-       predicate: 5,
-       object: 6,
-       id: (Uw) 0}
+true
 Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
 1 2 3
 4 5 6
 :ok
 Facts.add_tags(db, 7, 8, 9)
-%FactW{subject: 7,
-       predicate: 8,
-       object: 9,
-       id: (Uw) 0}
+true
 Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
 1 2 3
 4 5 6
 7 8 9
 :ok
+Facts.remove_tags(db, 4, 5, 6)
+true
+Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
+1 2 3
+7 8 9
+:ok
diff --git a/test/ikc3/facts_with.kc3 b/test/ikc3/facts_with.kc3
index fe01c01..c9f60a9 100644
--- a/test/ikc3/facts_with.kc3
+++ b/test/ikc3/facts_with.kc3
@@ -1,10 +1,10 @@
 quote Facts.with(Facts.env_db(), [[KC3, :operator, op = ?],
-                                  [op, :sym, sym = ?]], fn (fact) {
+                                  [op, :sym, sym = ?]], fn (fact) do
   puts("#{inspect(op)} #{inspect(sym)}")
   1
-})
+end)
 Facts.with(Facts.env_db(), [[KC3, :operator, op = ?],
-                            [op, :sym, sym = ?]], fn (fact) {
+                            [op, :sym, sym = ?]], fn (fact) do
   puts("#{inspect(op)} #{inspect(sym)}")
   1
-})
+end)
diff --git a/test/ikc3/facts_with.out.expected b/test/ikc3/facts_with.out.expected
index 32ea5ef..bec3f3f 100644
--- a/test/ikc3/facts_with.out.expected
+++ b/test/ikc3/facts_with.out.expected
@@ -1,4 +1,7 @@
-Facts.with(Facts.env_db(), [[KC3, :operator, op = ?], [op, :sym, sym = ?]], fn (fact) { puts("#{inspect(op)} #{inspect(sym)}") ; 1 })
+Facts.with(Facts.env_db(), [[KC3, :operator, op = ?], [op, :sym, sym = ?]], fn (fact) do
+  puts("#{inspect(op)} #{inspect(sym)}")
+  1
+end)
 operator_add :+
 operator_addi :+i
 operator_and :&&