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

Fix indentation

Browse Source
This commit is contained in:
Asumu Takikawa 2013-09-05 22:54:34 -04:00
parent ed34b6486c
commit 372c2499c1
1 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt
View File

@ -12,24 +12,24 @@
(provide (all-defined-out)) (provide (all-defined-out))
(define/cond-contract (open-Result r objs [ts #f]) (define/cond-contract (open-Result r objs [ts #f])
(->* (Result? (listof Object?)) ((listof Type/c)) (values Type/c FilterSet? Object?)) (->* (Result? (listof Object?)) ((listof Type/c)) (values Type/c FilterSet? Object?))
(match r (match r
[(Result: t fs old-obj) [(Result: t fs old-obj)
(for/fold ([t t] [fs fs] [old-obj old-obj]) (for/fold ([t t] [fs fs] [old-obj old-obj])
([(o k) (in-indexed (in-list objs))] ([(o k) (in-indexed (in-list objs))]
[arg-ty (if ts (in-list ts) (in-cycle (in-value #f)))]) [arg-ty (if ts (in-list ts) (in-cycle (in-value #f)))])
(values (subst-type t k o #t) (values (subst-type t k o #t)
(subst-filter-set fs k o #t arg-ty) (subst-filter-set fs k o #t arg-ty)
(subst-object old-obj k o #t)))])) (subst-object old-obj k o #t)))]))
(define/cond-contract (subst-filter-set fs k o polarity [t #f]) (define/cond-contract (subst-filter-set fs k o polarity [t #f])
(->* ((or/c FilterSet? NoFilter?) name-ref/c Object? boolean?) ((or/c #f Type/c)) FilterSet?) (->* ((or/c FilterSet? NoFilter?) name-ref/c Object? boolean?) ((or/c #f Type/c)) FilterSet?)
(define extra-filter (if t (make-TypeFilter t null k) -top)) (define extra-filter (if t (make-TypeFilter t null k) -top))
(define (add-extra-filter f) (define (add-extra-filter f)
(define f* (-and extra-filter f)) (define f* (-and extra-filter f))
(match f* (match f*
[(Bot:) f*] [(Bot:) f*]
[_ f])) [_ f]))
(match fs (match fs
[(FilterSet: f+ f-) [(FilterSet: f+ f-)
(-FS (subst-filter (add-extra-filter f+) k o polarity) (-FS (subst-filter (add-extra-filter f+) k o polarity)
@ -37,7 +37,7 @@
[_ -no-filter])) [_ -no-filter]))
(define/cond-contract (subst-type t k o polarity) (define/cond-contract (subst-type t k o polarity)
(-> Type/c name-ref/c Object? boolean? Type/c) (-> Type/c name-ref/c Object? boolean? Type/c)
(define (st t) (subst-type t k o polarity)) (define (st t) (subst-type t k o polarity))
(define/cond-contract (sf fs) (FilterSet? . -> . FilterSet?) (subst-filter-set fs k o polarity)) (define/cond-contract (sf fs) (FilterSet? . -> . FilterSet?) (subst-filter-set fs k o polarity))
(type-case (#:Type st (type-case (#:Type st
@ -57,7 +57,7 @@
(map st kws)))])) (map st kws)))]))
(define/cond-contract (subst-object t k o polarity) (define/cond-contract (subst-object t k o polarity)
(-> Object? name-ref/c Object? boolean? Object?) (-> Object? name-ref/c Object? boolean? Object?)
(match t (match t
[(NoObject:) t] [(NoObject:) t]
[(Empty:) t] [(Empty:) t]