Re: error Wrong type to apply: #<syntax-transformer

[Damien Mattei]

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.mattei@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