Skip to content

fix: ppAbiValue mapping in JSON.mapCall for SolCall#1445

Merged
elopez merged 1 commit intocrytic:masterfrom
VolodymyrBg:bg
Sep 11, 2025
Merged

fix: ppAbiValue mapping in JSON.mapCall for SolCall#1445
elopez merged 1 commit intocrytic:masterfrom
VolodymyrBg:bg

Conversation

@VolodymyrBg
Copy link
Copy Markdown
Contributor

Replace incorrect applicative usage ppAbiValue <$> mempty <*> args with ppAbiValue mempty <$> args. The previous form attempted to fmap over mempty as a Functor, producing a type mismatch and not actually applying labels. The corrected code explicitly applies an empty label map to ppAbiValue and maps over the AbiValue list, aligning with how ppAbiValue is used elsewhere (e.g., Pretty.hs) and ensuring arguments encodes as [String] as intended.

Copy link
Copy Markdown
Member

@elopez elopez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

good catch, thanks for the PR!

I feel the JSON output mode might be a bit abandoned, with these sorts of things going unnoticed 😅 do we know if anyone is using it @gustavo-grieco ?

@elopez elopez merged commit fa203fe into crytic:master Sep 11, 2025
15 checks passed
datradito pushed a commit to datradito/echidna-mcp that referenced this pull request Dec 29, 2025
fix: ppAbiValue mapping in JSON.mapCall for SolCall
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants