rep: repair def-structrual

capfredf · capfredf · commit 4be1a51c1d04 · 2022-07-15T13:46:51.000-04:00
type rep constructor names needs to exported for cross-module unserialization
diff --git a/typed-racket-test/succeed/builtin-type-constr-cross-module.rkt b/typed-racket-test/succeed/builtin-type-constr-cross-module.rkt
@@ -0,0 +1,3 @@
+#lang typed/racket/base
+(define-type so Setof)
+(define-type prom Promise)
