blob: 46a9b942d7586f98be22cb75b198ae29f49875be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module
type
Uneven = record
x #{aligned 3}: Word8 (* @Error Alignment must be a power of two *)
end
Twice = record
y #{aligned 4} #{aligned 8}: Word8 (* @Error Attribute 'aligned' specified more than once *)
end
Unknown = record
z #{packed 1}: Word8 (* @Error Attribute 'packed' not declared *)
end
proc takes(p #{aligned 8}: Int) (* @Error Attribute 'aligned' is not supported in this position *)
return
end.
|
