as a follow-up to (1) I was wondering, how can I get a runtime string from a compile time symbol such as
@"bar". I need this for error reporting in cases where the field is an
Optional and happens to be
In Haskell I believe the answer is symbolVal. But I am not allowed to import GHC.TypeLits. What is the DAML way of doing this?
CC: @Sofia_Faro, maybe you know?