From f56868d873280fccab10d87f5a617f91c32157ff Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Sun, 17 Jan 2010 07:23:47 +0000 Subject: [PATCH] Typos and type errors in new property stuff. svn: r17700 original commit: bb7bd9de51f01b2620a8162da5de0bfffd645247 --- collects/mzlib/private/contract-arr-obj-helpers.ss | 2 +- collects/mzlib/private/contract-object.ss | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/mzlib/private/contract-arr-obj-helpers.ss b/collects/mzlib/private/contract-arr-obj-helpers.ss index 4dd2791..de1788c 100644 --- a/collects/mzlib/private/contract-arr-obj-helpers.ss +++ b/collects/mzlib/private/contract-arr-obj-helpers.ss @@ -365,7 +365,7 @@ [(val blame name-id) outer-args]) (syntax (let ([dom-contract-x (coerce-contract '-> dom)] ...) - (let ([dom-x (contract-proc dom-contract-x)] ...) + (let ([dom-x (contract-projection dom-contract-x)] ...) (let ([name-id (build-compound-type-name '-> name-dom-contract-x ... 'any)]) body)))))) diff --git a/collects/mzlib/private/contract-object.ss b/collects/mzlib/private/contract-object.ss index 63c91ed..c5018cb 100644 --- a/collects/mzlib/private/contract-object.ss +++ b/collects/mzlib/private/contract-object.ss @@ -331,9 +331,9 @@ ... [field-ctc-var (coerce-contract 'object-contract field-ctc-stx)] ...) - (let ([method-var (contract-proc method-ctc-var)] + (let ([method-var (contract-projection method-ctc-var)] ... - [field-var (contract-proc field-ctc-var)] + [field-var (contract-projection field-ctc-var)] ...) (let ([cls (make-wrapper-class 'wrapper-class '(method-name ...)