Re: [fricas-devel] [PATCH] change remaining "import" to "import from"

On Tue, Apr 09, 2024 at 08:18:03PM +0800, Qian Yun wrote: > This patch changes all remaining "import" to "import from". > > The removed lines are mostly "import from Record(...)". > > Should we also modify "parse_Import" from "s-parser.boot" > so that it gives error on "import XXX"? No. 'import

[fricas-devel] [PATCH] change remaining "import" to "import from"

This patch changes all remaining "import" to "import from". The removed lines are mostly "import from Record(...)". Should we also modify "parse_Import" from "s-parser.boot" so that it gives error on "import XXX"? - Qian -- You received this message because you are subscribed to the Google Gro