Improve GO statement grammar

[NeoKaios]

Remove possibility to have more than one procedure when no DEPENDING clause is set

[NeoKaios]

@nberth We could even add a goto_stmt type in the ptree type.
like so

type goto_stmt =
  | GoToSimple of { target: procedure_name with_loc }
  | GoToDepending of
      {
        targets: procedure_name with_loc nel;
        depending_on: ident;
      }
  | GoToEntry of
      {
        targets: alphanum with_loc nel;
        depending_on: ident option;
      }

What do you think ?

[nberth]

@nberth We could even add a goto_stmt type in the ptree type. like so

type goto_stmt =
  | GoToSimple of { target: procedure_name with_loc }
  | GoToDepending of
      {
        targets: procedure_name with_loc nel;
        depending_on: ident;
      }
  | GoToEntry of
      {
        targets: alphanum with_loc nel;
        depending_on: ident option;
      }

What do you think ?

Yes that looks good to me ;-)

[nberth]

Thanks. Minor details to adjust, and a missing reference in the Improvements to the grammar entry in CHANGELOG.md.