Commit 6bef8690 authored by Xavier Leroy's avatar Xavier Leroy
Browse files

Change warning for pragmas inside functions

Follow-up to 35e2b11d.

Put the warning "pragmas are ignored inside functions" inside the Unnamed
category, so that it is displayed by default and cannot be disabled.
parent 15f35478
...@@ -2872,7 +2872,7 @@ let elab_definition (for_loop: bool) (local: bool) (nonstatic_inline: bool) ...@@ -2872,7 +2872,7 @@ let elab_definition (for_loop: bool) (local: bool) (nonstatic_inline: bool)
(* pragma *) (* pragma *)
| PRAGMA(s, loc) -> | PRAGMA(s, loc) ->
if local then if local then
warning loc Unknown_pragmas "pragmas are ignored inside functions" warning loc Unnamed "pragmas are ignored inside functions"
else else
emit_elab env loc (Gpragma s); emit_elab env loc (Gpragma s);
([], env) ([], env)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment