facts_with.kc3

Branch :

Show log
Commit
Author : Thomas de Grivel
Date : 2025-03-11 12:03:50
Hash : af5cfbb6
Message : wip threads env_fork

test/ikc3/facts_with.kc3

require KC3.Op
quote Facts.with(Facts.env_db(), [[op = ?, :is_a, :op],
                                  [op, :op_sym, sym = ?]],
  fn (fact) {
    puts("#{inspect(sym)} #{inspect(op)}")
    1
  }
)
Facts.with(Facts.env_db(), [[op = ?, :is_a, :op],
                            [op, :op_sym, sym = ?]], fn (fact) {
  puts("#{inspect(sym)} #{inspect(op)}")
  1
})
quote Facts.with(Facts.env_db(), [[op = ?, :op_sym, sym = ?]], fn (fact) {
  puts("#{inspect(sym)} #{inspect(op)}")
  2
})
Facts.with(Facts.env_db(), [[op = ?, :op_sym, sym = ?]], fn (fact) {
  puts("#{inspect(sym)} #{inspect(op)}")
  2
})

kc3-lang/kc3/test/ikc3/facts_with.kc3

Commit

kc3-lang/kc3 /test/ikc3/facts_with.kc3