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

Fix kernel-struct tests in TR.

Browse Source
This commit is contained in:
Eric Dobson 2011-07-06 11:48:05 -04:00 committed by Vincent St-Amour
parent 30058a5a24
commit e6030295ff
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -1356,8 +1356,6 @@
|# |#
;Kernel Structs, check that their hidden identifiers type ;Kernel Structs, check that their hidden identifiers type
;Currently broken in test-suite because of binding differences
#;
(tc-e (void exn (tc-e (void exn
exn:fail exn:fail
exn:fail:contract exn:fail:contract

4
collects/typed-scheme/base-env/base-structs.rkt
View File

@ -7,7 +7,9 @@
(except-in (rep filter-rep object-rep type-rep) make-arr) (except-in (rep filter-rep object-rep type-rep) make-arr)
(types convenience union) (types convenience union)
(only-in (types convenience) [make-arr* make-arr]) (only-in (types convenience) [make-arr* make-arr])
(typecheck tc-structs)) (typecheck tc-structs)
;;For tests
(prefix-in k: '#%kernel))
(require (for-template racket/base (prefix-in k: '#%kernel))) (require (for-template racket/base (prefix-in k: '#%kernel)))