Re: [racket-users] Unit order matters in `define-values/invoke-unit/infer`

2016-03-09 Thread Robby Findler
No, I believe that's correct behavior. You probably want to use init-depend so you get a better error, like this: (define-unit y@ (import x^) (export y^) (init-depend x^) (define y x)) Also, I see that that the init-depend failure doesn't have good source location reporting. Robby On W

[racket-users] Unit order matters in `define-values/invoke-unit/infer`

2016-03-09 Thread Phil Nguyen
The program below complains that `x` is used before initialization. But if I change the linking order to `x@` before `y@`, it works fine. Is this an intended behavior or a bug? This is Racket v6.4.0.7 #lang racket (define-signature x^ (x)) (define-signature y^ (y)) (define-unit x@ (import)