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

Remove debugging instrumentation

Browse Source
This commit is contained in:
Asumu Takikawa 2013-05-10 15:43:11 -04:00
parent ae7741fe60
commit ec8e126a90
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)
(rep type-rep filter-rep object-rep rep-utils) (rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils) (utils tc-utils)
@ -11,7 +11,7 @@
racket/lazy-require racket/lazy-require
(prefix-in c: racket/contract) (prefix-in c: racket/contract)
(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)))