Hi,
parse succeeds (v5.1.6), but indenting stops working at
the first line of the quantified expression that is
associated with Wuff'Pre.
Error: (error "cl-ecase failed: WITH, (COMMA LEFT_PAREN WHEN)")
wisi-indent-line: Wrong type argument: number-or-marker-p, nil
package Syntax is
type U is range 0 .. 1_000_000;
subtype D is U range 1 .. 10;
subtype T is U range D'Last + 1 .. D'Last + 365;
type B is record
the_dog : D;
the_day : T;
end record;
Statement : constant Boolean :=
(for all x in U =>
(if x in D then
(for some y in U =>
y in T and (x, y) in B)));
function Test return Boolean is
((for all x in U =>
(if x in D then
(for some y in U =>
y in T and (x, y) in B))));
function Wuff return Boolean with Pre => -- aspect on same line
(for all x in U =>
(if x in D then -- relative indentation works
(for some y in U =>
y in T and (x, y) in B)));
end Syntax;
_______________________________________________
Emacs-ada-mode mailing list
[email protected]
http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
