type errors are broken

[shriram]

This program

fun f(x :: Number):
  x / "3"
end

reports the following type error:

Changing it to

fun f(x :: String):
  x / "3"
end

produces

It seems like somewhere the error-reporting mechanism is failing to recognize structures and is just printing them out literally?

[jpolitz]

I think your diagnosis is right, and “failing to recognize” is really that the print-for-compiler-debugging and print-for-user ended up being the same thing on these types.

Should be fixed by #1527