Two more tests on which parser fails.
On Fri, Jul 31, 2015 at 2:43 PM, Piotr Trojanek
<[email protected]> wrote:
> Hi Stephen,
>
> with the latest monotone branch org.emacs.ada-mode and I get a parser
> syntax error on code with conditional expression as an actual
> parameter.
>
> A quick look at the ada-grammar.wy suggest that this is not yet
> supported by the grammar definition. Test attached. Hope this helps.
>
> --
> Piotr Trojanek
--
Piotr Trojanek
procedure Predicates is
type T is (V1,V2,V3);
A : array (T) of T := (others => V1);
pragma Assert (for all X of A => X in V1);
begin
null;
end;
package Boolean_Expression_Functions is
function F1 (V : Integer) return Boolean
is (V = V and then True)
or else True;
function F2 (V : Integer) return Boolean
is (True and then True)
or else True;
end Boolean_Expression_Functions;
_______________________________________________
Emacs-ada-mode mailing list
[email protected]
http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
