[m-rev.] for post-commit review: diagnostic for type definition with no arrow

[Julien Fischer]

On Sat, 13 Apr 2024, Zoltan Somogyi wrote:

> Generate better diagnostic for types with no arrow.
> 
> compiler/parse_type_defn.m:
>     When people write type definitions like this:
>
>         :- type t(...)
>             ;   function_symbol_1
>             ;   function_symbol_2
>             ...
>
>     generate an error message that points out the actual error,
>     i.e. that the first semicolon should be ---> instead.
> 
> tests/invalid/type_no_arrow.{m,err_exp}:
> tests/invalid/Mmakefile:
>     Add and enable a test case for this diagnostic.

That's fine.

Julien.