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
And I would like to avoid double boxing the string. Is there a way that I could use AliasedString, add an annotation and have it be unboxed, like this?
I'm currently using ouroboros store some strings with their parsed equivalents like this:
And I would like to avoid double boxing the string. Is there a way that I could use
AliasedString
, add an annotation and have it be unboxed, like this?The text was updated successfully, but these errors were encountered: