Robert Pluim <rpluim@gmail.com> writes:

>>>>>> On Fri, 22 Jul 2022 15:14:21 +0000, Andrea Corallo <akrl@sdf.org> said:
>
>     Andrea> Robert Pluim <rpluim@gmail.com> writes:
>     >>>>>>> On Fri, 22 Jul 2022 13:51:04 +0000, Andrea Corallo <akrl@sdf.org> said:
>     >> >> Right. The question is if we want to support such a case (and if so,
>     >> >> exactly how).
>     >> 
>     Andrea> Yep, I really thought the answer was no, at least for now, but I might
>     Andrea> be wrong.
>     >> 
>     Andrea> BTW assuming the answer is no, should we add a load time check with
>     Andrea> associated error or warning for comp.el to gate all these possible
>     Andrea> issues?
>     >> 
>     >> Iʼd lean towards a warning myself (both for loading and for running
>     >> any of the commands inside comp.el)
>
>     Andrea> FWIW I'd probably go just for the load-time warning.  I fear gating
>     Andrea> every function would probably bloat the code for not getting much back.
>
> Something like this (untested) in `normal-top-level'?
>
>     (unless (featurep 'native-compile)
>       (with-eval-after-load 'comp
>         (display-warning 'comp "This emacs does not support native compilation" :warning)))

Yes something similar, wouldn't the attached be simpler?

BR

  Andrea