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

Got rid of a broken subtyping rule.

Browse Source 
original commit: 5a67535a950ba19846151a6f7a3f7a473affea86
This commit is contained in:
Vincent St-Amour 2010-10-01 17:22:15 -04:00
parent 8c6264008d
commit 7876c75cbc
3 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/fail/log-not-complex.rkt Normal file
View File

@ -0,0 +1,5 @@
#;
(exn-pred 1)
#lang typed/scheme
(ann (log 2.0) Inexact-Complex)

9
collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt Normal file
View File

@ -0,0 +1,9 @@
#;
(
0.6931471805599453
)
#lang typed/scheme
#:optimize
(real-part (log 2.0))

1
collects/typed-scheme/types/subtype.rkt
View File

@ -263,7 +263,6 @@
[((== -Fixnum =t) (Base: 'Integer _)) A0]
[((Base: 'Nonnegative-Flonum _) (Base: 'Flonum _)) A0]
[((Base: 'Nonnegative-Flonum _) (Base: 'InexactComplex _)) A0]
[((Base: 'Nonnegative-Flonum _) (Base: 'Number _)) A0]
[((Base: 'InexactComplex _) (Base: 'Number _)) A0]