DavePearce/Whiley — Issue #51: Dictionary Membership Testing
Author: DavePearce
Created: 2011-10-22 21:47:55+00:00
State: open

Currently, there is no good way to test that a dictionary contains a given key. There are two obvious solutions:

1. make dictionary access return null if no element. This requires adjusting the return value to always be null.
2. add special variation on element of to make a key of test.