PasteRack.org
Paste # 41729
2015-05-20 12:45:11

Fork as a new paste.

Paste viewed 105 times.


Embed:

  1. #lang typed/racket
  2.  
  3. (: ht (HashTable Symbol String))
  4. (define ht (make-immutable-hash))
  5.  
  6. (hash-ref ht 'asdf "asdf")

=>

eval:4:0: Type Checker: Polymorphic function `hash-ref'

could not be applied to arguments:

Domains: HashTableTop a (-> c)

         HashTableTop a False

         HashTableTop a

Arguments: (HashTable Symbol String) 'asdf String

  in: "asdf"