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

Make cgen/seq for lists be used more often.

Browse Source 
original commit: 6d975ea6bb4ff01171edef899dd53e92600c91a8
This commit is contained in:
Eric Dobson 2014-06-14 23:14:38 -07:00
parent 5b2caf1c1e
commit f518b184a0
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
View File

@ -432,6 +432,10 @@
#:when (subtype a b)
empty]
;; Lists delegate to sequences
[((ListSeq: s-seq) (ListSeq: t-seq))
(cgen/seq V X Y s-seq t-seq)]
;; refinements are erased to their bound
[((Refinement: S _) T)
(cg S T)]
@ -555,10 +559,6 @@
[((Set: t) (Sequence: (list t*)))
(cg t t*)]
;; Lists delegate to sequences
[((ListSeq: s-seq) (ListSeq: t-seq))
(cgen/seq V X Y s-seq t-seq)]
;; if we have two mu's, we rename them to have the same variable
;; and then compare the bodies
;; This relies on (B 0) only unifying with itself,