IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6,038 opened on May 17, 2024

View on GitHub
 (0 comments) (0 reactions) (1 assignee)Haskell (511 forks)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

Repository metrics

Stars
 (1,637 stars)
PR merge metrics
 (Avg merge 6d 1h) (15 merged PRs in 30d)

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.

Contributor guide

Research direction
Add a rewrite rule for (decodeUtf8 . encodeUtf8) and verify with QuickCheck that it equals id.
Tech stack
None
Domain
backend
Issue type
Test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
HaskellQuickCheck
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60