Emacs

313 readers

2 users here now

A community for the timeless and infinitely powerful editor. Want to see what Emacs is capable of?!

Posts should be emacs related
Be kind please
Yes, we already know: Google results for "emacs" and "vi" link to each other. We good.

founded 1 year ago

MODERATORS

submitted 1 year ago by R3D3-1@alien.top to c/emacs

3 comments fedilink hide all child comments

According to the documentation of the CL library, it is allowed to have code like

(cl-check-type '(a b) proper-list)

where the undefined type symbol proper-list will be automatically interpreted as

and indeed it does work. However, after upgrading from Emacs 27.1 to 29.1, I am suddenly getting a compiler warning

Warning: Unknown type: proper-list

for such lines, unless I either rewrite it more verbosely as

(cl-check-type '(a b) (satisfies proper-list-p))

or provide an explicit type definition

(cl-deftype proper-list () '(satisfies proper-list-p))

Is anyone aware, if this is intended behavior?

you are viewing a single comment's thread
view the rest of the comments

[–] R3D3-1@alien.top 1 points 1 year ago (1 children)

Thanks.

The warning could be clearer on that :/

[–] nv-elisp@alien.top 1 points 1 year ago

I'm sure the devs would accept a bug report or, better yet, a patch.