From 1c39368a36db0d3aa968827aa8bc4703400d1137 Mon Sep 17 00:00:00 2001 From: patrick brisbin Date: Tue, 28 May 2024 08:24:29 -0400 Subject: [PATCH] Silence role-annotation warning --- package.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/package.yaml b/package.yaml index e39fa4e..db4cdbd 100644 --- a/package.yaml +++ b/package.yaml @@ -18,6 +18,9 @@ ghc-options: - -Wno-unsafe when: + - condition: impl(ghc >= 9.8) + ghc-options: + - -Wno-missing-role-annotations - condition: impl(ghc >= 9.2) ghc-options: - -Wno-missing-kind-signatures