On Mon, Dec 02, 2002 at 08:59:42AM -0800, Christophe Rhodes wrote:
> Log Message:
> The plan from here is to move FIND and friends into the realm of
> SOURCE-TRANSFORMS, so that the cross-compiler is born knowing how to
> compile FIND; a similar solution is likely for SORT-VECTOR. Then
> defensive code can be written around a version of
> MAYBE-INLINE-SYNTACTIC-CLOSURE (as per CSR sbcl-devel 2002-07-02 "BUG
> 156 and INLINE FIND"), and voilà! working INLINE.
OK, here it is. I haven't committed it because it's big and could
probably do with looking at, just to agree that this is the right
approach and maybe to argue about names of functions (I'm not convinced
that MAYBE-INLINE-SYNTACTIC-CLOSURE is a great name for something that
returns a LAMBDA-WITH-LEXENV or NIL). With this patch, the
cross-compiler now warns when it is unable to inline something that has
been requested to be inline, which with default compilation mechanisms
will stop the build. A build with this patch passes all the tests it's
expected to (including in gcl's ansi-tests) and builds itself, passing
the extra tests in tests/compiler.impure.lisp.
This patch includes an extra cleanup to tests/filesys.test.sh that has
been sitting in an auxiliary tree of mine for the best part of six
http://www-jcsu.jesus.cam.ac.uk/~csr21/ +44 1223 510 299/+44 7729 383 757
(set-pprint-dispatch 'number (lambda (s o) (declare (special b)) (format s b)))
(defvar b "~&Just another Lisp hacker~%") (pprint #36rJesusCollegeCambridge)
Get latest updates about Open Source Projects, Conferences and News.