Skip to content

Commit

Permalink
Merge pull request #120 from Superstar64/explain_hugs_patch
Browse files Browse the repository at this point in the history
Edit README to explain why a patched version of Hugs is needed
  • Loading branch information
augustss authored Feb 4, 2025
2 parents 7a8394a + 04faefe commit 36f513d
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -455,6 +455,9 @@ MicroHs can be built from scratch in the sense of [bootstrappable.org](https://b
To compile with Hugs you need [a slightly patched version of Hugs](https://github.com/augustss/hugs98-plus-Sep2006)
and also the [hugs branch of MicroHs](https://github.com/augustss/MicroHs/tree/hugs).

The patched version of Hugs is needed to work around undefined behavior with arithmatic overflow.
Hugs provided Linux distribtions or other third party package managers may or may not work.

## Using GMP for `Integer`
The default implementation of the `Integer` type is written is Haskell and is quite slow.
It is possible to use the [GMP](https://gmplib.org/) library instead.
Expand Down

0 comments on commit 36f513d

Please sign in to comment.