On 12 Jan 2016, at 21:34, Stephen Leake <[email protected]> wrote:
> 
> Simon Wright <[email protected]> writes:
> 
>> Error: (error "cl-ecase failed: protected_type_declaration, (aggregate 
>> component_declaration entry_body formal_package_declaration 
>> task_type_declaration subtype_declaration single_task_declaration 
>> single_protected_declaration full_type_declaration generic_instantiation 
>> generic_renaming_declaration object_declaration 
>> private_extension_declaration private_type_declaration qualified_expression 
>> statement null_procedure_declaration subprogram_specification 
>> subprogram_declaration subprogram_body expression_function_declaration 
>> abstract_subprogram_declaration)")
> 
> This error is from the indentation code in ada-wisi.el; there's a
> cl-ecase that's missing protected_type_declaration
> 
> So you should add the code that triggers it to one of the test files,
> and then find the case statement.

The patch to ada-wisi.el is

diff --git a/ada-wisi.el b/ada-wisi.el
--- a/ada-wisi.el
+++ b/ada-wisi.el
@@ -568,6 +568,7 @@
                     (+ (current-column) ada-indent-broken))
 
                    ((full_type_declaration
+                      protected_type_declaration
                      single_protected_declaration
                      single_task_declaration
                      subtype_declaration

and the test case change would be to test/ada_mode-nominal.ads

diff --git a/test/ada_mode-nominal.ads b/test/ada_mode-nominal.ads
--- a/test/ada_mode-nominal.ads
+++ b/test/ada_mode-nominal.ads
@@ -466,7 +466,9 @@
 
    type Protected_Interface_1 is protected interface;
 
-   protected type Protected_Child_1 is new Protected_Interface_1 with
+   protected type Protected_Child_1
+   with Convention => Ada
+   is new Protected_Interface_1 with
       entry E1 (X : Integer);
    end Protected_Child_1;
 


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

Reply via email to