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

• Show log

  Commit

• Hash : 88f22bec
  Author : Thomas de Grivel
  Date : 2025-03-24T16:29:41
  

  fix tests for facts with F128
  

Download

• test/ikc3/facts.kc3

• quote %Fact{}
  %Fact{}
  quote db = Facts.database() ; void
  db = Facts.database() ; void
  quote Facts.add_tags(db, 1, 2, 3)
  Facts.add_tags(db, 1, 2, 3)
  quote Facts.add_tags(db, 4, 5, 6)
  Facts.add_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 })
  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 })
  quote Facts.delete(db)
  Facts.delete(db)
  quote db = Facts.database() ; void
  db = Facts.database() ; void
  quote Facts.add_tags(db, 1.0, 2.0, 3.0)
  Facts.add_tags(db, 1.0, 2.0, 3.0)
  quote Facts.add_tags(db, 4.0, 5.0, 6.0)
  Facts.add_tags(db, 4.0, 5.0, 6.0)
  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.delete(db)
  Facts.delete(db)
  

Download