Georg Bauhaus <[email protected]> writes:

> parse succeeds (v5.1.6), but indenting stops working at
> the first line of the quantified expression that is
> associated with Wuff'Pre.

I get the same error with my devel version.

Putting the 'with' on the same line as 'function' is not the problem,
although that does affect the patch.

Here's a patch (should apply against 5.1.6; let me know if it doesn't)

============================================================
--- ada-wisi.el 0197f754369cbaf3a36f8c4fd89a52cc8e65ccca
+++ ada-wisi.el 083f8c9bd1f8e0fe26672a0c1d72400b2dddbc8b
@@ -362,6 +362,12 @@ point must be on CACHE. PREV-TOKEN is th
                 ;;    (if J > 42
                 ;; indenting '(if'; containing is '=>'
                 (+ (current-column) -1 ada-indent))
+               (WITH
+                ;; test/aspects.ads
+                ;;    function Wuff return Boolean with Pre =>
+                ;;      (for all x in U =>
+                ;; indenting '(for';  containing is '=>', 'with', 'function'
+                (ada-wisi-indent-cache (1- ada-indent) containing))
                ))


-- 
-- Stephe

_______________________________________________
Emacs-ada-mode mailing list
[email protected]
http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org

Reply via email to