Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Add mention of -no-haskell-binary to backends tutorial #2863

Merged
merged 3 commits into from
Sep 12, 2022
Merged

Add mention of -no-haskell-binary to backends tutorial #2863

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
681b5ff
Add line to backends tutorial
Baltoli Sep 9, 2022
d575701
Update k-distribution/k-tutorial/1_basic/20_backends/README.md
Baltoli Sep 12, 2022
963cf2b
Merge branch 'master' into add-no-binary
rv-jenkins Sep 12, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions k-distribution/k-tutorial/1_basic/20_backends/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,10 @@ programming language and then compile and execute it. Instead, it is an
interpreter which reads the generated IR from `kompile` and implements in
Haskell an interpreter that is capable of interpreting any K definition.

Note that on arm64 macOS (Apple Silicon), there is a known issue with the `Compact`
library that causes crashes in the Haskell backend. Pass the additional flag
`--no-haskell-binary` to `kompile` to resolve this.

### Exercise

Try running the program `0` in this K definition on the Haskell Backend and
Expand Down