[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Inferred function types in the *Help* buffer
From: |
Payas Relekar |
Subject: |
Re: Inferred function types in the *Help* buffer |
Date: |
Tue, 23 May 2023 22:17:00 +0530 |
User-agent: |
mu4e 1.10.3; emacs 29.0.91 |
Andrea Corallo <akrl@sdf.org> writes:
> ====
> foo is a native-compiled Lisp function in
> ‘~/.emacs.d/eln-cache/30.0.50-e29d76eb/test-a526a80f-5481bc95.eln’.
>
> Signature: (foo N)
>
> Inferred type: (function (t) (or (member to-small too-big) (integer
> 100 100)))
>
> ...
> ====
Pretty cool.
Tangentially, there's also Elsa: https://github.com/emacs-elsa/Elsa
How feasible would you say it would be to integrate it within
Emacs/native-compiler?
Regards,
Payas
--
- Re: Inferred function types in the *Help* buffer,
Payas Relekar <=