kc3-lang/kc3/test/facts_test_open_file.1.expected.facts

• Show log

  Commit

• Hash : cdc4416f
  Author : Thomas de Grivel
  Date : 2024-07-27T20:40:49
  

  buf_inspect_s, buf_inspect_u: print cast when necessary

Download

• test/facts_test_open_file.1.expected.facts

• %{module: KC3.Facts.Dump,
    version: 1}
  add {a, a, a}
  add {-18446744073709551616, -18446744073709551616, -18446744073709551616}
  add {18446744073709551616, 18446744073709551616, 18446744073709551616}
  add {(S64) -4294967296, (S64) -4294967296, (S64) -4294967296}
  add {(S32) -65536, (S32) -65536, (S32) -65536}
  add {(S16) -256, (S16) -256, (S16) -256}
  add {(S8) -10, (S8) -10, (S8) -10}
  add {(S8) -1, (S8) -1, (S8) -1}
  add {(U8) 0, (U8) 0, (U8) 0}
  add {(U8) 1, (U8) 1, (U8) 1}
  add {(U8) 10, (U8) 10, (U8) 10}
  add {(U16) 256, (U16) 256, (U16) 256}
  add {(U32) 65536, (U32) 65536, (U32) 65536}
  add {(U64) 4294967296, (U64) 4294967296, (U64) 4294967296}
  add {[], [], []}
  add {[[], []], [[], []], [[], []]}
  add {"a", "a", "a"}
  add {A, A, A}
  add {:a, :a, :a}
  add {{a, b}, {a, b}, {a, b}}
  add {{:a, :b}, {:a, :b}, {:a, :b}}
  add {{{a, b}, {c, d}}, {{a, b}, {c, d}}, {{a, b}, {c, d}}}
  add {{{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}}
  remove {"a", "a", "a"}
  remove {:a, :a, :a}
  remove {A, A, A}
  remove {a, a, a}
  remove {[], [], []}
  remove {[[], []], [[], []], [[], []]}
  remove {{:a, :b}, {:a, :b}, {:a, :b}}
  remove {{{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}}
  remove {{a, b}, {a, b}, {a, b}}
  remove {{{a, b}, {c, d}}, {{a, b}, {c, d}}, {{a, b}, {c, d}}}
  remove {(U8) 0, (U8) 0, (U8) 0}
  remove {(U8) 1, (U8) 1, (U8) 1}
  remove {(U8) 10, (U8) 10, (U8) 10}
  remove {(U16) 256, (U16) 256, (U16) 256}
  remove {(U32) 65536, (U32) 65536, (U32) 65536}
  remove {(U64) 4294967296, (U64) 4294967296, (U64) 4294967296}
  remove {18446744073709551616, 18446744073709551616, 18446744073709551616}
  remove {(S8) -1, (S8) -1, (S8) -1}
  remove {(S8) -10, (S8) -10, (S8) -10}
  remove {(S16) -256, (S16) -256, (S16) -256}
  remove {(S32) -65536, (S32) -65536, (S32) -65536}
  remove {(S64) -4294967296, (S64) -4294967296, (S64) -4294967296}
  remove {-18446744073709551616, -18446744073709551616, -18446744073709551616}
  add {"b", "b", "b"}
  add {:b, :b, :b}
  add {B, B, B}
  add {b, b, b}
  add {[[]], [[]], [[]]}
  add {[[[]], []], [[[]], []], [[[]], []]}
  add {{:b, :b}, {:b, :b}, {:b, :b}}
  add {{{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}}
  add {{b, b}, {b, b}, {b, b}}
  add {{{b, b}, {c, d}}, {{b, b}, {c, d}}, {{b, b}, {c, d}}}
  add {(U8) 2, (U8) 2, (U8) 2}
  add {(U8) 3, (U8) 3, (U8) 3}
  add {(U8) 11, (U8) 11, (U8) 11}
  add {(U16) 257, (U16) 257, (U16) 257}
  add {(U32) 65537, (U32) 65537, (U32) 65537}
  add {(U64) 4294967297, (U64) 4294967297, (U64) 4294967297}
  add {18446744073709551617, 18446744073709551617, 18446744073709551617}
  add {(S8) -2, (S8) -2, (S8) -2}
  add {(S8) -11, (S8) -11, (S8) -11}
  add {(S16) -257, (S16) -257, (S16) -257}
  add {(S32) -65537, (S32) -65537, (S32) -65537}
  add {(S64) -4294967297, (S64) -4294967297, (S64) -4294967297}
  add {-18446744073709551617, -18446744073709551617, -18446744073709551617}
  

Download