On 04/17/2014 08:35 AM, Tristan Gingold wrote: > What about this compile-time check: > > package Fatptralign is > type String_Acc is access String; > type Integer_acc is access Integer; > > pragma Compile_Time_Error > (String_Acc'Alignment = 1 * Integer_Acc'Alignment, > "Fat pointer are simply aligned"); > > pragma Compile_Time_Error > (String_Acc'Alignment = 2 * Integer_Acc'Alignment, > "Fat pointer are doubly aligned"); > end Fatptralign;
Yes, that seems to work, even with a cross-compiler. r~
