(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6,038 opened on May 17, 2024 0 comments 0 reactions 1 assignee Claimed by @ana-pantilie View on GitHub

Builtins Good first issue Internal optimization status: triaged

Description

This is discussed with @Kenneth MacKenzie and considered safe.

Add also a quickcheck that (decodeUtf8 . encodeUtf8) == id to exclude the case of “missing replicating a bug” in the original unoptimized code.

This issue has not been assessed yet.