i just find the stackoverflow solution was good :
it depends of the place of the macro definition , must be before the use of it
i just move the include overload.scm a few line up and it is ok for compilation:
(include-from-path "overload.scm")
(include-from-path "scheme-infix.scm")
overload.scm must be before some definitions of scheme-infix.scm even
if it is not used here, it is strange, i do not understand all but it
compiles now
On Thu, Aug 3, 2023 at 11:09 AM Damien Mattei <damien.mat...@gmail.com> wrote:
>
> hi,
>
> i have a main Scheme+ module that exports an overload macro:
> (define-module (Scheme+)
>
> #:use-module (growable-vector)
> #:use-module (ice-9 local-eval)
> #:use-module (ice-9 match)
> #:use-module (srfi srfi-1) ;; any,every
> #:use-module (srfi srfi-69) ;; Basic hash tables
> #:use-module (srfi srfi-31) ;; rec
> #:use-module (srfi srfi-26) ;; cut
>
> #:export (!*prec set-infix-operators! overload overload-procedure
> overload-operator overload-function $nfx$ def $bracket-apply$ <- ← ->
> → <+ ⥆ +> ⥅ declare $> $+> condx ≠ ** <v v> ⇜ ⇝ repeat % << >> & | )
>
> ... code cut ...
>
> (include-from-path "overload.scm")
>
> ...
>
> the overloads macros defined in overload.scm like that:
>
> (define-syntax overload
>
> (syntax-rules ()
>
> ;; arguments are symbol of function to be overloaded, procedure
> that do the overloading, list of predicate to check the arguments
> ((_ funct-symb proc (pred-arg1 ...))
> (overload-procedure funct-symb proc (pred-arg1 ...)))
>
> ((_ funct-symb proc (pred-arg1 ...) quote-operator)
> (begin
> (overload-operator funct-symb proc (pred-arg1 ...))
> (update-operators))
> )
>
> ((_ funct-symb proc (pred-arg1 ...) quote-operator quote-n-arity)
> (begin
> (overload-n-arity-operator funct-symb proc (pred-arg1 ...))
> (update-operators)))))
>
> i just show one macro of file
>
>
> and a program that use the Scheme+ module and overload macro:
>
> (use-modules (Scheme+)
>
> ....
>
> (include "guile/logiki+.scm")
>
> finally logiki+.scm use overload:
>
> (initially overload.scm was included from here and it worked well but
> now it is in Scheme+ it gives the error in subject)
>
> ;; overload tests
>
> (define (add-pair p1 p2) (cons (+ (car p1) (car p2)) (+ (cdr p1) (cdr p2))))
>
> (overload + add-pair (pair? pair?) 'operator) ;; line 4818
>
> (define (mult-num-vect k v) (map (λ (x) (* k x)) v))
> (overload * mult-num-vect (number? list?) 'operator)
>
> {t <+ {3 * '(1 2 3) + '(4 5 6) + '(7 8 9)}}
> (display t) (newline)
>
> when run i have this error:
>
> scheme@(guile-user)> (load "start-λογικι-guile+.scm")
> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
> ;;; or pass the --no-auto-compile argument to disable.
> ;;; compiling /usr/local/share/guile/site/3.0/Scheme+.scm
> ;;; compiling /usr/local/share/guile/site/3.0/growable-vector.scm
> ;;; compiled
> /Users/mattei/.cache/guile/ccache/3.0-LE-8-4.6/usr/local/share/guile/site/3.0/growable-vector.scm.go
> ;;; compiled
> /Users/mattei/.cache/guile/ccache/3.0-LE-8-4.6/usr/local/share/guile/site/3.0/Scheme+.scm.go
> ice-9/boot-9.scm:1685:16: In procedure raise-exception:
> Wrong type to apply: #<syntax-transformer overload>
>
> Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue.
> scheme@(guile-user) [1]> ,bt
> In ice-9/boot-9.scm:
> 2836:4 4 (save-module-excursion _)
> 4388:12 3 (_)
> In
> /Users/mattei/Library/CloudStorage/Dropbox/git/library-FunctProg/guile/logiki+.scm:
> 4418:0 2 (_)
> 4418:0 1 (_)
> In ice-9/boot-9.scm:
> 1685:16 0 (raise-exception _ #:continuable? _)
> scheme@(guile-user) [1]>
>
> i found really poor info on this error:
>
> https://stackoverflow.com/questions/50057773/sicp-practise-3-51-wrong-type-to-apply-syntax-transformer-cons-stream
>
> any idea?
>
> regards,
> Damien
