From 367dd0f8ade8ea1278e6984766d37f15b7281aef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Sun, 28 Jan 2024 20:15:45 -0300 Subject: [PATCH] Don't set -fplugin in ghc-options This workarounds https://github.com/haskell/cabal/issues/9375 --- liquid-parallel/liquid-parallel.cabal | 2 -- .../src/Control/Parallel/Strategies_LHAssumptions.hs | 1 + liquid-prelude/liquid-prelude.cabal | 2 -- liquid-prelude/src/Language/Haskell/Liquid/Bag.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/Equational.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/Foreign.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/List.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/Prelude.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/ProofCombinators.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/RTick.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/RTick/Combinators.hs | 1 + liquid-prelude/src/Language/Haskell/Liquid/String.hs | 1 + liquid-vector/liquid-vector.cabal | 2 +- liquid-vector/src/Data/Vector_LHAssumptions.hs | 1 + liquidhaskell.cabal | 2 +- src/Data/Bits_LHAssumptions.hs | 1 + src/Data/ByteString/Char8_LHAssumptions.hs | 1 + src/Data/ByteString/Lazy/Char8_LHAssumptions.hs | 1 + src/Data/ByteString/Lazy_LHAssumptions.hs | 1 + src/Data/ByteString/Short_LHAssumptions.hs | 1 + src/Data/ByteString/Unsafe_LHAssumptions.hs | 1 + src/Data/ByteString_LHAssumptions.hs | 1 + src/Data/Either_LHAssumptions.hs | 1 + src/Data/Foldable_LHAssumptions.hs | 1 + src/Data/Int_LHAssumptions.hs | 1 + src/Data/Maybe_LHAssumptions.hs | 1 + src/Data/Set_LHAssumptions.hs | 1 + src/Data/String_LHAssumptions.hs | 1 + src/Data/Tuple_LHAssumptions.hs | 1 + src/Data/Word_LHAssumptions.hs | 1 + src/Foreign/C/String_LHAssumptions.hs | 1 + src/Foreign/C/Types_LHAssumptions.hs | 1 + src/Foreign/Concurrent_LHAssumptions.hs | 1 + src/Foreign/ForeignPtr_LHAssumptions.hs | 1 + src/Foreign/Marshal/Alloc_LHAssumptions.hs | 1 + src/Foreign/Ptr_LHAssumptions.hs | 1 + src/Foreign/Storable_LHAssumptions.hs | 1 + src/GHC/Base_LHAssumptions.hs | 1 + src/GHC/CString_LHAssumptions.hs | 1 + src/GHC/Classes_LHAssumptions.hs | 1 + src/GHC/Exts_LHAssumptions.hs | 1 + src/GHC/Float_LHAssumptions.hs | 1 + src/GHC/ForeignPtr_LHAssumptions.hs | 1 + src/GHC/IO/Handle_LHAssumptions.hs | 1 + src/GHC/Int_LHAssumptions.hs | 1 + src/GHC/List_LHAssumptions.hs | 1 + src/GHC/Maybe_LHAssumptions.hs | 1 + src/GHC/Num/Integer_LHAssumptions.hs | 1 + src/GHC/Num_LHAssumptions.hs | 1 + src/GHC/Ptr_LHAssumptions.hs | 1 + src/GHC/Real_LHAssumptions.hs | 1 + src/GHC/Types_LHAssumptions.hs | 1 + src/GHC/Word_LHAssumptions.hs | 1 + src/Liquid/Prelude/Real_LHAssumptions.hs | 1 + src/Liquid/Prelude/Totality_LHAssumptions.hs | 1 + src/Prelude_LHAssumptions.hs | 1 + 56 files changed, 54 insertions(+), 6 deletions(-) diff --git a/liquid-parallel/liquid-parallel.cabal b/liquid-parallel/liquid-parallel.cabal index 94ac5490c1..439ce4df1c 100644 --- a/liquid-parallel/liquid-parallel.cabal +++ b/liquid-parallel/liquid-parallel.cabal @@ -23,5 +23,3 @@ library , liquidhaskell >= 0.9.2.8 default-language: Haskell2010 default-extensions: PackageImports - if impl(ghc >= 8.10) - ghc-options: -fplugin=LiquidHaskell diff --git a/liquid-parallel/src/Control/Parallel/Strategies_LHAssumptions.hs b/liquid-parallel/src/Control/Parallel/Strategies_LHAssumptions.hs index 0bf01e093d..2730dfb1d3 100644 --- a/liquid-parallel/src/Control/Parallel/Strategies_LHAssumptions.hs +++ b/liquid-parallel/src/Control/Parallel/Strategies_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Control.Parallel.Strategies_LHAssumptions where diff --git a/liquid-prelude/liquid-prelude.cabal b/liquid-prelude/liquid-prelude.cabal index ba762c2bb2..b3007a4f06 100644 --- a/liquid-prelude/liquid-prelude.cabal +++ b/liquid-prelude/liquid-prelude.cabal @@ -32,5 +32,3 @@ library , containers >= 0.6.4.1 , liquidhaskell >= 0.9.2.8 default-language: Haskell2010 - if impl(ghc >= 8.10) - ghc-options: -fplugin=LiquidHaskell diff --git a/liquid-prelude/src/Language/Haskell/Liquid/Bag.hs b/liquid-prelude/src/Language/Haskell/Liquid/Bag.hs index 099417ca30..499638c1a4 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/Bag.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/Bag.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} module Language.Haskell.Liquid.Bag where import qualified Data.Map as M diff --git a/liquid-prelude/src/Language/Haskell/Liquid/Equational.hs b/liquid-prelude/src/Language/Haskell/Liquid/Equational.hs index 11ba1aad7e..5734b6000a 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/Equational.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/Equational.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} module Language.Haskell.Liquid.Equational where ------------------------------------------------------------------------------- diff --git a/liquid-prelude/src/Language/Haskell/Liquid/Foreign.hs b/liquid-prelude/src/Language/Haskell/Liquid/Foreign.hs index c89a59e34d..47a0871c7b 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/Foreign.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/Foreign.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} {-# OPTIONS_GHC -fno-warn-unused-imports #-} {-# LANGUAGE MagicHash #-} diff --git a/liquid-prelude/src/Language/Haskell/Liquid/List.hs b/liquid-prelude/src/Language/Haskell/Liquid/List.hs index b111ba693e..d6abbcf8d8 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/List.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/List.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} module Language.Haskell.Liquid.List (transpose) where {-@ lazy transpose @-} diff --git a/liquid-prelude/src/Language/Haskell/Liquid/Prelude.hs b/liquid-prelude/src/Language/Haskell/Liquid/Prelude.hs index 7a4be44aaf..b35f9508a4 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/Prelude.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/Prelude.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} {-# LANGUAGE MagicHash #-} module Language.Haskell.Liquid.Prelude where diff --git a/liquid-prelude/src/Language/Haskell/Liquid/ProofCombinators.hs b/liquid-prelude/src/Language/Haskell/Liquid/ProofCombinators.hs index ad4ea636d0..a770df0875 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/ProofCombinators.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/ProofCombinators.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE TypeFamilies #-} diff --git a/liquid-prelude/src/Language/Haskell/Liquid/RTick.hs b/liquid-prelude/src/Language/Haskell/Liquid/RTick.hs index cfe0a6b368..4e052b0067 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/RTick.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/RTick.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} -- -- Liquidate your assets: reasoning about resource usage in Liquid Haskell. diff --git a/liquid-prelude/src/Language/Haskell/Liquid/RTick/Combinators.hs b/liquid-prelude/src/Language/Haskell/Liquid/RTick/Combinators.hs index 9ba9f0f021..18da77be26 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/RTick/Combinators.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/RTick/Combinators.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} -- -- Liquidate your assets: reasoning about resource usage in Liquid Haskell. diff --git a/liquid-prelude/src/Language/Haskell/Liquid/String.hs b/liquid-prelude/src/Language/Haskell/Liquid/String.hs index 85557bb06b..24b12a3a98 100644 --- a/liquid-prelude/src/Language/Haskell/Liquid/String.hs +++ b/liquid-prelude/src/Language/Haskell/Liquid/String.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} -- Support for Strings for SMT {-# LANGUAGE OverloadedStrings #-} diff --git a/liquid-vector/liquid-vector.cabal b/liquid-vector/liquid-vector.cabal index 0284b32ada..b6b21b6bbc 100644 --- a/liquid-vector/liquid-vector.cabal +++ b/liquid-vector/liquid-vector.cabal @@ -24,5 +24,5 @@ library default-language: Haskell2010 default-extensions: PackageImports if impl(ghc >= 8.10) - ghc-options: -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--no-positivity-check + ghc-options: -fplugin-opt=LiquidHaskell:--no-positivity-check diff --git a/liquid-vector/src/Data/Vector_LHAssumptions.hs b/liquid-vector/src/Data/Vector_LHAssumptions.hs index 70df81bb68..abdf4e722e 100644 --- a/liquid-vector/src/Data/Vector_LHAssumptions.hs +++ b/liquid-vector/src/Data/Vector_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Vector_LHAssumptions where diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal index 48f66c96c1..0cb5565ba6 100644 --- a/liquidhaskell.cabal +++ b/liquidhaskell.cabal @@ -84,7 +84,7 @@ library ghc-bignum, ghc-prim default-language: Haskell98 - ghc-options: -Wall -fplugin=LiquidHaskellBoot + ghc-options: -Wall if flag(devel) ghc-options: -Werror diff --git a/src/Data/Bits_LHAssumptions.hs b/src/Data/Bits_LHAssumptions.hs index 212254d968..1e55ef6fdf 100644 --- a/src/Data/Bits_LHAssumptions.hs +++ b/src/Data/Bits_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Bits_LHAssumptions where {-@ diff --git a/src/Data/ByteString/Char8_LHAssumptions.hs b/src/Data/ByteString/Char8_LHAssumptions.hs index 00642487be..0fd49f54b6 100644 --- a/src/Data/ByteString/Char8_LHAssumptions.hs +++ b/src/Data/ByteString/Char8_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Char8_LHAssumptions where diff --git a/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs b/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs index 239dee53f4..7976efd3aa 100644 --- a/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs +++ b/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Lazy.Char8_LHAssumptions where diff --git a/src/Data/ByteString/Lazy_LHAssumptions.hs b/src/Data/ByteString/Lazy_LHAssumptions.hs index 107ab64f04..e83e86f362 100644 --- a/src/Data/ByteString/Lazy_LHAssumptions.hs +++ b/src/Data/ByteString/Lazy_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Lazy_LHAssumptions where diff --git a/src/Data/ByteString/Short_LHAssumptions.hs b/src/Data/ByteString/Short_LHAssumptions.hs index 925595bf7f..3add547bb5 100644 --- a/src/Data/ByteString/Short_LHAssumptions.hs +++ b/src/Data/ByteString/Short_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Short_LHAssumptions where diff --git a/src/Data/ByteString/Unsafe_LHAssumptions.hs b/src/Data/ByteString/Unsafe_LHAssumptions.hs index 891518ee6b..29982a8b5f 100644 --- a/src/Data/ByteString/Unsafe_LHAssumptions.hs +++ b/src/Data/ByteString/Unsafe_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Unsafe_LHAssumptions where diff --git a/src/Data/ByteString_LHAssumptions.hs b/src/Data/ByteString_LHAssumptions.hs index 562ddd4d64..1a6df0cf8f 100644 --- a/src/Data/ByteString_LHAssumptions.hs +++ b/src/Data/ByteString_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString_LHAssumptions where diff --git a/src/Data/Either_LHAssumptions.hs b/src/Data/Either_LHAssumptions.hs index 77bbc20206..8cc96ab27c 100644 --- a/src/Data/Either_LHAssumptions.hs +++ b/src/Data/Either_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Either_LHAssumptions where import GHC.Types_LHAssumptions() diff --git a/src/Data/Foldable_LHAssumptions.hs b/src/Data/Foldable_LHAssumptions.hs index 3efa7e88b8..8bc487c82a 100644 --- a/src/Data/Foldable_LHAssumptions.hs +++ b/src/Data/Foldable_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Foldable_LHAssumptions where import GHC.Types_LHAssumptions() diff --git a/src/Data/Int_LHAssumptions.hs b/src/Data/Int_LHAssumptions.hs index f35b55793a..6b71a72747 100644 --- a/src/Data/Int_LHAssumptions.hs +++ b/src/Data/Int_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Int_LHAssumptions where {-@ diff --git a/src/Data/Maybe_LHAssumptions.hs b/src/Data/Maybe_LHAssumptions.hs index 1eeb95c08c..162784e396 100644 --- a/src/Data/Maybe_LHAssumptions.hs +++ b/src/Data/Maybe_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Maybe_LHAssumptions where diff --git a/src/Data/Set_LHAssumptions.hs b/src/Data/Set_LHAssumptions.hs index f281dc592f..5ae7a499af 100644 --- a/src/Data/Set_LHAssumptions.hs +++ b/src/Data/Set_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Set_LHAssumptions where diff --git a/src/Data/String_LHAssumptions.hs b/src/Data/String_LHAssumptions.hs index cd86aa8748..4c8c0acb38 100644 --- a/src/Data/String_LHAssumptions.hs +++ b/src/Data/String_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.String_LHAssumptions where diff --git a/src/Data/Tuple_LHAssumptions.hs b/src/Data/Tuple_LHAssumptions.hs index 3d07a631e8..08673c5761 100644 --- a/src/Data/Tuple_LHAssumptions.hs +++ b/src/Data/Tuple_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Tuple_LHAssumptions where diff --git a/src/Data/Word_LHAssumptions.hs b/src/Data/Word_LHAssumptions.hs index c0d14c4edb..b303985a26 100644 --- a/src/Data/Word_LHAssumptions.hs +++ b/src/Data/Word_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Word_LHAssumptions where {-@ diff --git a/src/Foreign/C/String_LHAssumptions.hs b/src/Foreign/C/String_LHAssumptions.hs index d72978b069..c9d0a38c10 100644 --- a/src/Foreign/C/String_LHAssumptions.hs +++ b/src/Foreign/C/String_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.C.String_LHAssumptions where diff --git a/src/Foreign/C/Types_LHAssumptions.hs b/src/Foreign/C/Types_LHAssumptions.hs index d789ba4494..345952035f 100644 --- a/src/Foreign/C/Types_LHAssumptions.hs +++ b/src/Foreign/C/Types_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Foreign.C.Types_LHAssumptions where import GHC.Int_LHAssumptions() diff --git a/src/Foreign/Concurrent_LHAssumptions.hs b/src/Foreign/Concurrent_LHAssumptions.hs index 112e89d755..b4a0321d51 100644 --- a/src/Foreign/Concurrent_LHAssumptions.hs +++ b/src/Foreign/Concurrent_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.Concurrent_LHAssumptions where diff --git a/src/Foreign/ForeignPtr_LHAssumptions.hs b/src/Foreign/ForeignPtr_LHAssumptions.hs index 79661c6b03..710732bd8e 100644 --- a/src/Foreign/ForeignPtr_LHAssumptions.hs +++ b/src/Foreign/ForeignPtr_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.ForeignPtr_LHAssumptions where diff --git a/src/Foreign/Marshal/Alloc_LHAssumptions.hs b/src/Foreign/Marshal/Alloc_LHAssumptions.hs index b0bd2c7408..9500e3635c 100644 --- a/src/Foreign/Marshal/Alloc_LHAssumptions.hs +++ b/src/Foreign/Marshal/Alloc_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.Marshal.Alloc_LHAssumptions where diff --git a/src/Foreign/Ptr_LHAssumptions.hs b/src/Foreign/Ptr_LHAssumptions.hs index b749894fa5..12a6430978 100644 --- a/src/Foreign/Ptr_LHAssumptions.hs +++ b/src/Foreign/Ptr_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Foreign.Ptr_LHAssumptions where diff --git a/src/Foreign/Storable_LHAssumptions.hs b/src/Foreign/Storable_LHAssumptions.hs index d26aa6589a..639978e8ca 100644 --- a/src/Foreign/Storable_LHAssumptions.hs +++ b/src/Foreign/Storable_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.Storable_LHAssumptions where diff --git a/src/GHC/Base_LHAssumptions.hs b/src/GHC/Base_LHAssumptions.hs index fd104ba0d2..dd293f48bd 100644 --- a/src/GHC/Base_LHAssumptions.hs +++ b/src/GHC/Base_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Base_LHAssumptions where diff --git a/src/GHC/CString_LHAssumptions.hs b/src/GHC/CString_LHAssumptions.hs index 433790067d..e295358f10 100644 --- a/src/GHC/CString_LHAssumptions.hs +++ b/src/GHC/CString_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# LANGUAGE MagicHash #-} {-# OPTIONS_GHC -Wno-missing-signatures #-} module GHC.CString_LHAssumptions() where diff --git a/src/GHC/Classes_LHAssumptions.hs b/src/GHC/Classes_LHAssumptions.hs index 57395fd339..662f77aa9a 100644 --- a/src/GHC/Classes_LHAssumptions.hs +++ b/src/GHC/Classes_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Classes_LHAssumptions where import GHC.Classes() diff --git a/src/GHC/Exts_LHAssumptions.hs b/src/GHC/Exts_LHAssumptions.hs index 525329c59c..242ca963a6 100644 --- a/src/GHC/Exts_LHAssumptions.hs +++ b/src/GHC/Exts_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Exts_LHAssumptions where diff --git a/src/GHC/Float_LHAssumptions.hs b/src/GHC/Float_LHAssumptions.hs index d09d0ea732..798f183976 100644 --- a/src/GHC/Float_LHAssumptions.hs +++ b/src/GHC/Float_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Float_LHAssumptions(Floating(..)) where {-@ diff --git a/src/GHC/ForeignPtr_LHAssumptions.hs b/src/GHC/ForeignPtr_LHAssumptions.hs index 29826321e4..a010afc293 100644 --- a/src/GHC/ForeignPtr_LHAssumptions.hs +++ b/src/GHC/ForeignPtr_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.ForeignPtr_LHAssumptions where diff --git a/src/GHC/IO/Handle_LHAssumptions.hs b/src/GHC/IO/Handle_LHAssumptions.hs index e675f6371d..14df98014c 100644 --- a/src/GHC/IO/Handle_LHAssumptions.hs +++ b/src/GHC/IO/Handle_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.IO.Handle_LHAssumptions where diff --git a/src/GHC/Int_LHAssumptions.hs b/src/GHC/Int_LHAssumptions.hs index 20d355c7bc..217387b9d3 100644 --- a/src/GHC/Int_LHAssumptions.hs +++ b/src/GHC/Int_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Int_LHAssumptions where diff --git a/src/GHC/List_LHAssumptions.hs b/src/GHC/List_LHAssumptions.hs index a336ade184..181c700b31 100644 --- a/src/GHC/List_LHAssumptions.hs +++ b/src/GHC/List_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.List_LHAssumptions where diff --git a/src/GHC/Maybe_LHAssumptions.hs b/src/GHC/Maybe_LHAssumptions.hs index c8b33349ff..771e964a63 100644 --- a/src/GHC/Maybe_LHAssumptions.hs +++ b/src/GHC/Maybe_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Maybe_LHAssumptions where {-@ diff --git a/src/GHC/Num/Integer_LHAssumptions.hs b/src/GHC/Num/Integer_LHAssumptions.hs index 19fbb27092..f6a79505ae 100644 --- a/src/GHC/Num/Integer_LHAssumptions.hs +++ b/src/GHC/Num/Integer_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# LANGUAGE MagicHash #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Num.Integer_LHAssumptions() where diff --git a/src/GHC/Num_LHAssumptions.hs b/src/GHC/Num_LHAssumptions.hs index 2a28fd187c..347888445a 100644 --- a/src/GHC/Num_LHAssumptions.hs +++ b/src/GHC/Num_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Num_LHAssumptions where {-@ diff --git a/src/GHC/Ptr_LHAssumptions.hs b/src/GHC/Ptr_LHAssumptions.hs index 6825a2046e..8af417bb16 100644 --- a/src/GHC/Ptr_LHAssumptions.hs +++ b/src/GHC/Ptr_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Ptr_LHAssumptions where diff --git a/src/GHC/Real_LHAssumptions.hs b/src/GHC/Real_LHAssumptions.hs index 591147d913..a2cb9c0cdf 100644 --- a/src/GHC/Real_LHAssumptions.hs +++ b/src/GHC/Real_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} -- Reexports are necessary for LH to expose specs of type classes module GHC.Real_LHAssumptions(Integral(..), Fractional(..)) where diff --git a/src/GHC/Types_LHAssumptions.hs b/src/GHC/Types_LHAssumptions.hs index c763357574..9f9fb48007 100644 --- a/src/GHC/Types_LHAssumptions.hs +++ b/src/GHC/Types_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# LANGUAGE MagicHash #-} {-# OPTIONS_GHC -Wno-missing-signatures #-} module GHC.Types_LHAssumptions() where diff --git a/src/GHC/Word_LHAssumptions.hs b/src/GHC/Word_LHAssumptions.hs index fd27c4600a..0084d67dc0 100644 --- a/src/GHC/Word_LHAssumptions.hs +++ b/src/GHC/Word_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Word_LHAssumptions where {-@ diff --git a/src/Liquid/Prelude/Real_LHAssumptions.hs b/src/Liquid/Prelude/Real_LHAssumptions.hs index 7e231884aa..7e7af35abc 100644 --- a/src/Liquid/Prelude/Real_LHAssumptions.hs +++ b/src/Liquid/Prelude/Real_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Liquid.Prelude.Real_LHAssumptions where import GHC.Num() diff --git a/src/Liquid/Prelude/Totality_LHAssumptions.hs b/src/Liquid/Prelude/Totality_LHAssumptions.hs index 39dec31b60..24992566a4 100644 --- a/src/Liquid/Prelude/Totality_LHAssumptions.hs +++ b/src/Liquid/Prelude/Totality_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Liquid.Prelude.Totality_LHAssumptions where diff --git a/src/Prelude_LHAssumptions.hs b/src/Prelude_LHAssumptions.hs index 9daad484f6..5a9c9c2019 100644 --- a/src/Prelude_LHAssumptions.hs +++ b/src/Prelude_LHAssumptions.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Prelude_LHAssumptions where import GHC.Base_LHAssumptions()