In the provided example, yes I'm seeing the stale zo issue. In my "real"
code, each submodule also requires a common module as well and in this
situation I get a cyclic require error as well when check-syntax is
performed as well as the zo error at the bottom of DR. I don't know if
there are two
On Tue, Aug 28, 2012 at 12:23 PM, Eric Dobson wrote:
> Possibly, how is it not working for you?
>
> With:
> #lang typed/racket/base
>
> (module mytypes racket/base
>
> (provide S)
>
> (struct S ()))
>
> (module tyuser racket/base
>
> (require
>(submod ".." mytypes))
>
> (define (mkS v
Possibly, how is it not working for you?
With:
#lang typed/racket/base
(module mytypes racket/base
(provide S)
(struct S ()))
(module tyuser racket/base
(require
(submod ".." mytypes))
(define (mkS value)
(S)))
(note submodules are now in plain racket)
I get:
tmp.rkt:17:5:
The following does not work. Bug?
#lang typed/racket/base
(module mytypes typed/racket/base
(provide
(struct-out S))
(struct: S ()))
(module tyuser typed/racket/base
(require
(submod ".." mytypes))
(: mkS (Any -> S))
(define (mkS value)
(S)))
Racke
4 matches
Mail list logo
