Re: With imported functions instead of module?

[Felix Lechner]

Hi Marc,

On Thu, Dec 12 2024, Marc Coquand wrote:

> I'm looking for is an easier way of importing procedures within
> G-expressions.

I'm not sure that's possible because the G-exp could, in the most
generalized case, run on another piece of equipment.

> I'm wondering if there is a way to call my-procedure without moving the
> definition to a separate module

You could 'define' your procedure inside the G-exp, although that may
not be what you want.

You may also be able to use 'load' on a store item (think 'plain-file'
and friends).  Those are automatically copied to the build side.

Kind regards
Felix