suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove debugging instrumentation

Browse Source 
(cherry picked from commit ec8e126a90)
This commit is contained in:
Asumu Takikawa 2013-05-10 15:43:11 -04:00 committed by Ryan Culpepper
parent 8b1c643bca
commit dade2004e3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/types/subtype.rkt
View File

@ -1,4 +1,4 @@
#lang errortrace racket/base #lang racket/base
(require (except-in "../utils/utils.rkt" infer) (require (except-in "../utils/utils.rkt" infer)
racket/match unstable/match racket/function racket/lazy-require racket/list racket/match unstable/match racket/function racket/lazy-require racket/list
(prefix-in c: (contract-req)) (prefix-in c: (contract-req))
@ -7,7 +7,7 @@
(types utils resolve base-abbrev match-expanders (types utils resolve base-abbrev match-expanders
numeric-tower substitute current-seen) numeric-tower substitute current-seen)
(for-syntax racket/base syntax/parse)) (for-syntax racket/base syntax/parse))
(require racket/trace)
(lazy-require (lazy-require
("union.rkt" (Un)) ("union.rkt" (Un))
("../infer/infer.rkt" (infer))) ("../infer/infer.rkt" (infer)))