In the code below, I get this in *Messages* when I put point on one of the
‘with’ lines (or the region includes a ‘with’ line) and press TAB:
Error: (error "cl-ecase failed: single_task_declaration, (aggregate
component_declaration entry_body formal_package_declaration subtype_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)")
if: Wrong type argument: number-or-marker-p, nil
The format is fine if the region doesn’t include a ‘with’ line.
package body LEDs is
task type LED (The_LED : STM32F429I_Discovery.LEDs.LED;
Period_Millis : Positive)
with
Storage_Size => 512 + 256
is
end LED;
task Actor
with
Storage_Size => 512 + 256,
Priority => 5
is
end Actor;
protected Guard
with
Priority => 5
is
entry Action (The_LED : out STM32F429I_Discovery.LEDs.LED);
procedure Toggle (The_LED : STM32F429I_Discovery.LEDs.LED);
private
Tasked : Boolean := False;
L : STM32F429I_Discovery.LEDs.LED;
end Guard;
— more here
end LEDs;
_______________________________________________
Emacs-ada-mode mailing list
[email protected]
http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
