|
|
@@ -164,7 +164,7 @@ Note, by default, ~eqal~ will handle ~type-error~ by trying to switch the order
|
|
|
[[file:img/types.png]]
|
|
|
|
|
|
|
|
|
-** WORKING Atomic Types [0/3]
|
|
|
+** WORKING Atomic Types [1/3]
|
|
|
:PROPERTIES:
|
|
|
:ID: 9be57f5d-ed0e-4a7c-9c06-a4c647f6d56e
|
|
|
:END:
|
|
|
@@ -185,7 +185,8 @@ Of the various types, there are three atomic types, ~<number>~, ~<variable>~ and
|
|
|
t)
|
|
|
#+END_SRC
|
|
|
|
|
|
-*** WORKING Numbers
|
|
|
+*** DONE Numbers
|
|
|
+CLOSED: [2019-01-16 Wed 16:01]
|
|
|
:PROPERTIES:
|
|
|
:ID: f0314608-46d9-4cc0-a3e1-897481827ddf
|
|
|
:END:
|
|
|
@@ -206,6 +207,10 @@ As an ~<atomic>~, ~<number>~ is rather simple, having only one slot, ~value~, re
|
|
|
|
|
|
(defmethod eqal ((expression-a <number>) (expression-b <number>))
|
|
|
(= (value expression-a) (value expression-b)))
|
|
|
+
|
|
|
+ (defmethod to-sexp ((expression <number>) &optional resolve-constants-p)
|
|
|
+ (declare (ignorable resolve-constants-p))
|
|
|
+ (slot-value expression 'value))
|
|
|
#+END_SRC
|
|
|
|
|
|
*** WORKING Variables
|
