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

Replace uses of untuple with List:.

Browse Source 
original commit: 347b15661a5ed3fb478257618e397c4722e03744
This commit is contained in:
Eric Dobson 2014-04-25 22:36:11 -07:00
parent 3219e6ca6b
commit b0da322f03
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-eq.rkt
View File

@ -63,11 +63,11 @@
(-not-filter-at (-val val) o)))]
[((tc-result1: t _ o)
(or (and (? (lambda _ (id=? #'member comparator)))
(tc-result1: (app untuple (list (and ts (Value: _)) ...))))
(tc-result1: (List: (list (and ts (Value: _)) ...))))
(and (? (lambda _ (id=? #'memv comparator)))
(tc-result1: (app untuple (list (and ts (Value: (? eqv?-able))) ...))))
(tc-result1: (List: (list (and ts (Value: (? eqv?-able))) ...))))
(and (? (lambda _ (id=? #'memq comparator)))
(tc-result1: (app untuple (list (and ts (Value: (? eq?-able))) ...))))))
(tc-result1: (List: (list (and ts (Value: (? eq?-able))) ...))))))
(let ([ty (apply Un ts)])
(ret (Un (-val #f) t)
(-FS (-filter-at ty o)

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/match-expanders.rkt
View File

@ -11,8 +11,6 @@
(for-syntax racket/base syntax/parse))
(provide Listof: List: MListof:)
(provide/cond-contract
[untuple (Type/c . -> . (or/c #f (listof Type/c)))])
(define-match-expander Listof: