We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 39c818a commit a3819f6Copy full SHA for a3819f6
typed-racket-compatibility/typed/scheme/base.rkt
@@ -27,8 +27,7 @@
27
typed-racket/base-env/base-types
28
(except-in typed-racket/base-env/base-types-extra Distinction)
29
(for-syntax (except-in typed-racket/base-env/base-types-extra Distinction)))
30
-(provide (rename-out [define-type-alias define-type])
31
- (all-from-out typed-racket/base-env/prims)
+(provide (all-from-out typed-racket/base-env/prims)
32
(all-from-out typed-racket/base-env/prims-deprecated)
33
(all-from-out typed-racket/base-env/base-types)
34
(all-from-out typed-racket/base-env/base-types-extra)
0 commit comments