Overloading on constants

A computer-readable storage medium comprising computer-readable instructions which when executed cause at least one processor of a computing device to:

• receive program source code written in a statically typed programming language, the program source code comprising an overloaded function, the overloaded function receiving at least one input parameter comprising a constant of a plurality of valid constants for the at least one input parameter, the overloaded function returning at least one result, a type of the at least one result dependent on the received constant, a value of the constant specified in the program source code;
• map the constant to a constant specified in a signature of the overloaded function to determine a particular overload associated with the constant;
• persist in a typed parse tree, type information associated with the particular overload to a node in the typed parse tree, the node representing a function that calls the overloaded function;
• and
• display type information associated with the at least one result from the typed parse tree.