|
| From: | Dmitry Gutov |
| Subject: | Re: command mode-specificity [was: scratch/command 064f146 1/2: Change...] |
| Date: | Sat, 20 Feb 2021 20:00:56 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
On 20.02.2021 15:30, Lars Ingebrigtsen wrote:
Tomorrow arrived a day late, but I've now changed (declare (modes to be more equivalent to interactive.
Have you considered making 'interactive' more equivalent to (declare (modes as well? That can speed up `command-modes`, for example.
As well as make it only one execution path to worry about.
| [Prev in Thread] | Current Thread | [Next in Thread] |