From 5aec0c0c1b59574e53d36e097c19311e45b59bb7 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 6 Apr 2013 10:57:26 -0700 Subject: [PATCH] Switch out? to from-typed? as it has the same meaning. original commit: 03e1ffda3e1c27c982b6ed4681d7d1bc2037b643 --- collects/typed-racket/private/type-contract.rkt | 4 ++-- collects/typed-racket/typecheck/provide-handling.rkt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt index ae0c4085..55baec28 100644 --- a/collects/typed-racket/private/type-contract.rkt +++ b/collects/typed-racket/private/type-contract.rkt @@ -116,7 +116,7 @@ (define (contract-kind->keyword sym) (string->keyword (symbol->string sym))) -(define (type->contract ty fail #:out [out? #f] #:typed-side [from-typed? #t] #:kind [kind 'impersonator]) +(define (type->contract ty fail #:typed-side [from-typed? #t] #:kind [kind 'impersonator]) (define vars (make-parameter '())) (define current-contract-kind (make-parameter flat-sym)) (define (increase-current-contract-kind! kind) @@ -205,7 +205,7 @@ (and rst (t->c/neg rst))))] ;; functions with filters or objects [(arr: dom (Values: (list (Result: rngs _ _) ...)) rst #f '()) - (if (and out? pos?) + (if (and from-typed? pos?) (values (map t->c/neg dom) null (map t->c rngs) diff --git a/collects/typed-racket/typecheck/provide-handling.rkt b/collects/typed-racket/typecheck/provide-handling.rkt index c1594631..5770a84a 100644 --- a/collects/typed-racket/typecheck/provide-handling.rkt +++ b/collects/typed-racket/typecheck/provide-handling.rkt @@ -89,7 +89,7 @@ [(dict-ref defs internal-id #f) => (match-lambda - [(def-binding _ (app (λ (ty) (type->contract ty (λ () #f) #:out #t)) (? values cnt))) + [(def-binding _ (app (λ (ty) (type->contract ty (λ () #f))) (? values cnt))) (values (with-syntax* ([id internal-id] [cnt-id (cnt-id-introducer #'id)]