[m-dev.] New syntax proposal

[Christopher Rodd SPEIRS]

> + at example
> +Pred = (pred(Strings::in, Num::out, di, uo) is det -->
> +    io__write_string("The strings are: "),
> +    @{ list__length(Strings, Num) @},
> +    io__write_strings(Strings),
> +    io__nl
> +)
> + at end example
> +
> + at noindent
> +is equivalent to
> +
> + at example
> +Pred = (pred(Strings::in, Num::out, IO0::di, IO::uo) is det -->
> +    io__write_string("The strings are: ", IO0, IO1),
> +    list__length(Strings, Num),
> +    io__write_strings(Strings, IO1, IO2),
> +    io__nl(IO2, IO)
> +)
> + at end example

Maybe I'm missing something here, but shouldn't the second example begin 

Pred = (pred(Strings::in, Num::out, IO0::di, IO::uo) is det :-

instead of 

Pred = (pred(Strings::in, Num::out, IO0::di, IO::uo) is det -->

Chris