From 85aec7bb78b8595b748275b9603a4e29cf2c1702 Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Mon, 24 Oct 2022 12:19:16 +0100 Subject: [PATCH] flambda-backend: Add loop attribute to Builtin_attributes --- parsing/builtin_attributes.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/parsing/builtin_attributes.ml b/parsing/builtin_attributes.ml index 073c906f586..53b4ef3b22a 100644 --- a/parsing/builtin_attributes.ml +++ b/parsing/builtin_attributes.ml @@ -80,6 +80,7 @@ let builtin_attrs = ; "noalloc"; "ocaml.noalloc" ; "untagged"; "ocaml.untagged" ; "poll"; "ocaml.poll" + ; "loop"; "ocaml.loop" ] let builtin_attrs =