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

add obligations for instanceof/c

Browse Source
This commit is contained in:
Robby Findler 2018-04-24 14:34:56 -05:00
parent 77d0b0b8f4
commit b8c398cc69
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/racket-test/tests/racket/contract/obligations.rkt
View File

@ -3,7 +3,7 @@
racket/list)
(parameterize ([current-contract-namespace
(make-basic-contract-namespace)])
(make-basic-contract-namespace 'racket/class)])
(define (test-obligations quoted-expr expected-props)
(define ((cleanup key stx) obj)
@ -69,6 +69,9 @@
(test-obligations '(listof a)
'((racket/contract:contract (listof) ())
(racket/contract:positive-position a)))
(test-obligations '(instanceof/c a)
'((racket/contract:contract (instanceof/c) ())
(racket/contract:positive-position a)))
(test-obligations '(hash/c a b)
'((racket/contract:contract (hash/c) ())
(racket/contract:negative-position a)

2
racket/collects/racket/private/class-c-old.rkt
View File

@ -1423,7 +1423,7 @@
#:first-order instanceof/c-first-order
#:stronger instanceof/c-stronger))
(define (instanceof/c cctc)
(define/subexpression-pos-prop (instanceof/c cctc)
(let ([ctc (coerce-contract 'instanceof/c cctc)])
(make-base-instanceof/c ctc)))