Skip to content

Commit bcaba5b

Browse files
committed
Fix contract error.
1 parent 61e7ca4 commit bcaba5b

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

typed-racket-lib/typed-racket/private/type-contract.rkt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,7 @@
3737
(provide change-contract-fixups
3838
change-provide-fixups
3939
any-wrap/sc
40+
from-typed?
4041
extra-requires
4142
include-extra-requires?)
4243

typed-racket-more/typed/racket/generate-predef-con.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@
3131
(match-define (list defs ctc)
3232
(type->contract
3333
typ
34-
#:typed-side side
34+
#:typed-side (from-typed? side)
3535
#:kind kind
3636
#:cache (make-hash)
3737
#:sc-cache (make-hash)

0 commit comments

Comments
 (0)