meow.rkt

#lang racket/base

(require
 (for-syntax
  racket
  syntax/parse)
 racket/contracts)

(provide (rename-out [new-define/contract define/contract]))

(define-syntax (new-define/contract stx)
  (syntax-parse stx
    [`(_ (name args ...) contract body ...)
     #`(define (name args ...)
         (define (unsafe-name)
           body ...)
         (define/contract (name^)
           contract
           (unsafe-name))
         (if (ENABLE_CONTRACTS?)
             (name^)
             (unsafe-name)))]))

(define ENABLE_CONTRACTS (make-parameter (and (getenv "ENABLE_CONTRACTS") #true))))