Skip to content

users-guide: Fix BNF grammar of instance declarations

Ben Gamari requested to merge wip/T24022 into master

The grammar given:

  • omitted the possibility of type constructor applications serving as an argument to an infix class application
  • omitted the possibility of type abstraction matches
  • incorrectly identified the arg_type rule

Fixes #24022.

Edited by Ben Gamari

Merge request reports