Case splitting fails in parameterized module #3919
Labels
parameters
Module parameters
regression in 2.6.0
Regression that first appeared in Agda 2.6.0
type: bug
Issues and pull requests about actual bugs
ux: case splitting
Issues relating to the case split ("C-c C-c") command
ux: interaction
Issues to do with interactive development (holes, case splitting, etc)
Milestone
Attempt to split on
b
givesCannot split on module parameter b
.The text was updated successfully, but these errors were encountered: