From e81eb675acb49364d11fc9e1ac7028178fc6e382 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 9 Apr 2011 20:11:16 -0500 Subject: [PATCH] renamed parametric/c to parametric->/c and cleaned up the organization of the related files original commit: 570a3e58b9e82a50a35466a17cd293e1df74f6bc --- collects/typed-scheme/private/type-contract.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/type-contract.rkt b/collects/typed-scheme/private/type-contract.rkt index 5f071325..20bda229 100644 --- a/collects/typed-scheme/private/type-contract.rkt +++ b/collects/typed-scheme/private/type-contract.rkt @@ -14,7 +14,7 @@ (private parse-type) racket/match unstable/match syntax/struct syntax/stx mzlib/trace racket/syntax scheme/list (only-in scheme/contract -> ->* case-> cons/c flat-rec-contract provide/contract any/c) - (for-template scheme/base scheme/contract racket/contract/parametric (utils any-wrap) + (for-template scheme/base racket/contract (utils any-wrap) (only-in scheme/class object% is-a?/c subclass?/c object-contract class/c init object/c class?))) (define (define/fixup-contract? stx) @@ -207,7 +207,7 @@ (with-syntax ([(v ...) (generate-temporaries vs-nm)]) (parameterize ([vars (append (map list vs (syntax->list #'(v ...))) (vars))]) - #`(parametric/c (v ...) #,(t->c b))))))] + #`(parametric->/c (v ...) #,(t->c b))))))] [(Mu: n b) (match-let ([(Mu-name: n-nm _) ty]) (with-syntax ([(n*) (generate-temporaries (list n-nm))])