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

Fix errors in a9ae85d3.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2016-11-05 20:01:26 -04:00
parent a9ae85d3fd
commit 0678743e3d
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
typed-racket-lib/typed-racket/private/type-contract.rkt
View File

@ -9,7 +9,8 @@
(utils tc-utils)
(env type-name-env row-constraint-env)
(rep core-rep rep-utils type-mask values-rep)
(types resolve union utils printer abbrev)
(types resolve union utils printer)
(only-in (types abbrev) -Dead-Code)
(prefix-in t: (types abbrev numeric-tower subtype))
(private parse-type syntax-properties)
racket/match racket/syntax racket/list

2
typed-racket-test/succeed/cast-mod.rkt
View File

@ -117,7 +117,7 @@
1)
(check-equal? (if #true 1 `#s(struct ,(cast 2 Integer) ,(cast 3 Integer)))
1)
(check-true ;; check that this doesn't have an internal error
(check-not-false ;; check that this doesn't have an internal error
(λ () (begin
(error "hi")
(cast (string->number "42") Integer))))