From 2276cb10d54bd24a35bcb75f856b9be254f1bb6d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 8 Feb 2010 23:03:55 +0000 Subject: [PATCH] Fix subtyping for keywords. svn: r18025 --- collects/typed-scheme/types/subtype.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/types/subtype.ss b/collects/typed-scheme/types/subtype.ss index 83a8adcead..2d44c649f8 100644 --- a/collects/typed-scheme/types/subtype.ss +++ b/collects/typed-scheme/types/subtype.ss @@ -247,6 +247,8 @@ [((Value: (? real? n)) (== -Real type-equal?)) A0] [((Value: (? number? n)) (Base: 'Number _)) A0] + [((Value: (? keyword?)) (Base: 'Keyword _)) A0] + [((Value: (? char?)) (Base: 'Char _)) A0] [((Value: (? boolean? n)) (Base: 'Boolean _)) A0] [((Value: (? symbol? n)) (Base: 'Symbol _)) A0] [((Value: (? string? n)) (Base: 'String _)) A0]