Trailing ) in comment yields parse error

[senier]

Everything after a comment sign should be ignored. When a comment ends with a ) sign, however, the parser fails:

package P is

    type M is
      message
         null then Foo
            with Length => Length
            -- )
            ;
         Foo : Opaque;
      end message;

end P;

Parsing foo.rflx
rflx: parser error: 
            -- )
                ^
ParseSyntaxException: Expected {{"+" | "-"} term | {"*" | "/"} term}, found '\n'  (at char 115), (line:7, col:17)

[treiher]

This seems to be fixed by #551.