Skip to content

Commit cd9b5e2

Browse files
Use Core.List.is_empty without opening Core
1 parent 0dcf9ff commit cd9b5e2

1 file changed

Lines changed: 1 addition & 3 deletions

File tree

src/frontend/Warnings.ml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
open Core
2-
open Core.Poly
31
module Location_span = Middle.Location_span
42
module Location = Middle.Location
53

@@ -15,5 +13,5 @@ let pp ?printed_filename ppf (span, message) =
1513
Fmt.pf ppf "@[<v4>%a%a%a@]@]" purple "Warning" maybe_loc span Fmt.text message
1614

1715
let pp_warnings ?printed_filename ppf warnings =
18-
if not (List.is_empty warnings) then
16+
if not (Core.List.is_empty warnings) then
1917
Fmt.(pf ppf "@[<v>%a@]@\n" (list ~sep:cut (pp ?printed_filename)) warnings)

0 commit comments

Comments
 (0)