Skip to content

Commit

Permalink
Allow toplevel_printer attributes
Browse files Browse the repository at this point in the history
The toplevel_printer attributes are interpreted by the toplevel/utop.
This commit makes sure that the ppxlib driver doesn't complain when
encountering them while running with attribute checks enabled.

Signed-off-by: Sonja Heinze <sonjaleaheinze@gmail.com>
  • Loading branch information
pitag-ha committed May 30, 2022
1 parent 9360b0c commit 48773d6
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,8 @@ unreleased

- Fix quoter and optimize identifier quoting (#327, @sim642)

- Driver, when run with `--check`: Allow `toplevel_printer` attributes (#340, @pitag-ha)

0.26.0 (21/03/2022)
-------------------

Expand Down
2 changes: 2 additions & 0 deletions src/name.ml
Original file line number Diff line number Diff line change
Expand Up @@ -92,6 +92,8 @@ module Whitelisted = struct
"ocaml.warn_on_literal_pattern";
"ocaml.warnerror";
"ocaml.warning";
"ocaml.toplevel_printer" (*Interpreted by the toplevel/utop*);
"toplevel_printer" (*Interpreted by the toplevel/utop*);
]

(* White list the following extensions.
Expand Down

0 comments on commit 48773d6

Please sign in to comment.