You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A very frequent use for a result of typeOf is obtaining an underlying type symbol. Another thing that comes up occasionally at stack overflow is a request to add facilities for reification of symbols.
This naturally suggests that our reflection API would benefit from a method called symbolOf that can take a term or type argument and return an underlying symbol.
The text was updated successfully, but these errors were encountered:
A very frequent use for a result of typeOf is obtaining an underlying type symbol. Another thing that comes up occasionally at stack overflow is a request to add facilities for reification of symbols.
This naturally suggests that our reflection API would benefit from a method called symbolOf that can take a term or type argument and return an underlying symbol.
The text was updated successfully, but these errors were encountered: