Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Provide good indication of all constants’ real names and types #39
show_types works tolerably well for indicating the types of variables and some constants. But when a constant is involved in a special syntactic form (typically an infix) or is overloaded polymorphically, the user gets nothing back at all. For example,
No indication that
(good). But also:
For the last example, I'd like to see
as this case isn't.
Worse, I'm not sure what the output should be in the following scenario. Just annotating the
My feeling now is that it's impossible to get this information printed only when it's needed.
So, instead, my attitude is that the information can be provided for all constants through backend annotations. Unfortunately, this means that people using less capable backends (