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

simple-occur now works

Browse Source 
original commit: 99cfb23f22226a210192433db53351884df67b9f
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-20 13:07:38 -04:00
parent 686171190a
commit e3733c768f
2 changed files with 8 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/typecheck/tc-metafunctions.ss
View File

@ -16,13 +16,6 @@
(p/c [name c])))
;; this implements the sequence invariant described on the first page relating to Bot
#;
(define (lcombine l1 l2)
(cond [(memq (make-LBot) l1)
(make-LFilterSet (list (make-LBot)) null)]
[(memq (make-LBot) l2)
(make-LFilterSet null (list (make-LBot)))]
[else (make-LFilterSet l1 l2)]))
(define (combine l1 l2)
(match* (l1 l2)

16
collects/typed-scheme/typecheck/tc-subst.ss
View File

@ -17,14 +17,14 @@
(p/c [name c])))
(d/c/p (open-Result r objs)
(-> Result? (listof Object?) Result?)
(for/fold ([r r])
([(o k) (in-indexed (in-list objs))])
(match r
[(Result: t fs old-obj)
(make-Result (subst-type t k o #t)
(subst-filter-set t fs o #t)
(subst-object t old-obj o #t))])))
(-> Result? (listof Object?) (values Type/c FilterSet? Object?))
(match r
[(Result: t fs old-obj)
(for/fold ([t t] [fs fs] [old-obj old-obj])
([(o k) (in-indexed (in-list objs))])
(values (subst-type t k o #t)
(subst-filter-set fs k o #t)
(subst-object old-obj k o #t)))]))
(d/c/p (subst-filter-set fs k o polarity)
(-> FilterSet? integer? Object? boolean? FilterSet?)