From 2a07425f26e7479c5ea3695aa3140e11fac5c242 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 18 Jul 2014 23:30:48 -0500 Subject: [PATCH] renaming bug in file/convertible's contract --- racket/collects/file/convertible.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/racket/collects/file/convertible.rkt b/racket/collects/file/convertible.rkt index 0abea6524e..1fc516ceab 100644 --- a/racket/collects/file/convertible.rkt +++ b/racket/collects/file/convertible.rkt @@ -4,11 +4,11 @@ (define opaque-default/c (new-∀/c)) -(define default/c (or/c #f opaque-default/c)) +(define default-or-f/c (or/c #f opaque-default/c)) (define (make-result-contract request default) (define default/c - (if (unsupplied-arg? default) default/c opaque-default/c)) + (if (unsupplied-arg? default) default-or-f/c opaque-default/c)) (case request [(text) (or/c string? default/c)] @@ -41,12 +41,12 @@ [prop:convertible (struct-type-property/c - (->i ([v convertible?] [request symbol?] [default default/c]) + (->i ([v convertible?] [request symbol?] [default default-or-f/c]) [result (request default) (make-result-contract request default)]))] [convert (->i ([v convertible?] [request symbol?]) - ([default default/c]) + ([default default-or-f/c]) [result (request default) (make-result-contract request default)])]))