You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
42 lines
1.3 KiB
Racket
42 lines
1.3 KiB
Racket
11 years ago
|
#lang racket/base
|
||
|
|
(require (for-syntax racket/base))
|
||
|
|
(require racket/contract)
|
||
|
|
|
||
|
|
(provide (all-defined-out) (all-from-out racket/contract))
|
||
|
|
|
||
|
|
;; each define macro recursively converts any form of define
|
||
|
|
;; into its lambda form (define name body ...) and then operates on that.
|
||
|
|
|
||
|
|
(define-syntax (define+provide+safe stx)
|
||
|
|
(syntax-case stx ()
|
||
|
|
[(_ (proc arg ... . rest-arg) contract body ...)
|
||
|
|
#'(define+provide+safe proc contract
|
||
|
|
(λ(arg ... . rest-arg) body ...))]
|
||
|
|
[(_ name contract body ...)
|
||
|
|
#'(begin
|
||
|
|
(define name body ...)
|
||
|
|
(provide name)
|
||
|
|
(module+ safe
|
||
|
|
(provide (contract-out [name contract]))))]))
|
||
|
|
|
||
|
|
(define-syntax (define+provide/contract stx)
|
||
|
|
(syntax-case stx ()
|
||
|
|
[(_ (proc arg ... . rest-arg) contract body ...)
|
||
|
|
#'(define+provide/contract proc contract
|
||
|
|
(λ(arg ... . rest-arg) body ...))]
|
||
|
|
[(_ name contract body ...)
|
||
|
|
#'(begin
|
||
|
|
(provide (contract-out [name contract]))
|
||
|
|
(define name body ...))]))
|
||
|
|
|
||
|
|
|
||
|
|
(define-syntax (define/contract+provide stx)
|
||
|
|
(syntax-case stx ()
|
||
|
|
[(_ (proc arg ... . rest-arg) contract body ...)
|
||
|
|
#'(define/contract+provide proc contract
|
||
|
|
(λ(arg ... . rest-arg) body ...))]
|
||
|
|
[(_ name contract body ...)
|
||
|
|
#'(begin
|
||
|
|
(provide name)
|
||
|
|
(define/contract name contract body ...))]))
|