Skip to content

Follow-up from "Add pure Clean workaround for divLU instruction on ARM64"

The following discussion from clean-and-itasks/clean-platform!396 (merged) should be addressed:

  • @cstaps started a discussion: (+2 comments)

    • In Data.Integer.ToInteger, divdu is not used, it can be removed.
    • In Data.Integer.ToString, divdu is mentioned in commented code. It should be checked whether the commented code can be removed.
    • Could you add a newline to aborts?