complete typestate constraint-to-key mapping
9fea994
Opened by Graydon Hoare at
Every constraint in the typestate system has to be mapped to a unique Semant.constr_key (see the comment next to that type for an explanation of why it exists) before anything else in the typestate system gets underway. Presently only a subset of possible constraint forms are mapped; the rest fault. Complete the set of mappings.