this post was submitted on 13 Nov 2023
1 points (100.0% liked)

Emacs

312 readers
1 users here now

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

Get Emacs

Rules

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

Emacs Resources

Emacs Tutorials

Useful Emacs configuration files and distributions

Quick pain-saver tip

founded 1 year ago
MODERATORS
rglullis
raphael
1
Spurious "unknown type" compiler warnings in Emacs 29.1? (alien.top)
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
[–] nv-elisp@alien.top 1 points 1 year ago

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