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

Remove duplicate case in infer.

Browse Source
This commit is contained in:
Eric Dobson 2014-04-29 23:42:05 -07:00
parent 03373d1189
commit e5d4aed2fb
1 changed files with 0 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-lib/typed-racket/infer/infer-unit.rkt
View File

@ -570,8 +570,6 @@
(for/or ([t (in-list (list -Byte -Index -NonNegFixnum -Nat))]) (for/or ([t (in-list (list -Byte -Index -NonNegFixnum -Nat))])
(and (subtype S t) t))) (and (subtype S t) t)))
(% cg type t*)] (% cg type t*)]
[((Vector: t) (Sequence: (list t*)))
(cg t t*)]
[((Hashtable: k v) (Sequence: (list k* v*))) [((Hashtable: k v) (Sequence: (list k* v*)))
(cgen/list V X Y (list k v) (list k* v*))] (cgen/list V X Y (list k v) (list k* v*))]
[((Set: t) (Sequence: (list t*))) [((Set: t) (Sequence: (list t*)))