`Reflection.Show.showArg` doesn't print argument annotations #1491

Open

Open

Reflection.Show.showArg doesn't print argument annotations#1491

Labels

additionlow-hanging-fruitreflection

agda-stdlib/src/Reflection/Show.agda

Line 74 in 9076c9b

showArg : Arg Pattern → String

Should print:

"." for irrelevant args
"@0" for erased arguments
etc.

Metadata

Assignees

No one assigned

Labels

additionlow-hanging-fruitreflection

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests