[racket] Typed racket with serializable struct

Hello, I would like to use a 'serialize-struct' in typed/racket. It seems there is no 'serialize-struct:' built in typed/racket. So i have decided to put the struct into a specific submodule and require/type the structs. ;;test.rkt #lang typed/racket (module data-structs racket

Re: [racket] Typed racket with serializable struct

You've stumbled upon two different bugs here. 1. Submodules and Typed Racket interact badly -- this is a bug in the internals of Racket, but won't be fixed in the near future. The workaround, as you discovered, is to use a separate files. 2. `struct-out` and `struct:` interact badly. This is a b