Hash :
2a2ae96c
Author :
Thomas de Grivel
Date :
2024-08-31T16:09:44
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99
a
a <- 1
a
(U8) (Ptr) a
(Tag) (Ptr) a
(Ptr) a
(Tag) (Ptr) a
a = ?
a
(Ptr) a
a = ?
a
a <- 1
a
(Ptr) 0x1801350e830
(Tag) (Ptr) 0x1801350e830
Facts.with_tags(Facts.env_facts(), KC3, :operator, ?, fn (fact) { puts(fact.object); 1 })
Facts.with(Facts.env_facts(), [[KC3, :operator, ?]], fn (fact) { puts(fact.object); 1 })
(Ptr) 0xf24fc9ce000
(Tag) (Ptr) 0xf24fc9ce000
?
Facts.with_tags(Facts.env_facts(), KC3, :operator, ?, fn (fact) { puts(fact.object); 1 })
Facts.with(Facts.env_facts(), [[KC3, :operator, ?]], fn (fact) { puts(fact.object); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op]], fn (fact) { puts(fact.object); 1 })
op
op = ?
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op]], fn (fact) { puts(fact.object); 1 })
op
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op]], fn (fact) { puts(fact.object); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op = (Ident) ?]], fn (fact) { puts(fact.object); 1 })
a = ?
a <- void
a
%KC3.Operator{symbol_value: void}
%KC3.Operator{symbol_value: 1}
%KC3.Operator{symbol_value: void}
1; 2; 3
1; 2
1 ; 2
a = 1; 2
a = ?; 2
a
a = ?; 2
a
a = 1; 2
a
a = ?
b = (Var) 0x9ee46e3ef10
? <- 1
a = ? <- 1
a
a = ? <- 1 ; b = a
b
a
a = ? <- 1 ; 2
a
a = ? <- 1 ; 2
a
(a = ? <- 1) ; 2
a
a = ? <- 1 ; 2
a
a = ? <- 1 ; 2
a
a = ? <- 1 ; 2
a
(a = ? <- 1) ; 2
a
a = ? <- 1 ; 2
quote a = ? <- 1 ; 2
to_lisp(quote a = ? <- 1 ; 2)
operator(:";")
KC3.Operator.find(:";")
a = ?
a
a <- 1
a
a = 1
a
to_lisp(quote a = ? <- 1 ; 2)
a = ?
Facts.with_tags(Facts.env_facts(), KC3, :operator, a, fn (fact) { puts(a); 1 })
to_lisp(quote a = ? <- 1 ; 2)
to_lisp(quote a = 1 ; 2)
to_lisp(quote a = ? <- 1 ; 2)
q
exit
to_lisp(quote a = ? <- 1 ; 2)
quote if true do if true do %KC3.Operator{} end end
quote if true do if true do unquote(%KC3.Operator{}) end end
quote if true do if true do %KC3.Operator{sym: :a} end end
to_lisp(quote a = ? <- 1 ; 2)
quote if true do if true do %KC3.Operator{symbol_value: void} end end
quote if true do if true do %KC3.Operator{sym: :-, symbol_value: void} end end
to_lisp(quote a = ? <- 1 ; 2)
quote a = ? <- 1 ; 2
quote 1 + 20 / 3 * 4 - 5
quote 1 + 20 / 3 * 4
quote 1 + 20 / 3 * 4 - 5