Re: unbound location: *

[Damien Mattei <damien.mattei@gmail.com>]

here is a counter example:

;; test-define.scm

(module-name test-define)

(export *)

(display *) (newline)

(define * +)

(display *) (newline)

;; main-test-define.scm

(require test-define)

(define rv (* 2 3))
(display rv) (newline)

#|kawa:1|# (load
"/Users/mattei/Dropbox/git/Scheme-PLUS-for-Kawa/main-test-define.scm")
#<procedure +>
#<procedure +>
5

but i do not quite understand , first display shoud have display #<procedure *>
but no it displays #<procedure +>


On Wed, Nov 1, 2023 at 9:39 AM Damien Mattei <damien.mattei@gmail.com> wrote:
>
> hello,
>
> i created a module this way:
>
> (module-name "matrix")
>
> (export multiply-matrix-matrix
>     multiply-matrix-vector
>     matrix
>     matrix-v
>     create-matrix-by-function
>     dim-matrix
>     matrix-ref
>     matrix-set!
>     matrix-line-ref
>     matrix-line-set!
>     vector->matrix-column
>     matrix-column->vector
>     *)
>
> (require Scheme+)
>
>
> ;; (matrix #(1 2 3))
> ;; matrix@4612b856
>
>
> (define-simple-class matrix ()
>
>   (v :: vector)
>
>   ((*init* (vParam :: vector))
>    (set! v vParam))
>
>   )
>
> (display "multiply : * =") (display *) (newline)
>
>
> ;; (define M (create-matrix-by-function (lambda (i j) (+ i j)) 2 3))
> (define (create-matrix-by-function fct lin col)
>   (matrix (create-vector-2d fct lin col)))
>
>
> ;; return the line and column values of dimension
> ;; (dim-matrix M)
> ;; 2 3
> (define (dim-matrix M)
>
>   (when (not (matrix? M))
>     (error "argument is not of type matrix"))
>
>   {v <+ (matrix-v M)}
>   {lin <+ (vector-length v)}
>   {col <+ (vector-length {v[0]})}
>   (values lin col))
>
> ;; #|kawa:85|# (define M1 (create-matrix-by-function (lambda (i j) (+
> i j)) 2 3))
> ;; #|kawa:86|# (define M2 (create-matrix-by-function (lambda (i j) (+
> i j)) 3 2))
> ;; #|kawa:87|# (multiply-matrix-matrix M1 M2)
> ;; matrix@3fc1abf
> ;; #|kawa:88|# (define M1*M2 (multiply-matrix-matrix M1 M2))
> ;; #|kawa:89|# M1*M2
> ;; matrix@3bf5911d
> ;; #|kawa:90|# (matrix-v M1*M2)
> ;; #(#(5 8) #(8 14))
> ;; #|kawa:91|# (matrix-v M1)
> ;; #(#(0 1 2) #(1 2 3))
> ;; #|kawa:92|# (matrix-v M2)
> ;; #(#(0 1) #(1 2) #(2 3))
> (define (multiply-matrix-matrix M1 M2)
>
>   {(n1 p1) <+ (dim-matrix M1)}
>   {(n2 p2) <+ (dim-matrix M2)}
>
>   (when {p1 ≠ n2} (error "matrix.* : matrix product impossible,
> incompatible dimensions"))
>
>   {v1 <+ (matrix-v M1)}
>   {v2 <+ (matrix-v M2)}
>
>   (define (res i j)
>     {sum <+ 0}
>     (for ({k <+ 0} {k < p1} {k <- k + 1})
>      {sum <- sum + v1[i][k] * v2[k][j]})
>     (display "sum=")(display sum) (newline)
>     sum)
>
>   {v <+ (create-vector-2d res n1 p2)}
>
>   (matrix v))
>
>
>
> (overload-existing-operator * multiply-matrix-matrix (matrix? matrix?))
>
>
>
> ....
>
> i cut off the whole code, the code used to works with 'include' , now
> that i try with modules i stuck on this error at the line
> (overload-existing-operator * multiply-matrix-matrix (matrix? matrix?))
>
> note that matrix+.scm is converted externally in matrix.scm :
>
> (module-name "matrix")
> (export multiply-matrix-matrix multiply-matrix-vector matrix matrix-v
>  create-matrix-by-function dim-matrix matrix-ref matrix-set! matrix-line-ref
>  matrix-line-set! vector->matrix-column matrix-column->vector *)
> (require Scheme+)
> (define-simple-class matrix () (v :: vector)
>  ((*init* (vParam :: vector)) (set! v vParam)))
> (display "multiply : * =")
> (display *)
> (newline)
> (define (create-matrix-by-function fct lin col)
>  (matrix (create-vector-2d fct lin col)))
> (define (dim-matrix M)
>  (when (not (matrix? M)) (error "argument is not of type matrix"))
>  (<+ v (matrix-v M)) (<+ lin (vector-length v))
>  (<+ col (vector-length (bracket-apply v 0))) (values lin col))
> (define (multiply-matrix-matrix M1 M2) (<+ (n1 p1) (dim-matrix M1))
>  (<+ (n2 p2) (dim-matrix M2))
>  (when (|≠| p1 n2)
>   (error "matrix.* : matrix product impossible, incompatible dimensions"))
>  (<+ v1 (matrix-v M1)) (<+ v2 (matrix-v M2))
>  (define (res i j) (<+ sum 0)
>   (for ((<+ k 0) (< k p1) ($nfx$ k <- k + 1))
>    ($nfx$ sum <- sum + (bracket-apply (bracket-apply v1 i) k) *
>     (bracket-apply (bracket-apply v2 k) j)))
>   (display "sum=") (display sum) (newline) sum)
>  (<+ v (create-vector-2d res n1 p2)) (matrix v))
> (overload-existing-operator * multiply-matrix-matrix (matrix? matrix?))
> (define (matrix-v M) (slot-ref M (quote v)))
> (define (vector->matrix-column v)
>  (matrix (vector-map (lambda (x) (make-vector 1 x)) v)))
> (define (matrix-column->vector Mc) (<+ v (matrix-v Mc))
>  (vector-map (lambda (v2) (bracket-apply v2 0)) v))
> (define (multiply-matrix-vector M v) (<+ Mc (vector->matrix-column v))
>  (matrix-column->vector (multiply-matrix-matrix M Mc)))
> (define (matrix-ref M lin col) (<+ v (matrix-v M))
>  (bracket-apply (bracket-apply v lin) col))
> (define (matrix-set! M lin col x) (<+ v (matrix-v M))
>  (<- (bracket-apply (bracket-apply v lin) col) x))
> (define (matrix-line-ref M lin) (<+ v (matrix-v M)) (bracket-apply v lin))
> (define (matrix-line-set! M lin vect-line) (<+ v (matrix-v M))
>  (<- (bracket-apply v lin) vect-line))
> (overload-square-brackets matrix-ref matrix-set! (matrix? number? number?))
> (overload-square-brackets matrix-line-ref matrix-line-set! (matrix? number?))
>
>
> overload-existing-operator redefine the * operator , so basically it
> needs the original one to not loose the * between numbers
> the code is:
>
> (define-syntax overload-existing-operator
>
>   (syntax-rules ()
>
>     ((_ orig-funct funct (pred-arg1 ...))
>        (define orig-funct (create-overloaded-existing-operator
> orig-funct funct (list pred-arg1 ...))))))
>
> (define (create-overloaded-existing-operator orig-funct funct
> pred-list) ;; works for associative operators
>
>   (display "create-overloaded-existing-operator")
>   (display " : pred-list = ") (display pred-list) (newline)
>   (define old-funct orig-funct)
>   (define new-funct (lambda args ;; args is the list of arguments
>               ;; (display "new-funct: new-funct = ") (display
> new-funct) (newline)
>               ;; (display "new-funct : pred-list = ") (display
> pred-list) (newline)
>               ;; (display "new-funct : args = ") (display args) (newline)
>               (define nb-args (length args))
>               ;;(display "new-funct : nb-args = ") (display nb-args) (newline)
>               (cond ((check-arguments pred-list args) ;;(begin
>                                 ;;(display "new funct :calling:")
> (display funct) (newline)
>                                 (apply funct args));;)
>                 ((> nb-args 2) (new-funct (car args)
>                               (apply new-funct (cdr args)))) ;;
> op(a,b,...) = op(a,op(b,...))
>                 (else
>                  ;;(begin
>                    ;;(display "new funct :calling: ") (display
> old-funct) (newline)
>                    (apply old-funct args)))));;)
>
>   (display "funct: ") (display funct) (newline)
>   (display "orig-funct: ") (display orig-funct) (newline)
>   (display "old-funct: ") (display old-funct) (newline)
>   (display "new-funct: ") (display new-funct) (newline)
>
>   (replace-operator! orig-funct new-funct)
>
>   new-funct)
>
> this weird code  return the new-funct which is the overloaded * , at
> the line  (overload-existing-operator * multiply-matrix-matrix
> (matrix? matrix?))
>
> i got this error:
> Exception in thread "main" java.lang.ExceptionInInitializerError
>     at atInteractiveLevel-8.run(exo_retropropagationNhidden_layers_matrix_v2_by_vectors4kawa+.scm:43)
>     at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:290)
>     at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211)
>     at kawa.Shell.run(Shell.java:289)
>     at kawa.Shell.runFile(Shell.java:551)
>     at kawa.standard.load.apply2(load.java:67)
>     at kawa.standard.load.apply1(load.java:27)
>     at gnu.mapping.Procedure1or2.applyToObject(Procedure1or2.java:64)
>     at gnu.mapping.Procedure.applyToConsumerDefault(Procedure.java:75)
>     at gnu.mapping.CallContext.runUntilDone(CallContext.java:586)
>     at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:343)
>     at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211)
>     at kawa.Shell.run(Shell.java:289)
>     at kawa.Shell.run(Shell.java:196)
>     at kawa.Shell.run(Shell.java:183)
>     at kawa.repl.processArgs(repl.java:724)
>     at kawa.repl.main(repl.java:830)
> Caused by: /Users/mattei/Library/CloudStorage/Dropbox/git/AI_Deep_Learning/kawa/matrix.scm:9:10:
> unbound location: *
>     at gnu.mapping.PlainLocation.get(PlainLocation.java:22)
>     at matrix.<clinit>(matrix.scm:9)
>     ... 17 more
>
> ok * seems not bound to any procedure
>
> when i display it for debug i got:
>
> multiply : * =%
>
> note that % is in reversed colors (white on black background) i cannot
> copy/paste it....
>
> all the code is called from a main file:
>
> (require matrix)
> (require array)
>
> (require Scheme+)
>
> it seems in a module * is not bound to anything, i had a same problem
> in Racket where i need to import racket/base, is there such a need in
> Kawa? ,i can find anything related in the doc.
>
> regards,
> damien