Emacs

305 readers

1 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 10 months ago by [email protected] to c/[email protected]

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

[–] [email protected] 1 points 10 months ago (1 children)

Found via looking for the "Unknown type" warning in the emacs-mirror GitHub blame:

[–] [email protected] 1 points 10 months ago (1 children)

Thanks.

The warning could be clearer on that :/

[–] [email protected] 1 points 10 months ago

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