I just tried that but got an even weirder error:
#lang typed/racket
(require math/array)
(module+ test
(require math/array)
(require/typed math/array
[unsafe-list->array (All (a) [Indexes (Listof a) -> (Array
a)])])
(array #[#[#f #f #f]
#[#f #f #f]
#[#f #f #f]])
)
;unsafe-list->array2: unbound identifier;
; also, no #%top syntax transformer is bound in: unsafe-list->array2
On Jul 31, 2014, at 9:31 PM, Vincent St-Amour <stamo...@ccs.neu.edu> wrote:
> At Thu, 31 Jul 2014 19:48:31 -0400,
> Alexander D. Knauth wrote:
>>
>> And also I just curious, how does type checking work with module+ anyway?
>
> The short answer is that it doesn't work reliably.
>
> There's a bug in the expander that affects (IIRC) how TR determines
> whether a module is typed or not. Until that's fixed, TR thinks that
> your submodule is untyped (at least as far as imports go).
>
> A workaround that I've used is to use `require/typed` inside the
> submodule.
>
> Vincent
____________________
Racket Users list:
http://lists.racket-lang.org/users
