Skip to content

Write a call argument as the caller wrote it in refinement errors - #486

Open
CatarinaGamboa wants to merge 3 commits into
mainfrom
fix/481-argument-names
Open

CatarinaGamboa wants to merge 3 commits into
mainfrom
fix/481-argument-names

Keep the instance counter on a call argument written as code

abf341f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar