Skip to content

Use Text with Exit.die#63

Merged
chrisdone merged 1 commit intochrisdone:mainfrom
MichaelXavier:fix-die-type
Dec 16, 2024
Merged

Use Text with Exit.die#63
chrisdone merged 1 commit intochrisdone:mainfrom
MichaelXavier:fix-die-type

Conversation

@MichaelXavier
Copy link
Copy Markdown
Contributor

As far as I know it isn't possible to construct String from literals in hell so we have to take a Text and convert it to String for the underlying API.

As far as I know it isn't possible to construct String from literals in
hell so we have to take a Text and convert it to String for the
underlying API.
Copy link
Copy Markdown
Owner

@chrisdone chrisdone left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, thank you!

@chrisdone chrisdone merged commit 845430e into chrisdone:main Dec 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants