Commit d3a79ed5 authored by Christophe Rhodes's avatar Christophe Rhodes

make variable-terms show up in yellow.

Band-aid for functor/canonical-name business with lists, curly lists and
parent ec2a58b9
......@@ -400,7 +400,8 @@
(display-parse-tree (value entity) syntax pane))
(defmethod display-parse-tree
((entity variable-term) (syntax prolog-syntax) pane)
(display-parse-tree (name entity) syntax pane))
(with-drawing-options (pane :ink (make-rgb-color 0.7 0.7 0.0))
(display-parse-tree (name entity) syntax pane)))
(defmethod display-parse-tree
((entity functional-compound-term) (syntax prolog-syntax) pane)
(with-drawing-options (pane :ink (make-rgb-color 0.9 0 0.9))
......@@ -440,6 +441,10 @@
(defclass atom (prolog-nonterminal)
((value :initarg :value :accessor value)))
(defgeneric canonical-name (thing)
;; FIXME: is this actually necessary? There is confusion over the
;; FUNCTOR of lists, curly lists and char-code lists.
(:method ((thing string)) thing))
(defmethod canonical-name ((thing atom))
(canonical-name (value thing)))
(defmethod canonical-name ((thing name))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment