tnelson/Margrave — Issue #85: m-show should specify constants, not just sorts
Author: tnelson
Created: 2012-01-13 00:58:37+00:00
State: open

When displaying the "value" of a variable, m-show will display only most specific sorts. E.g.:

pro: Protocol

When we used singleton sorts as constants, this worked great. But now that constants are dealt with separately, m-show needs to be expanded so that membership in constants is shown as well. E.g.:

pro: 'tcp