From c871a36d8dac6ce0a7b7090eed3a41974b7a6b13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Tue, 26 Sep 2017 19:34:23 +0200
Subject: [PATCH] Remove contract

---
 macrotypes/type-constraints.rkt | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/macrotypes/type-constraints.rkt b/macrotypes/type-constraints.rkt
index b8a33c9..109bfa8 100644
--- a/macrotypes/type-constraints.rkt
+++ b/macrotypes/type-constraints.rkt
@@ -305,12 +305,7 @@
 ;; inst-type/cs/orig :
 ;; (Stx-Listof Id) Constraints Type-Stx (Id Id -> Bool) -> Type-Stx
 ;; like inst-type/cs, but also substitutes within the orig property
-(define/contract (inst-type/cs/orig Xs cs ty [var=? free-identifier=?])
-  (-> (stx->list->c (listof identifier?))
-      (stx->list->c (listof (stx->list->c (list/c syntax? syntax?))))
-      type?
-      (-> identifier? identifier? boolean?)
-      type?)
+(define (inst-type/cs/orig Xs cs ty [var=? free-identifier=?])
   (define tys-solved (lookup-Xs/keep-unsolved Xs cs))
   (inst-type/orig tys-solved Xs ty var=?))
 ;; inst-type/cs/orig/variance