File "w47_inline.ml", line 30, characters 20-22: 30 | let[@local never] f2 x = x (* ok *) in ^^ Warning 26 [unused-var]: unused variable f2. File "w47_inline.ml", line 31, characters 24-26: 31 | let[@local malformed] f3 x = x (* bad payload *) in ^^ Warning 26 [unused-var]: unused variable f3. File "w47_inline.ml", line 15, characters 23-29: 15 | let d = (fun x -> x) [@inline malformed attribute] (* rejected *) ^^^^^^ Warning 47 [attribute-payload]: illegal payload for attribute inline. It must be either 'never', 'always', 'hint' or empty File "w47_inline.ml", line 16, characters 23-29: 16 | let e = (fun x -> x) [@inline malformed_attribute] (* rejected *) ^^^^^^ Warning 47 [attribute-payload]: illegal payload for attribute inline. It must be either 'never', 'always', 'hint' or empty File "w47_inline.ml", line 17, characters 23-29: 17 | let f = (fun x -> x) [@inline : malformed_attribute] (* rejected *) ^^^^^^ Warning 47 [attribute-payload]: illegal payload for attribute inline. It must be either 'never', 'always', 'hint' or empty File "w47_inline.ml", line 18, characters 23-29: 18 | let g = (fun x -> x) [@inline ? malformed_attribute] (* rejected *) ^^^^^^ Warning 47 [attribute-payload]: illegal payload for attribute inline. It must be either 'never', 'always', 'hint' or empty File "w47_inline.ml", line 23, characters 15-22: 23 | let k x = (a [@inlined malformed]) x (* rejected *) ^^^^^^^ Warning 47 [attribute-payload]: illegal payload for attribute inlined. It must be either 'never', 'always', 'hint' or empty File "w47_inline.ml", line 31, characters 7-12: 31 | let[@local malformed] f3 x = x (* bad payload *) in ^^^^^ Warning 47 [attribute-payload]: illegal payload for attribute local. It must be either 'never', 'always', 'maybe' or empty File "w47_inline.ml", line 32, characters 17-26: 32 | let[@local] f4 x = 2 * x (* not local *) in ^^^^^^^^^ Warning 55 [inlining-impossible]: Cannot inline: This function cannot be compiled into a static continuation