From bce6abf0e1137c603b39a567b73212d7221f31f8 Mon Sep 17 00:00:00 2001 From: Elizaveta Vasilenko Date: Sat, 27 Feb 2021 21:43:50 +0100 Subject: [PATCH] add trustworthiness pragma --- liquid-base/src/Data/Bits.hs | 1 + liquid-base/src/Data/Typeable.hs | 3 ++- liquid-base/src/Data/Word.hs | 1 + liquid-base/src/Prelude.hs | 1 + liquid-bytestring/src/Data/ByteString.hs | 1 + liquid-bytestring/src/Data/ByteString/Char8.hs | 1 + 6 files changed, 7 insertions(+), 1 deletion(-) diff --git a/liquid-base/src/Data/Bits.hs b/liquid-base/src/Data/Bits.hs index 257ef7e2de..f177642e29 100644 --- a/liquid-base/src/Data/Bits.hs +++ b/liquid-base/src/Data/Bits.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Trustworthy #-} module Data.Bits ( module Exports ) where import "base" Data.Bits as Exports diff --git a/liquid-base/src/Data/Typeable.hs b/liquid-base/src/Data/Typeable.hs index 68a418f728..a4df07d658 100644 --- a/liquid-base/src/Data/Typeable.hs +++ b/liquid-base/src/Data/Typeable.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Trustworthy #-} module Data.Typeable (module Exports) where -import "base" Data.Typeable as Exports +import "base" Data.Typeable as Exports \ No newline at end of file diff --git a/liquid-base/src/Data/Word.hs b/liquid-base/src/Data/Word.hs index 53628fbbaf..d18174314f 100644 --- a/liquid-base/src/Data/Word.hs +++ b/liquid-base/src/Data/Word.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Trustworthy #-} module Data.Word ( module Exports) where import "base" Data.Word as Exports diff --git a/liquid-base/src/Prelude.hs b/liquid-base/src/Prelude.hs index 042f518d0b..2c80b36763 100644 --- a/liquid-base/src/Prelude.hs +++ b/liquid-base/src/Prelude.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Trustworthy #-} module Prelude (module Exports) where import Data.Foldable diff --git a/liquid-bytestring/src/Data/ByteString.hs b/liquid-bytestring/src/Data/ByteString.hs index 016240b373..626de841b4 100644 --- a/liquid-bytestring/src/Data/ByteString.hs +++ b/liquid-bytestring/src/Data/ByteString.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Trustworthy #-} module Data.ByteString ( module Exports ) where import Data.String diff --git a/liquid-bytestring/src/Data/ByteString/Char8.hs b/liquid-bytestring/src/Data/ByteString/Char8.hs index a8c3afc86d..121247fb45 100644 --- a/liquid-bytestring/src/Data/ByteString/Char8.hs +++ b/liquid-bytestring/src/Data/ByteString/Char8.hs @@ -1,4 +1,5 @@ {-# LANGUAGE CPP #-} +{-# LANGUAGE Trustworthy #-} module Data.ByteString.Char8 ( module Exports ) where import Data.Int