idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 368 forks source link

[ doc ] Optional argument is not required #3289

Closed SlayerOfTheBad closed 1 month ago

SlayerOfTheBad commented 1 month ago

Description

Flags with optional arguments without argument were being handled in the section labeled as "Missing required arguments". Optional arguments aren't required, so they can be handled in "Happy cases"