Ability to expand types in error messages #337
Description
Related: #334 Automatically suggest useful type aliases
When a type error is shown, sometimes the type is hidden behind an inscrutable alias.
It would be nice to have a little triangle icon like for snip% syntax objects, that expands the alias just like (:type some-alias) does at the REPL (and do this recursively).
There are two reasons that make it impossible to manually call (:type some-alias) and make this feature desirable:
- Often the type error is bad enough that the REPL does not contain any definitions from the file
- If the type is defined by a hygienic macro, it may be inaccessible in the REPL anyway.
Another easier to implement approach would be to have the full type in a "whole-type...:" partially hidden error field.