id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1445	Support parameterised hash table type declarations	evhan		"As suggested by megane on [https://lists.nongnu.org/archive/html/chicken-hackers/2018-02/msg00008.html chicken-hackers].

Support specifying the types of hash table keys and values:

{{{
(define t (the (hash-table fixnum symbol) ...))

(hash-table-ref t 'foo) ; warning ""expected argument #2 of type `fixnum' but was given an argument of type `symbol'""

(hash-table-ref t 42) ; result would be known to be a symbol
}}}

And so on."	enhancement	new	not urgent at all	someday	scrutinizer	5.0.0		scrutiniser, srfi-69		medium