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
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)
2 matches
Mail list logo