Re: Predicate for true lists

[Basil L. Contovounesios]

0001-Optimize-byte-compilation-of-proper-list-p.patch
Description: Text Data

0002-Move-proper-list-p-tests-to-fns-tests.el.patch
Description: Text Data

Stefan Monnier <address@hidden> writes:

>> @@ -1160,8 +1161,8 @@ byte-optimize-set
>>       make-list make-string make-symbol marker-buffer max member memq min
>>       minibuffer-selected-window minibuffer-window
>>       mod multibyte-char-to-unibyte next-window nth nthcdr number-to-string
>> -     parse-colon-path plist-get plist-member
>> -     prefix-numeric-value previous-window prin1-to-string propertize
>> +         parse-colon-path plist-get plist-member prefix-numeric-value
>> +         previous-window prin1-to-string proper-list-p propertize
>>       degrees-to-radians
>>       radians-to-degrees rassq rassoc read-from-string regexp-quote
>>       region-beginning region-end reverse round
>
> I think it'd be better to add a `side-effect-free` property rather than
> add to this list.  We should be moving away from having this list in
> byte-opt.el since that info can also be used when byte-opt is not
> loaded.

Makes sense, how's the attached?  Is there a better place to do this
than in syms_of_fns?  (I followed the example in src/json.c.)

>> diff --git a/lisp/emacs-lisp/bytecomp.el b/lisp/emacs-lisp/bytecomp.el
>> index 8bbe6292d9..0e953dc96b 100644
>> --- a/lisp/emacs-lisp/bytecomp.el
>> +++ b/lisp/emacs-lisp/bytecomp.el
>> @@ -3566,6 +3566,7 @@ byte-defop-compiler-1
>>  
>>  ;;####(byte-defop-compiler move-to-column   1)
>>  (byte-defop-compiler-1 interactive byte-compile-noop)
>> +(byte-defop-compiler-1 proper-list-p 1)
>
> I don't think this is needed.

Right.  For some reason the byte-compiler wasn't complaining about wrong
numbers of arguments without this compiler-form, but I can no longer
reproduce that.

I also attach a second patch which moves the proper-list-p tests to the
correct file following the function's rewriting in C.  WDYT?

Thanks,

-- 
Basil