We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The following file
module hello; open import Stdlib.Prelude; main : String; main := "Hello world!";
when evaluated in Core gives the output
"Hello world!"
while when compiled and run gives the output
Hello world!
The text was updated successfully, but these errors were encountered:
Print quoted strings in the runtime (#1969)
63a2c51
* Closes #1968
lukaszcz
Successfully merging a pull request may close this issue.
The following file
when evaluated in Core gives the output
while when compiled and run gives the output
The text was updated successfully, but these errors were encountered: