Type of Returned Symbols Should be Changed

[montymxb]

Symbols that are returned as results indicate that their types is of Symbol. In the case of the code below, we would want the type returned for H or T to be Coin, the specific type that it is defined for:

type Coin {H,T}

[alexgrejuc]

This issue should either be closed or reworded. I believe what @montymxb was referring to was that :t MySymbol produces the "type" Symbol.

The :t thing actually doesn't use the type checker at all and that is the real issue! This information comes from the toJSON instance in Runtime/Values. This can be double checked by trying :t (1,1) which produces (1,1) is a Tuple.

To fix this, the type information produced by tcexpr in serverRepl here needs to be sent over to the front end and that needs to be used for :t.