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

debugging

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-12 17:06:04 -04:00
parent 499f36ee69
commit dbe9a0f997
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -511,4 +511,4 @@
(define (i s t r) (define (i s t r)
(infer/simple (list s) (list t) r)) (infer/simple (list s) (list t) r))
;(trace cgen cgen/arr) ;(trace cgen)

2
collects/typed-scheme/private/parse-type.rkt
View File

@ -7,7 +7,7 @@
syntax/stx (prefix-in c: scheme/contract) syntax/stx (prefix-in c: scheme/contract)
syntax/parse syntax/parse
(env type-environments type-name-env type-alias-env lexical-env) (env type-environments type-name-env type-alias-env lexical-env)
scheme/match scheme/match unstable/debug
(for-template scheme/base "colon.ss") (for-template scheme/base "colon.ss")
;; needed at this phase for tests ;; needed at this phase for tests
(combine-in (prefix-in t: "base-types-extra.ss") "colon.ss") (combine-in (prefix-in t: "base-types-extra.ss") "colon.ss")

3
collects/typed-scheme/typecheck/tc-structs.rkt
View File

@ -9,7 +9,8 @@
"def-binding.rkt" "def-binding.rkt"
syntax/kerncase syntax/kerncase
syntax/struct syntax/struct
mzlib/trace mzlib/trace
unstable/debug
scheme/match scheme/match
(for-syntax scheme/base)) (for-syntax scheme/base))