From a37d944da267af72a495b0206c033c4b611e75a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Wed, 15 Mar 2017 01:04:01 +0100
Subject: [PATCH] Cleanup, re-enabled one contract

---
 private/ddd.rkt                 | 1 -
 private/optcontract.rkt         | 6 ++++--
 private/template-subscripts.rkt | 2 +-
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/private/ddd.rkt b/private/ddd.rkt
index bb16423..9dd4016 100644
--- a/private/ddd.rkt
+++ b/private/ddd.rkt
@@ -256,7 +256,6 @@
 ;;; pvar outside of the body.
 (define-syntax/case (ddd body) ()
   (define/with-syntax (pvar …) (current-pvars-shadowers))
-  (displayln (stx-map syntax-e (current-pvars-shadowers)))
   
   (define-temp-ids "~aᵢ" (pvar …))
   (define/with-syntax f
diff --git a/private/optcontract.rkt b/private/optcontract.rkt
index c979646..100a501 100644
--- a/private/optcontract.rkt
+++ b/private/optcontract.rkt
@@ -1,13 +1,15 @@
 #lang racket
 
-(require racket/contract)
+(require (rename-in racket/contract
+                    [define/contract define/contract/always]))
 
 (provide (except-out (all-from-out racket/contract)
                      define-struct/contract
                      ;define/contract
                      provide/contract
                      invariant-assertion)
-         define/contract)
+         define/contract
+         define/contract/always)
 
 (define-syntax-rule (define/contract sig c . rest)
   (define sig . rest))
\ No newline at end of file
diff --git a/private/template-subscripts.rkt b/private/template-subscripts.rkt
index 8d59ed9..55642c7 100644
--- a/private/template-subscripts.rkt
+++ b/private/template-subscripts.rkt
@@ -242,7 +242,7 @@
 
 (define formattable/c (or/c number? string? symbol? bytes?))
 
-(define/contract
+(define/contract/always
   (generate-nested-ids depth bound binder₀ format l* attribute-names whole-form)
   (->i {[depth exact-nonnegative-integer?]
         [bound identifier?]