peng wrote:
> *hi there,
> I need your help to understand the syntax of each row in below lisp
> codes written in ACL. especially the use of " -> ","->*" and
> declaration here.
>
> ;---
> (defun well-sorted-p (x &optional subst (sort top-sort))
> ;; determines if expression is well sorted
> ;; it does this by doing well-sorting on the expression
> ;; with the restriction that no instantiation be done
> (prog->
> (quote t -> *%checking-well-sorted-p%*)
> (well-sort x subst sort ->* subst)
> (declare (ignore subst))
> (return-from prog-> t)))
> ;---
>
> Thank in advance for your kindly help. *
Thanks for all.
Finally, I find the the definition of "prog->" in other source file.
Those funtions related are distributeed in different source files. This
is a large open source system. So it is really hard for me, a novice to
common lisp, to make clear about these source codes, though sometimes I
have to do so:(.
--
peng
------------------------------------------------------------------------
Posted via http://www.codecomments.com
------------------------------------------------------------------------