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

Fix a test error.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2014-05-06 20:26:49 -04:00
parent 4de1583c68
commit f8da26dddc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
View File

@ -107,7 +107,7 @@
[infer-t (->... (list (-v b)) ((-v a) a) (-v b)) (-> -String -Symbol -String) #:vars '(b) #:indices '(a)] [infer-t (->... (list (-v b)) ((-v a) a) (-v b)) (-> -String -Symbol -String) #:vars '(b) #:indices '(a)]
[infer-l (list (->... null ((-v b) b) (-v a)) (-> (-v a) -Boolean)) [infer-l (list (->... null ((-v b) b) (-v a)) (-> (-v a) -Boolean))
(list (-> -String -Symbol) (-> Univ -Boolean) -String) (list (-> -String -Symbol) (-> -Symbol -Boolean))
#:vars '(a) #:vars '(a)
#:indices '(b)] #:indices '(b)]
[infer-l (list (->... null ((-v a) a) (-v b)) (make-ListDots (-v a) 'a)) [infer-l (list (->... null ((-v a) a) (-v b)) (make-ListDots (-v a) 'a))