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

Fix subtyping for keywords.

Browse Source 
svn: r18025
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-08 23:03:55 +00:00
parent e5fd8a904c
commit 2276cb10d5
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/types/subtype.ss
View File

@ -247,6 +247,8 @@
[((Value: (? real? n)) (== -Real type-equal?)) A0] [((Value: (? real? n)) (== -Real type-equal?)) A0]
[((Value: (? number? n)) (Base: 'Number _)) A0] [((Value: (? number? n)) (Base: 'Number _)) A0]
[((Value: (? keyword?)) (Base: 'Keyword _)) A0]
[((Value: (? char?)) (Base: 'Char _)) A0]
[((Value: (? boolean? n)) (Base: 'Boolean _)) A0] [((Value: (? boolean? n)) (Base: 'Boolean _)) A0]
[((Value: (? symbol? n)) (Base: 'Symbol _)) A0] [((Value: (? symbol? n)) (Base: 'Symbol _)) A0]
[((Value: (? string? n)) (Base: 'String _)) A0] [((Value: (? string? n)) (Base: 'String _)) A0]