Hey megane,
I like the idea here.
I think we'll want to use a different syntax, one that's hash-table
specific, similarly to how some other object types (conditions, threads,
some others) have their own types but rewrite to structs behind the
scenes. Even just dropping the `struct' and using
Hi everyone,
What do you think about this idea?
I had this idea yesterday that you could add parameters to the struct
type annotation. For example:
(struct hash-table fixnum symbol)
With this new syntax you could tweak the types.db a bit with entries like:
(hash-table-ref (forall (k v)
