add contract conversion for hashtables

svn: r13617
2009-02-15 21:55:03 +00:00 · 2009-02-15 21:55:03 +00:00 · bf1aaa9dcb
commit bf1aaa9dcb
parent 2518d54da1
1 changed files with 1 additions and 0 deletions
--- 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))]))))