From bf1aaa9dcbeb5ab8a51dd885f664e205dcd38628 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Sun, 15 Feb 2009 21:55:03 +0000
Subject: [PATCH] add contract conversion for hashtables

svn: r13617
---
 collects/typed-scheme/private/type-contract.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss
index 9e1366ab36..da0990418e 100644
--- a/collects/typed-scheme/private/type-contract.ss
+++ b/collects/typed-scheme/private/type-contract.ss
@@ -121,6 +121,7 @@
              #`(syntax/c #,(t->c t)))]
         [(Value: v) #`(flat-named-contract #,(format "~a" v) (lambda (x) (equal? x '#,v)))]
         [(Param: in out) #`(parameter/c #,(t->c out))]
+	[(Hashtable: k v) #`hash?]
         [else          
          (exit (fail))]))))