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

Remove duplicate case in infer.

Browse Source 
original commit: e5d4aed2fb8560e83810b4a139485ef6d5c2a0c8
This commit is contained in:
Eric Dobson 2014-04-29 23:42:05 -07:00
parent 9a392d8c09
commit 1e707d1b68
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))])
(and (subtype S t) t)))
(% cg type t*)]
[((Vector: t) (Sequence: (list t*)))
(cg t t*)]
[((Hashtable: k v) (Sequence: (list k* v*)))
(cgen/list V X Y (list k v) (list k* v*))]
[((Set: t) (Sequence: (list t*)))