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

Remove evcase.

Browse Source 
original commit: 88f5f4c8361d990af44ea1335d03d292f2ce2c46
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-03 15:57:27 -04:00
parent 9725465b46
commit 29763a44d9
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-racket/rep/type-rep.rkt
View File

@ -3,7 +3,7 @@
(require (utils tc-utils)
"rep-utils.rkt" "object-rep.rkt" "filter-rep.rkt" "free-variance.rkt"
racket/match mzlib/etc
racket/match ;mzlib/etc
racket/contract
(for-syntax racket/base syntax/parse))
@ -83,11 +83,11 @@
(hash-ref t n))))]))
(define (apply-variance v tbl)
(evcase v
[(Constant) (make-constant tbl)]
[(Covariant) tbl]
[(Invariant) (make-invariant tbl)]
[(Contravariant) (flip-variances tbl)]))
(match v
[(== Constant) (make-constant tbl)]
[(== Covariant) tbl]
[(== Invariant) (make-invariant tbl)]
[(== Contravariant) (flip-variances tbl)]))
;; left and right are Types
(def-type Pair ([left Type/c] [right Type/c]) [#:key 'pair])