suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix the error message in issue #375

Browse Source
This commit is contained in:
Alex Knauth 2016-06-25 12:29:23 -04:00 committed by AlexKnauth
parent a10fd9ef45
commit 9bda1bfcbc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/prims-contract.rkt
View File

@ -343,7 +343,7 @@
(define existing-ty-ctc (syntax-local-lift-expression
(make-contract-def-rhs/from-typed existing-ty-id #f #f)))
(define (store-existing-type existing-type)
(cast-table-set! existing-ty-id existing-type))
(cast-table-set! existing-ty-id (datum->syntax #f existing-type #'v)))
(define (check-valid-type _)
(define type (parse-type #'ty))
(define vars (fv type))