Edit

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

Branch :

  • test/ikc3/facts_with.out.expected
  • Facts.with(Facts.env_db(), [[op = ?, :is_a, :op], [op, :op_sym, sym = ?]], fn (fact) { puts("#{inspect(sym)} #{inspect(op)}"); 1 })
    :"()" :op_1
    :mod :op_10
    :% :op_11
    :* :op_12
    :+ :op_13
    :+i :op_14
    :- :op_15
    :<< :op_16
    :>> :op_17
    :< :op_18
    :<= :op_19
    :"[]" :op_2
    :> :op_20
    :>= :op_21
    :== :op_22
    :!= :op_23
    :& :op_24
    :^ :op_25
    :bor :op_26
    :&& :op_27
    :|| :op_28
    :<- :op_29
    :~ :op_3
    :← :op_30
    := :op_31
    :";" :op_32
    :- :op_4
    :! :op_5
    :* :op_6
    :& :op_7
    :^ :op_8
    :/ :op_9
    1
    Facts.with(Facts.env_db(), [[op = ?, :op_sym, sym = ?]], fn (fact) { puts("#{inspect(sym)} #{inspect(op)}"); 2 })
    :! :op_5
    :!= :op_23
    :% :op_11
    :& :op_24
    :& :op_7
    :&& :op_27
    :"()" :op_1
    :* :op_12
    :* :op_6
    :+ :op_13
    :+i :op_14
    :- :op_15
    :- :op_4
    :/ :op_9
    :";" :op_32
    :< :op_18
    :<- :op_29
    :<< :op_16
    :<= :op_19
    := :op_31
    :== :op_22
    :> :op_20
    :>= :op_21
    :>> :op_17
    :"[]" :op_2
    :^ :op_25
    :^ :op_8
    :bor :op_26
    :mod :op_10
    :|| :op_28
    :~ :op_3
    :← :op_30
    2
    count
    count
    1