cleanup: Suppress another ghc warning in generated tags file.

TokTok · Nov 24, 2023 · c73264d · c73264d
1 parent 29ab17c
commit c73264d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/Data/MessagePack/Tags.hs b/src/Data/MessagePack/Tags.hs
@@ -3,6 +3,7 @@
 --   tools/gen-tags > src/Data/MessagePack/Tags.hs
 {-# LANGUAGE PatternSynonyms #-}
 {-# OPTIONS_GHC -Wno-missing-pattern-synonym-signatures #-}
+{-# OPTIONS_GHC -Wno-missing-signatures                 #-}
 module Data.MessagePack.Tags where
 
 pattern TAG_nil       = 0xc0  -- 11000000

diff --git a/tools/gen-tags b/tools/gen-tags
@@ -12,6 +12,7 @@ print("""-- Generated file - DO NOT EDIT
 --   tools/gen-tags > src/Data/MessagePack/Tags.hs
 {-# LANGUAGE PatternSynonyms #-}
 {-# OPTIONS_GHC -Wno-missing-pattern-synonym-signatures #-}
+{-# OPTIONS_GHC -Wno-missing-signatures                 #-}
 module Data.MessagePack.Tags where
 """)