Minor attribute fixes from flambda-backend

stedolan · Nov 1, 2022 · fac5896 · fac5896
1 parent 75f402e
commit fac5896
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/lambda/translattribute.ml b/lambda/translattribute.ml
@@ -45,7 +45,7 @@ let is_tmc_attribute =
   [ ["tail_mod_cons"; "ocaml.tail_mod_cons"], true ]
 
 let is_poll_attribute =
-  [ ["poll"], true ]
+  [ ["poll"; "ocaml.poll"], true ]
 
 let find_attribute p attributes =
   let inline_attribute = Builtin_attributes.filter_attributes p attributes in

diff --git a/parsing/builtin_attributes.ml b/parsing/builtin_attributes.ml
@@ -49,6 +49,8 @@ let warn_unused () =
 let builtin_attrs =
   [ "inline"; "ocaml.inline"
   ; "inlined"; "ocaml.inlined"
+  ; "specialise"; "ocaml.specialise"
+  ; "specialised"; "ocaml.specialised"
   ; "tailcall"; "ocaml.tailcall"
   ; "unrolled"; "ocaml.unrolled"
   ; "error"; "ocaml.error"
@@ -79,6 +81,7 @@ let builtin_attrs =
   ; "include_functor"; "ocaml.include_functor"; "extension.include_functor"
   ; "noalloc"; "ocaml.noalloc"
   ; "untagged"; "ocaml.untagged"
+  ; "poll"; "ocaml.poll"
   ]
 
 let builtin_attrs =