I have a vague recollection of discussing this before, but I can't for the life of me work out what the "list_open" field in AOM C_STRING class is for. It is described as being for when a constraint is "non-exhaustive" but I don't know what this means in practical terms. I also can't work out how the "non-exhaustive" lists would be specified in ADL - I was guessing
"a","b", ... but the ADL explanation says that these are for list continuations in dADL which seem to me to have a different purpose. Andrew
