Re: [racket-users] namespace-variable-value thinks functions are bound to syntax
That works! Thanks. On Mon, Oct 30, 2017 at 9:35 AM Shu-Hung You < shu-hung@eecs.northwestern.edu> wrote: > Yes, because keyword functions expand to macro definitions that try to > optimize keyword applications. > > namespace-require and namespace-variable-value are relatively > low-level operations on modules and namespaces. Using dynamic-require > could be a bit easier: > > #lang racket > > (module p racket > (provide (all-defined-out)) > > (define (foo0 a b) > (+ a b)) > (define (foo1 a b [c 3]) > (+ a b c)) > (define (foo2 a b [c 3] #:kw1 kw1) > (+ a b c)) > (define (foo3 a b [c 3] #:kw1 kw1 #:kw2 [kw2 1]) > (+ a b c)) > ) > > (require syntax/location) > > (define ns (make-base-empty-namespace)) > > (parameterize ([current-namespace ns]) > (dynamic-require (quote-module-path p) 'foo0)) > ;=> # > > (parameterize ([current-namespace ns]) > (dynamic-require (quote-module-path p) 'foo1)) > ;=> # > > (parameterize ([current-namespace ns]) > (dynamic-require (quote-module-path p) 'foo2)) > ;=> # > > (parameterize ([current-namespace ns]) > (dynamic-require (quote-module-path p) 'foo3)) > ;=> # > > Please note that dynamic-require handles macro exports specially, as > stated in the doc: > > > https://docs.racket-lang.org/reference/Module_Names_and_Loading.html#%28def._%28%28quote._~23~25kernel%29._dynamic-require%29%29 > > If the module exports _provided_ as syntax, > > then a use of the binding is expanded and > > evaluated in a fresh namespace to which > > the module is attached, which means that > > the module is visited in the fresh namespace. > > The expanded syntax must return a single value. > > Best, > Shu-Hung > > On Sun, Oct 29, 2017 at 7:40 PM, Junsong Li > wrote: > > Hello list, > > > > In the following program, racket thinks foo2, and foo3 are bound to > > syntax. Is this expected behavior? > > > > -- File: go.rkt > > > > #lang racket > > > > (module p racket > > (provide (all-defined-out)) > > > > (define (foo0 a b) > > (+ a b)) > > (define (foo1 a b [c 3]) > > (+ a b c)) > > (define (foo2 a b [c 3] #:kw1 kw1) > > (+ a b c)) > > (define (foo3 a b [c 3] #:kw1 kw1 #:kw2 [kw2 1]) > > (+ a b c)) > > ) > > > > (require syntax/location) > > > > (define ns (make-base-empty-namespace)) > > (parameterize ([current-namespace ns]) > > (namespace-require (quote-module-path p))) > > > > (namespace-variable-value 'foo0 #t #f ns) ; OK > > (namespace-variable-value 'foo1 #t #f ns) ; OK > > (namespace-variable-value 'foo2 #t #f ns) ; namespace-variable-value: > > bound to syntax in: foo2 > > (namespace-variable-value 'foo3 #t #f ns) ; namespace-variable-value: > > bound to syntax in: foo3 > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users+unsubscr...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] namespace-variable-value thinks functions are bound to syntax
Yes, because keyword functions expand to macro definitions that try to optimize keyword applications. namespace-require and namespace-variable-value are relatively low-level operations on modules and namespaces. Using dynamic-require could be a bit easier: #lang racket (module p racket (provide (all-defined-out)) (define (foo0 a b) (+ a b)) (define (foo1 a b [c 3]) (+ a b c)) (define (foo2 a b [c 3] #:kw1 kw1) (+ a b c)) (define (foo3 a b [c 3] #:kw1 kw1 #:kw2 [kw2 1]) (+ a b c)) ) (require syntax/location) (define ns (make-base-empty-namespace)) (parameterize ([current-namespace ns]) (dynamic-require (quote-module-path p) 'foo0)) ;=> # (parameterize ([current-namespace ns]) (dynamic-require (quote-module-path p) 'foo1)) ;=> # (parameterize ([current-namespace ns]) (dynamic-require (quote-module-path p) 'foo2)) ;=> # (parameterize ([current-namespace ns]) (dynamic-require (quote-module-path p) 'foo3)) ;=> # Please note that dynamic-require handles macro exports specially, as stated in the doc: https://docs.racket-lang.org/reference/Module_Names_and_Loading.html#%28def._%28%28quote._~23~25kernel%29._dynamic-require%29%29 > If the module exports _provided_ as syntax, > then a use of the binding is expanded and > evaluated in a fresh namespace to which > the module is attached, which means that > the module is visited in the fresh namespace. > The expanded syntax must return a single value. Best, Shu-Hung On Sun, Oct 29, 2017 at 7:40 PM, Junsong Li wrote: > Hello list, > > In the following program, racket thinks foo2, and foo3 are bound to > syntax. Is this expected behavior? > > -- File: go.rkt > > #lang racket > > (module p racket > (provide (all-defined-out)) > > (define (foo0 a b) > (+ a b)) > (define (foo1 a b [c 3]) > (+ a b c)) > (define (foo2 a b [c 3] #:kw1 kw1) > (+ a b c)) > (define (foo3 a b [c 3] #:kw1 kw1 #:kw2 [kw2 1]) > (+ a b c)) > ) > > (require syntax/location) > > (define ns (make-base-empty-namespace)) > (parameterize ([current-namespace ns]) > (namespace-require (quote-module-path p))) > > (namespace-variable-value 'foo0 #t #f ns) ; OK > (namespace-variable-value 'foo1 #t #f ns) ; OK > (namespace-variable-value 'foo2 #t #f ns) ; namespace-variable-value: > bound to syntax in: foo2 > (namespace-variable-value 'foo3 #t #f ns) ; namespace-variable-value: > bound to syntax in: foo3 > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] namespace-variable-value thinks functions are bound to syntax
Hello list, In the following program, racket thinks foo2, and foo3 are bound to syntax. Is this expected behavior? -- File: go.rkt #lang racket (module p racket (provide (all-defined-out)) (define (foo0 a b) (+ a b)) (define (foo1 a b [c 3]) (+ a b c)) (define (foo2 a b [c 3] #:kw1 kw1) (+ a b c)) (define (foo3 a b [c 3] #:kw1 kw1 #:kw2 [kw2 1]) (+ a b c)) ) (require syntax/location) (define ns (make-base-empty-namespace)) (parameterize ([current-namespace ns]) (namespace-require (quote-module-path p))) (namespace-variable-value 'foo0 #t #f ns) ; OK (namespace-variable-value 'foo1 #t #f ns) ; OK (namespace-variable-value 'foo2 #t #f ns) ; namespace-variable-value: bound to syntax in: foo2 (namespace-variable-value 'foo3 #t #f ns) ; namespace-variable-value: bound to syntax in: foo3 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.