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
It is embarrassing that my ocaml knowledge is very limited. I would install ezgzip because I just want to experience https://github.com/RedPRL/redtt. :-)
When I install ezgzip with ocaml 4.07.0 in a 32-bit machine
I have this error message
File "src/ezgzip.ml", line 140, characters 50-63:
Error: Integer literal exceeds the range of representable integers of type int
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build ezgzip 0.2.1
└─
The text was updated successfully, but these errors were encountered: