Module internal print name should not be symbol.
tswd
5 years ago
115 | 115 |
(if .term-id-paranoia.
|
116 | 116 |
(let* ((op (term-head term))
|
117 | 117 |
(opmod (module-print-name (method-module op))))
|
118 | |
(push (the symbol opmod) .id-conf.)
|
119 | |
(push (the symbol (method-id-symbol (term-head term))) .id-conf.))
|
|
118 |
(push opmod .id-conf.)
|
|
119 |
(push (the symbol (method-id-symbol op)) .id-conf.))
|
120 | 120 |
(push (the symbol (method-id-symbol (term-head term))) .id-conf.))
|
121 | 121 |
(dolist (subterm (term-subterms term) .id-conf.)
|
122 | 122 |
(setq .id-conf. (nconc .id-conf. (get-term-id subterm)))))
|
1219 | 1219 |
(setf (module-alias mod) nil)
|
1220 | 1220 |
(setf (module-symbol-table mod) (make-symbol-table))
|
1221 | 1221 |
;; print name
|
1222 | |
(setf (module-print-name mod) (intern (make-module-print-name mod)))
|
|
1222 |
(setf (module-print-name mod) (make-module-print-name mod))
|
1223 | 1223 |
;;
|
1224 | 1224 |
(clear-tmp-sort-cache)
|
1225 | 1225 |
(clear-method-info-hash))
|