Another `non-exhaustive case` in generated layout code about bnfc

[MatthewDaggitt]

Yes, we were on 2.9.3. I can confirm that 2.9.4 fixes it. Apologies I should have checked the versions first.

[andreasabel]

I can't reproduce this with 2.9.4 without more information, unfortunately. [Are you on 2.9.4?]

In 2.9.2 and 2.9.3 I can reproduce something like this with this grammar

layout "let";
layout stop "in";
layout toplevel;

Prg. P ::= [S] ;
separator S ";" ;

In.  S ::= "forall" Integer "in" Integer ;
Let. S ::= "let" "{" [S] "}" "in" Integer ;

and this input:

forall 4 in 3 

Error on 2.9.2:

TestIssue: LayoutIssue.hs:(166,35)-(167,55): Non-exhaustive patterns in case

Error on 2.9.3:

TestIssue: LayoutIssue.hs:(170,35)-(171,55): Non-exhaustive patterns in case

I suspect this is a 2.9.3 issue. Closing. Please reopen with some example grammar and input if this should persist in 2.9.4.