facts.out.expected

Branch :

Show log
Commit
Author : Thomas de Grivel
Date : 2025-09-23 19:42:53
Hash : 5704a53e
Message : use ikc3 --bool-ptr to show pointers in tests as booleans : 0 or 1.

test/ikc3/facts.out.expected

%Fact{}
%Fact{subject: (Ptr) 0,
      predicate: (Ptr) 0,
      object: (Ptr) 0,
      id: (Uw) 0}
do
  db = Facts.database()
  void
end
void
Facts.add_tags(db, 1, 2, 3)
true
Facts.add_tags(db, 4, 5, 6)
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)
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
do
  db = Facts.database()
  void
end
void
Facts.add_tags(db, (F128) 1.0, (F128) 2.0, (F128) 3.0)
true
Facts.add_tags(db, (F128) 4.0, (F128) 5.0, (F128) 6.0)
true
Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
1.0 2.0 3.0
4.0 5.0 6.0
:ok

kc3-lang/kc3/test/ikc3/facts.out.expected

Commit

kc3-lang/kc3 /test/ikc3/facts.out.expected