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

Whitespace and comment fixes

Browse Source
This commit is contained in:
Asumu Takikawa 2013-05-14 14:57:57 -04:00
parent e0cff038c8
commit 09cf079453
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/typed-racket/utils/require-contract.rkt
View File

@ -1,5 +1,7 @@
#lang racket/base #lang racket/base
;; This module provides helper macros for `require/typed`
(require racket/contract/region racket/contract/base (require racket/contract/region racket/contract/base
syntax/location syntax/location
(for-syntax racket/base (for-syntax racket/base
@ -25,19 +27,16 @@
'inferred-name 'inferred-name
(syntax-e #'name)))])])) (syntax-e #'name)))])]))
(define-syntax (get-alternate stx) (define-syntax (get-alternate stx)
(syntax-case stx () (syntax-case stx ()
[(_ id) [(_ id)
(tr:get-alternate #'id)])) (tr:get-alternate #'id)]))
;; Requires an identifier from an untyped module into a typed module
;; nm is the import
;Requires an identifier from an untyped module into a typed module ;; hidden is an id that will end up being the actual definition
;nm is the import ;; nm will be bound to a rename transformer so that it is not provided
;hidden is an id that will end up being the actual definition ;; with all-defined-out
;nm will be bound to a rename transformer so that it is not provided
;with all-defined-out
(define-syntax (require/contract stx) (define-syntax (require/contract stx)
(define-syntax-class renameable (define-syntax-class renameable
(pattern nm:id (pattern nm:id
@ -66,3 +65,4 @@
(current-contract-region) (current-contract-region)
(quote nm.nm) (quote nm.nm)
(quote-srcloc nm.nm)))))])) (quote-srcloc nm.nm)))))]))