From f25f361bbc1a096bb2c8dc5aeeb9960e4e5c674d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 15 Feb 2010 18:36:26 +0000 Subject: [PATCH] remove debugging code svn: r18087 original commit: 89da61307393a19dbf7ae90942c1301616939edb --- collects/typed-scheme/private/type-contract.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss index 5f425efc..b50bea92 100644 --- a/collects/typed-scheme/private/type-contract.ss +++ b/collects/typed-scheme/private/type-contract.ss @@ -54,7 +54,6 @@ (let loop ([ty ty] [pos? #t] [from-typed? from-typed?] [structs-seen null]) (define (t->c t #:seen [structs-seen structs-seen]) (loop t pos? from-typed? structs-seen)) (define (t->c/neg t #:seen [structs-seen structs-seen]) (loop t (not pos?) (not from-typed?) structs-seen)) - (trace t->c) (match ty [(or (App: _ _ _) (Name: _)) (t->c (resolve-once ty))] ;; any/c doesn't provide protection in positive position