[Ur] tricks to find type of a function?

Adam Chlipala adamc at impredicative.com
Fri Aug 5 17:33:04 EDT 2011


hao deng wrote:
>      Is there a way to find the type of a val in Ur?
> Usually I do something like
> unknowntypeVal ^ ""
> and let the compiler complains, and get the type info from the error message.
>
> Is there a better way?
>    

That's the best way I know.



More information about the Ur mailing list