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

Require numeric-predicates at the correct phase.

Browse Source 
Closes PR 11897.
This commit is contained in:
Sam Tobin-Hochstadt 2011-05-05 18:48:56 -04:00
parent 507db7e5a6
commit af56616fc8
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/succeed/pr11897.rkt Normal file
View File

@ -0,0 +1,6 @@
#lang typed/racket
(: x Index)
(define x 7)
(provide x)

1
collects/typed-scheme/private/type-contract.rkt
View File

@ -15,6 +15,7 @@
racket/match unstable/match syntax/struct syntax/stx mzlib/trace racket/syntax scheme/list
(only-in scheme/contract -> ->* case-> cons/c flat-rec-contract provide/contract any/c)
(for-template scheme/base racket/contract (utils any-wrap)
(prefix-in t: (types numeric-predicates))
(only-in scheme/class object% is-a?/c subclass?/c object-contract class/c init object/c class?)))
(define (define/fixup-contract? stx)