We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cdab8c1 commit dfaa964Copy full SHA for dfaa964
1 file changed
src/frontend/Warnings.ml
@@ -1,3 +1,4 @@
1
+open Core
2
module Location_span = Middle.Location_span
3
module Location = Middle.Location
4
@@ -13,5 +14,5 @@ let pp ?printed_filename ppf (span, message) =
13
14
Fmt.pf ppf "@[<v4>%a%a%a@]@]" purple "Warning" maybe_loc span Fmt.text message
15
16
let pp_warnings ?printed_filename ppf warnings =
- if warnings <> [] then
17
+ if not (List.is_empty warnings) then
18
Fmt.(pf ppf "@[<v>%a@]@\n" (list ~sep:cut (pp ?printed_filename)) warnings)
0 commit comments