Merge pull request #1829 from oquechy/trustworthiness

Add trustworthiness pragma

Author: nikivazou

liquid-base/src/Data/Bits.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE Trustworthy #-}
 module Data.Bits ( module Exports ) where
 
 import "base" Data.Bits as Exports

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

liquid-base/src/Data/Word.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE Trustworthy #-}
 module Data.Word ( module Exports) where
 
 import "base" Data.Word as Exports

liquid-base/src/Prelude.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE Trustworthy #-}
 module Prelude (module Exports) where
 
 import Data.Foldable

liquid-bytestring/src/Data/ByteString.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE Trustworthy #-}
 module Data.ByteString ( module Exports ) where
 
 import Data.String

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