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

Whitespace and comment fixes

Browse Source 
original commit: 09cf079453a162bb742ee7d44e1295ccc34934e9
This commit is contained in:
Asumu Takikawa 2013-05-14 14:57:57 -04:00
parent f865e1501c
commit be29737ef1
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
;; This module provides helper macros for `require/typed`
(require racket/contract/region racket/contract/base
syntax/location
(for-syntax racket/base
@ -25,19 +27,16 @@
'inferred-name
(syntax-e #'name)))])]))
(define-syntax (get-alternate stx)
(syntax-case stx ()
[(_ id)
(tr:get-alternate #'id)]))
;Requires an identifier from an untyped module into a typed module
;nm is the import
;hidden is an id that will end up being the actual definition
;nm will be bound to a rename transformer so that it is not provided
;with all-defined-out
;; Requires an identifier from an untyped module into a typed module
;; nm is the import
;; hidden is an id that will end up being the actual definition
;; 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-class renameable
(pattern nm:id
@ -66,3 +65,4 @@
(current-contract-region)
(quote nm.nm)
(quote-srcloc nm.nm)))))]))