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

Add contract for seen parameter.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2013-05-08 15:09:13 -04:00
parent a07cdf39ff
commit da3f8f8ec0
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-racket/types/current-seen.rkt
View File

@ -1,8 +1,9 @@
#lang racket/base
(require "../utils/utils.rkt")
(require (rep type-rep))
(require (rep type-rep) (contract-req))
(provide (all-defined-out))
(provide (except-out (all-defined-out) current-seen))
(provide/cond-contract [current-seen (parameter/c list?)])
(define current-seen (make-parameter null))
(define (currently-subtyping?) (not (null? (current-seen))))