File "w53.ml", line 12, characters 16-21: 12 | val x : int [@alert foo "foo"] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context File "w53.ml", line 18, characters 6-11: 18 | [@@@alert foo "foo"] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context File "w53.ml", line 22, characters 14-19: 22 | let x = 5 [@alert foo "foo"] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context File "w53.ml", line 24, characters 16-21: 24 | let y = 10 [@@alert foo "foo"] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context File "w53.ml", line 26, characters 6-11: 26 | [@@@alert foo "foo"] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context File "w53.ml", line 31, characters 24-29: 31 | type t1 = { x : int [@boxed] } (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 33, characters 16-21: 33 | val x : int [@boxed] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 37, characters 17-22: 37 | val y : int [@@boxed] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 39, characters 6-11: 39 | [@@@boxed] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 43, characters 16-21: 43 | let x = (42 [@boxed], 84) (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 45, characters 16-21: 45 | let y = 10 [@@boxed] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 47, characters 6-11: 47 | [@@@boxed] (* rejected *) ^^^^^ Warning 53 [misplaced-attribute]: the "boxed" attribute cannot appear in this context File "w53.ml", line 54, characters 16-26: 54 | val x : int [@deprecated] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context File "w53.ml", line 60, characters 6-16: 60 | [@@@deprecated] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context File "w53.ml", line 64, characters 14-24: 64 | let x = 5 [@deprecated] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context File "w53.ml", line 66, characters 16-26: 66 | let y = 10 [@@deprecated] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context File "w53.ml", line 68, characters 6-16: 68 | [@@@deprecated] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context File "w53.ml", line 73, characters 19-37: 73 | type t1 = Foo1 [@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 75, characters 16-34: 75 | val x : int [@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 77, characters 21-39: 77 | type 'a t2 = 'a [@@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 81, characters 24-42: 81 | type t4 = { x : int [@deprecated_mutable] } (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 83, characters 17-35: 83 | val y : int [@@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 85, characters 6-24: 85 | [@@@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 89, characters 14-32: 89 | let x = 5 [@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 91, characters 16-34: 91 | let y = 10 [@@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 93, characters 6-24: 93 | [@@@deprecated_mutable] (* rejected *) ^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "deprecated_mutable" attribute cannot appear in this context File "w53.ml", line 98, characters 32-46: 98 | type t1 = Foo1 of int * int [@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 100, characters 16-30: 100 | val x : int [@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 102, characters 20-34: 102 | type 'a t2 = 'a [@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 104, characters 17-31: 104 | val y : int [@@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 106, characters 6-20: 106 | [@@@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 110, characters 14-28: 110 | let x = 5 [@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 112, characters 16-30: 112 | let y = 10 [@@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 114, characters 6-20: 114 | [@@@explicit_arity] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "explicit_arity" attribute cannot appear in this context File "w53.ml", line 119, characters 18-27: 119 | type t1 = int [@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 123, characters 16-25: 123 | val x : int [@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 124, characters 17-26: 124 | val x : int [@@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 126, characters 6-15: 126 | [@@@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 127, characters 6-17: 127 | [@@@immediate64] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate64" attribute cannot appear in this context File "w53.ml", line 131, characters 15-24: 131 | let x = (4 [@immediate], 42 [@immediate64]) (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 131, characters 32-43: 131 | let x = (4 [@immediate], 42 [@immediate64]) (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate64" attribute cannot appear in this context File "w53.ml", line 132, characters 21-30: 132 | let y = (4, 42) [@@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 133, characters 21-32: 133 | let z = (4, 42) [@@immediate64] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate64" attribute cannot appear in this context File "w53.ml", line 135, characters 18-27: 135 | type t1 = int [@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 139, characters 6-15: 139 | [@@@immediate] (* rejected *) ^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate" attribute cannot appear in this context File "w53.ml", line 140, characters 6-17: 140 | [@@@immediate64] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "immediate64" attribute cannot appear in this context File "w53.ml", line 145, characters 25-31: 145 | type t1 = int -> int [@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 146, characters 26-32: 146 | type t2 = int -> int [@@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 147, characters 25-32: 147 | type t3 = int -> int [@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 148, characters 26-33: 148 | type t4 = int -> int [@@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 150, characters 24-30: 150 | val f1 : int -> int [@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 151, characters 25-31: 151 | val f2 : int -> int [@@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 152, characters 24-31: 152 | val f3 : int -> int [@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 153, characters 25-32: 153 | val f4 : int -> int [@@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 155, characters 53-59: 155 | module type F = functor (X : sig end) -> sig end [@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 156, characters 54-60: 156 | module type G = functor (X : sig end) -> sig end [@@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 158, characters 6-12: 158 | [@@@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 159, characters 6-13: 159 | [@@@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 163, characters 16-22: 163 | let h x = x [@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 164, characters 16-28: 164 | let h x = x [@ocaml.inline] (* rejected *) ^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inline" attribute cannot appear in this context File "w53.ml", line 166, characters 16-23: 166 | let i x = x [@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 167, characters 16-29: 167 | let j x = x [@ocaml.inlined] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inlined" attribute cannot appear in this context File "w53.ml", line 170, characters 18-25: 170 | let l x = h x [@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 178, characters 27-33: 178 | module C = struct end [@@inline] (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 179, characters 28-40: 179 | module C' = struct end [@@ocaml.inline] (* rejected *) ^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inline" attribute cannot appear in this context File "w53.ml", line 180, characters 27-34: 180 | module D = struct end [@@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 181, characters 28-41: 181 | module D' = struct end [@@ocaml.inlined] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inlined" attribute cannot appear in this context File "w53.ml", line 185, characters 18-24: 185 | module G = (A [@inline])(struct end) (* rejected *) ^^^^^^ Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context File "w53.ml", line 186, characters 19-31: 186 | module G' = (A [@ocaml.inline])(struct end) (* rejected *) ^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inline" attribute cannot appear in this context File "w53.ml", line 190, characters 24-31: 190 | module I = Set.Make [@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 191, characters 25-38: 191 | module I' = Set.Make [@ocaml.inlined] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inlined" attribute cannot appear in this context File "w53.ml", line 193, characters 25-32: 193 | module J = Set.Make [@@inlined] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context File "w53.ml", line 194, characters 26-39: 194 | module J' = Set.Make [@@ocaml.inlined] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.inlined" attribute cannot appear in this context File "w53.ml", line 199, characters 21-28: 199 | type 'a t1 = 'a [@@noalloc] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 200, characters 19-26: 200 | type s1 = Foo1 [@noalloc] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 201, characters 19-26: 201 | val x : int64 [@@noalloc] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 203, characters 24-31: 203 | external y : (int64 [@noalloc]) -> (int64 [@noalloc]) = "x" (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 203, characters 46-53: 203 | external y : (int64 [@noalloc]) -> (int64 [@noalloc]) = "x" (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 208, characters 21-28: 208 | type 'a t1 = 'a [@@noalloc] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 209, characters 19-26: 209 | type s1 = Foo1 [@noalloc] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 210, characters 25-32: 210 | let x : int64 = 42L [@@noalloc] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 212, characters 24-31: 212 | external y : (int64 [@noalloc]) -> (int64 [@noalloc]) = "x" (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 212, characters 46-53: 212 | external y : (int64 [@noalloc]) -> (int64 [@noalloc]) = "x" (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "noalloc" attribute cannot appear in this context File "w53.ml", line 241, characters 21-29: 241 | type 'a t1 = 'a [@@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 242, characters 19-27: 242 | type s1 = Foo1 [@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 243, characters 16-24: 243 | val x : int [@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 245, characters 35-43: 245 | external z : int -> int = "x" [@@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 247, characters 6-14: 247 | [@@@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 251, characters 21-29: 251 | type 'a t1 = 'a [@@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 252, characters 19-27: 252 | type s1 = Foo1 [@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 254, characters 16-24: 254 | let m x = x [@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 255, characters 16-30: 255 | let n x = x [@ocaml.tailcall] (* rejected *) ^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "ocaml.tailcall" attribute cannot appear in this context File "w53.ml", line 258, characters 18-26: 258 | let q x = m x [@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 260, characters 35-43: 260 | external z : int -> int = "x" [@@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 262, characters 6-14: 262 | [@@@tailcall] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "tailcall" attribute cannot appear in this context File "w53.ml", line 267, characters 24-31: 267 | type t1 = { x : int [@unboxed] } (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 269, characters 16-23: 269 | val x : int [@unboxed] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 273, characters 17-24: 273 | val y : int [@@unboxed] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 277, characters 6-13: 277 | [@@@unboxed] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 281, characters 16-23: 281 | let x = (42 [@unboxed], 84) (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 283, characters 16-23: 283 | let y = 10 [@@unboxed] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 287, characters 6-13: 287 | [@@@unboxed] (* rejected *) ^^^^^^^ Warning 53 [misplaced-attribute]: the "unboxed" attribute cannot appear in this context File "w53.ml", line 292, characters 21-29: 292 | type 'a t1 = 'a [@@untagged] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "untagged" attribute cannot appear in this context File "w53.ml", line 293, characters 19-27: 293 | type s1 = Foo1 [@untagged] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "untagged" attribute cannot appear in this context File "w53.ml", line 294, characters 17-25: 294 | val x : int [@@untagged] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "untagged" attribute cannot appear in this context File "w53.ml", line 301, characters 21-29: 301 | type 'a t1 = 'a [@@untagged] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "untagged" attribute cannot appear in this context File "w53.ml", line 302, characters 19-27: 302 | type s1 = Foo1 [@untagged] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "untagged" attribute cannot appear in this context File "w53.ml", line 303, characters 22-30: 303 | let x : int = 42 [@@untagged] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "untagged" attribute cannot appear in this context File "w53.ml", line 311, characters 24-32: 311 | type t1 = { x : int [@unrolled 42] } (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 312, characters 27-35: 312 | type t2 = { x : int } [@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 314, characters 23-31: 314 | val f : int -> int [@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 315, characters 24-32: 315 | val g : int -> int [@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 317, characters 39-47: 317 | external z : float -> float = "x" [@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 319, characters 6-14: 319 | [@@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 323, characters 8-16: 323 | let [@unrolled 42] rec test_unrolled x = (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 330, characters 24-32: 330 | type t1 = { x : int [@unrolled 42] } (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 331, characters 27-35: 331 | type t2 = { x : int } [@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 333, characters 22-30: 333 | let rec f x = f x [@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 334, characters 23-31: 334 | let rec f x = f x [@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 336, characters 39-47: 336 | external z : int -> int = "x" "y" [@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 338, characters 6-14: 338 | [@@@unrolled 42] (* rejected *) ^^^^^^^^ Warning 53 [misplaced-attribute]: the "unrolled" attribute cannot appear in this context File "w53.ml", line 387, characters 25-48: 387 | | Lit_pat2 of int [@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 391, characters 16-39: 391 | val x : int [@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 393, characters 21-44: 393 | type 'a t2 = 'a [@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 395, characters 17-40: 395 | val y : int [@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 397, characters 6-29: 397 | [@@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 403, characters 25-48: 403 | | Lit_pat2 of int [@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 405, characters 14-37: 405 | let x = 5 [@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 407, characters 16-39: 407 | let y = 10 [@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 409, characters 6-29: 409 | [@@@warn_on_literal_pattern] (* rejected *) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "warn_on_literal_pattern" attribute cannot appear in this context File "w53.ml", line 418, characters 21-25: 418 | type 'a t1 = 'a [@@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 419, characters 19-23: 419 | type s1 = Foo1 [@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 420, characters 19-23: 420 | val x : int64 [@@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 422, characters 24-28: 422 | external y : (int64 [@poll error]) -> (int64 [@poll error]) = (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 422, characters 49-53: 422 | external y : (int64 [@poll error]) -> (int64 [@poll error]) = (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 424, characters 39-43: 424 | external z : int64 -> int64 = "x" [@@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 428, characters 21-25: 428 | type 'a t1 = 'a [@@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 429, characters 19-23: 429 | type s1 = Foo1 [@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 430, characters 25-29: 430 | let x : int64 = 42L [@@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 433, characters 24-28: 433 | external y : (int64 [@poll error]) -> (int64 [@poll error]) = (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 433, characters 49-53: 433 | external y : (int64 [@poll error]) -> (int64 [@poll error]) = (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 435, characters 39-43: 435 | external z : int64 -> int64 = "x" [@@poll error] (* rejected *) ^^^^ Warning 53 [misplaced-attribute]: the "poll" attribute cannot appear in this context File "w53.ml", line 440, characters 21-31: 440 | type 'a t1 = 'a [@@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 441, characters 19-29: 441 | type s1 = Foo1 [@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 442, characters 19-29: 442 | val x : int64 [@@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 444, characters 24-34: 444 | external y : (int64 [@specialise]) -> (int64 [@specialise]) = (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 444, characters 49-59: 444 | external y : (int64 [@specialise]) -> (int64 [@specialise]) = (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 446, characters 39-49: 446 | external z : int64 -> int64 = "x" [@@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 450, characters 21-31: 450 | type 'a t1 = 'a [@@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 451, characters 19-29: 451 | type s1 = Foo1 [@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 452, characters 25-35: 452 | let x : int64 = 42L [@@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 454, characters 16-26: 454 | let g x = (f[@specialise]) x (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 456, characters 24-34: 456 | external y : (int64 [@specialise]) -> (int64 [@specialise]) = (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 456, characters 49-59: 456 | external y : (int64 [@specialise]) -> (int64 [@specialise]) = (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 458, characters 39-49: 458 | external z : int64 -> int64 = "x" [@@specialise] (* rejected *) ^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context File "w53.ml", line 463, characters 21-32: 463 | type 'a t1 = 'a [@@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 464, characters 19-30: 464 | type s1 = Foo1 [@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 465, characters 19-30: 465 | val x : int64 [@@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 467, characters 24-35: 467 | external y : (int64 [@specialised]) -> (int64 [@specialised]) = (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 467, characters 50-61: 467 | external y : (int64 [@specialised]) -> (int64 [@specialised]) = (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 469, characters 39-50: 469 | external z : int64 -> int64 = "x" [@@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 473, characters 21-32: 473 | type 'a t1 = 'a [@@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 474, characters 19-30: 474 | type s1 = Foo1 [@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 475, characters 25-36: 475 | let x : int64 = 42L [@@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 476, characters 8-19: 476 | let [@specialised] f x = x (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 479, characters 24-35: 479 | external y : (int64 [@specialised]) -> (int64 [@specialised]) = (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 479, characters 50-61: 479 | external y : (int64 [@specialised]) -> (int64 [@specialised]) = (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 481, characters 39-50: 481 | external z : int64 -> int64 = "x" [@@specialised] (* rejected *) ^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "specialised" attribute cannot appear in this context File "w53.ml", line 486, characters 21-34: 486 | type 'a t1 = 'a [@@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 487, characters 19-32: 487 | type s1 = Foo1 [@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 488, characters 19-32: 488 | val x : int64 [@@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 490, characters 24-37: 490 | external y : (int64 [@tail_mod_cons]) -> (int64 [@tail_mod_cons]) = ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 490, characters 52-65: 490 | external y : (int64 [@tail_mod_cons]) -> (int64 [@tail_mod_cons]) = ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 493, characters 39-52: 493 | external z : int64 -> int64 = "x" [@@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 497, characters 21-34: 497 | type 'a t1 = 'a [@@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 498, characters 19-32: 498 | type s1 = Foo1 [@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 499, characters 25-38: 499 | let x : int64 = 42L [@@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 501, characters 16-29: 501 | let g x = (f[@tail_mod_cons]) x (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 503, characters 24-37: 503 | external y : (int64 [@tail_mod_cons]) -> (int64 [@tail_mod_cons]) = ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 503, characters 52-65: 503 | external y : (int64 [@tail_mod_cons]) -> (int64 [@tail_mod_cons]) = ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context File "w53.ml", line 506, characters 39-52: 506 | external z : int64 -> int64 = "x" [@@tail_mod_cons] (* rejected *) ^^^^^^^^^^^^^ Warning 53 [misplaced-attribute]: the "tail_mod_cons" attribute cannot appear in this context