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

renamed parametric/c to parametric->/c

Browse Source 
and cleaned up the organization of the related files

original commit: 570a3e58b9e82a50a35466a17cd293e1df74f6bc
This commit is contained in:
Robby Findler 2011-04-09 20:11:16 -05:00
parent 12955cdc37
commit e81eb675ac
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/type-contract.rkt
View File

@ -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))])