Hello,
Sorry for the delay.
This looks nice.
Ian Price <ianpric...@googlemail.com> skribis:
> Currently, parameterized modules are functions that return a
> module, and functions are retrieved by module-ref. This is fine for a
> proof of concept, but hopefully I'll have something better integrated
> soon.
Would be cool to see how higher-order module support could be added to
our module system.
Something like:
(define-module (seq-utils)
#:require (kar kdr)
#:export (take drop))
...
and:
(define-module (srfi srfi-1)
#:use-module ((seq-utils) #:with (car cdr)))
...
(define-module (ice-9 vlist)
#:use-module ((seq-utils) #:with (vlist-head vlist-tail)))
...
(resolve-module '(seq-utils) #:with (list car cdr))
=> fresh module
(resolve-module '(seq-utils))
=| error
WDYT?
Thanks,
Ludo’.
