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

Remove unnecessary type->contract case

Browse Source
This commit is contained in:
Asumu Takikawa 2013-04-05 16:44:04 -04:00
parent 0161dfdf16
commit 9eaf5aaddb
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -379,7 +379,6 @@
#,(contract-kind->keyword #,(contract-kind->keyword
(current-contract-kind)))]) (current-contract-kind)))])
n*))))] n*))))]
[(Value: #f) #'false/c]
[(Instance: (? Mu? t)) [(Instance: (? Mu? t))
(t->c (make-Instance (resolve-once t)))] (t->c (make-Instance (resolve-once t)))]
[(Instance: (Class: _ _ (list (list name fcn) ...))) [(Instance: (Class: _ _ (list (list name fcn) ...)))