(defun get-current-imported-theories (id)let * ((idstr (string id))let ((theories nil ))'(lambda (x y) if (eq (id x) id)and (library-rectype-theory? x)let ((len (length (string (id x)))))and (< idlen len)let ((adt (get-theory* id (lib-ref x))))assert adt () "Should have found adt" )'eq))))) ;(defun get-current-imported-theories (id) ; (let* ((idstr (string id)) ; (idlen (length idstr))) ; (when *current-context* ; (let ((theories nil)) ; (map-lhash #'(lambda (x y) ; (declare (ignore y)) ; (if (eq (id x) id) ; (push x theories) ; (when (and (library-rectype-theory? x) ; (let ((len (length (string (id x))))) ; (and (< idlen len) ; (string= id (id x) :end2 idlen)))) ; (let* ((lib (libref-to-libid (lib-ref x))) ; (adt (get-theory* id lib))) ; (assert adt () "Should have found adt") ; (pushnew adt theories :test #'eq))))) ; (current-using-hash)) ; theories)))) defun get-adt-slot-value (te);; te must be a type-name or (let ((dt (get-theory (id te))))and (recursive-type? dt) dt))'(lambda (d) and (typep d 'recursive-type) eq (id d) (id te))))let ((enumtype (find-if #'(lambda (d) and (typep d 'type-eq-decl) eq (id d) (id te))'recursive-type))) let * ((adt-id (makesym "~a_adt" (id te)))if adtif (lib-ref adt)"get-adt-slot-value: no lib-ref" ))"get-adt-slot-value: no adt" ))))and (recursive-type? dt) dt))"Can't restore" )))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
