TC infers incorrect type for catch clause consisting of only a qualifiedName

[PaulKlint]

Given

try {
    throw "exception";
} 
catch s:
    return true;

the type checker decides that s has type adt("RuntimeException",[]) but this should be value.

The case of a typed variable works well, e.g., catch str s will result in s having type str.

[Note: this case is now temporarily solved in the compiler]

[mahills]

I'm guessing this is because, at one point, we assumed that all exceptions were of type RuntimeException. This has never been enforced, though, and in practice we just throw arbitrary values. I just need to adjust to code to do this, assuming we don't want to start enforcing this.

[PaulKlint]

I think the value that is thrown should be of type value. In the cases, one can then match on specific values, including values of type RuntimeException.

As mentioned above, I have a temporary fix in the compiler so there is no hurry for this one.