From d00c95e9f54ef7f26ea529cfa6d6e8277b8e24c4 Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Mon, 18 May 2020 19:05:18 -0400 Subject: [PATCH] hushing more warnings --- semantic-codeql/src/Language/CodeQL/Tags.hs | 1 + semantic-go/src/Language/Go/Tags.hs | 1 + semantic-java/src/Language/Java/Tags.hs | 1 + semantic-php/src/Language/PHP/Tags.hs | 1 + 4 files changed, 4 insertions(+) diff --git a/semantic-codeql/src/Language/CodeQL/Tags.hs b/semantic-codeql/src/Language/CodeQL/Tags.hs index 8feb64350..832e70547 100644 --- a/semantic-codeql/src/Language/CodeQL/Tags.hs +++ b/semantic-codeql/src/Language/CodeQL/Tags.hs @@ -4,6 +4,7 @@ {-# LANGUAGE NamedFieldPuns #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeOperators #-} +{-# OPTIONS_GHC -Wno-incomplete-patterns #-} module Language.CodeQL.Tags ( ToTags (..), diff --git a/semantic-go/src/Language/Go/Tags.hs b/semantic-go/src/Language/Go/Tags.hs index 3b03f49b9..3b476974c 100644 --- a/semantic-go/src/Language/Go/Tags.hs +++ b/semantic-go/src/Language/Go/Tags.hs @@ -3,6 +3,7 @@ {-# LANGUAGE NamedFieldPuns #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeOperators #-} +{-# OPTIONS_GHC -Wno-incomplete-patterns #-} module Language.Go.Tags ( ToTags (..), diff --git a/semantic-java/src/Language/Java/Tags.hs b/semantic-java/src/Language/Java/Tags.hs index 7e57376f7..18ef8276d 100644 --- a/semantic-java/src/Language/Java/Tags.hs +++ b/semantic-java/src/Language/Java/Tags.hs @@ -4,6 +4,7 @@ {-# LANGUAGE NamedFieldPuns #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeOperators #-} +{-# OPTIONS_GHC -Wno-incomplete-patterns #-} module Language.Java.Tags ( ToTags (..), diff --git a/semantic-php/src/Language/PHP/Tags.hs b/semantic-php/src/Language/PHP/Tags.hs index 1a81c30ed..15b801a53 100644 --- a/semantic-php/src/Language/PHP/Tags.hs +++ b/semantic-php/src/Language/PHP/Tags.hs @@ -5,6 +5,7 @@ {-# LANGUAGE OverloadedLists #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeOperators #-} +{-# OPTIONS_GHC -Wno-incomplete-patterns #-} module Language.PHP.Tags ( tags,