liquidhaskell 0.9.6.3 → 0.9.6.3.1

raw patch · 43 files changed

+47/−2 lines, 43 files

Files

CHANGES.md +4/−0
liquidhaskell.cabal +2/−2
src/Data/Bits_LHAssumptions.hs +1/−0
src/Data/ByteString/Char8_LHAssumptions.hs +1/−0
src/Data/ByteString/Lazy/Char8_LHAssumptions.hs +1/−0
src/Data/ByteString/Lazy_LHAssumptions.hs +1/−0
src/Data/ByteString/Short_LHAssumptions.hs +1/−0
src/Data/ByteString/Unsafe_LHAssumptions.hs +1/−0
src/Data/ByteString_LHAssumptions.hs +1/−0
src/Data/Either_LHAssumptions.hs +1/−0
src/Data/Foldable_LHAssumptions.hs +1/−0
src/Data/Int_LHAssumptions.hs +1/−0
src/Data/Maybe_LHAssumptions.hs +1/−0
src/Data/Set_LHAssumptions.hs +1/−0
src/Data/String_LHAssumptions.hs +1/−0
src/Data/Tuple_LHAssumptions.hs +1/−0
src/Data/Word_LHAssumptions.hs +1/−0
src/Foreign/C/String_LHAssumptions.hs +1/−0
src/Foreign/C/Types_LHAssumptions.hs +1/−0
src/Foreign/Concurrent_LHAssumptions.hs +1/−0
src/Foreign/ForeignPtr_LHAssumptions.hs +1/−0
src/Foreign/Marshal/Alloc_LHAssumptions.hs +1/−0
src/Foreign/Ptr_LHAssumptions.hs +1/−0
src/Foreign/Storable_LHAssumptions.hs +1/−0
src/GHC/Base_LHAssumptions.hs +1/−0
src/GHC/CString_LHAssumptions.hs +1/−0
src/GHC/Classes_LHAssumptions.hs +1/−0
src/GHC/Exts_LHAssumptions.hs +1/−0
src/GHC/Float_LHAssumptions.hs +1/−0
src/GHC/ForeignPtr_LHAssumptions.hs +1/−0
src/GHC/IO/Handle_LHAssumptions.hs +1/−0
src/GHC/Int_LHAssumptions.hs +1/−0
src/GHC/List_LHAssumptions.hs +1/−0
src/GHC/Maybe_LHAssumptions.hs +1/−0
src/GHC/Num/Integer_LHAssumptions.hs +1/−0
src/GHC/Num_LHAssumptions.hs +1/−0
src/GHC/Ptr_LHAssumptions.hs +1/−0
src/GHC/Real_LHAssumptions.hs +1/−0
src/GHC/Types_LHAssumptions.hs +1/−0
src/GHC/Word_LHAssumptions.hs +1/−0
src/Liquid/Prelude/Real_LHAssumptions.hs +1/−0
src/Liquid/Prelude/Totality_LHAssumptions.hs +1/−0
src/Prelude_LHAssumptions.hs +1/−0

CHANGES.md view

@@ -2,6 +2,10 @@  ## Next +## 0.9.6.3.1 (2024-03-07)++- Avoid enabling plugins in ghc-options (workaround for #9375)+ ## 0.9.6.3 (2024-01-29)  - Set support for GHC 9.6.3

liquidhaskell.cabal view

@@ -1,6 +1,6 @@ cabal-version:      2.4 name:               liquidhaskell-version:            0.9.6.3+version:            0.9.6.3.1 synopsis:           Liquid Types for Haskell description:        Liquid Types for Haskell. license:            BSD-3-Clause@@ -84,7 +84,7 @@                       ghc-bignum,                       ghc-prim   default-language:   Haskell98-  ghc-options:        -Wall -fplugin=LiquidHaskellBoot+  ghc-options:        -Wall    if flag(devel)     ghc-options:      -Werror

src/Data/Bits_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Bits_LHAssumptions where  {-@

src/Data/ByteString/Char8_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Char8_LHAssumptions where

src/Data/ByteString/Lazy/Char8_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Lazy.Char8_LHAssumptions where

src/Data/ByteString/Lazy_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Lazy_LHAssumptions where

src/Data/ByteString/Short_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Short_LHAssumptions where

src/Data/ByteString/Unsafe_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString.Unsafe_LHAssumptions where

src/Data/ByteString_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.ByteString_LHAssumptions where

src/Data/Either_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Either_LHAssumptions where  import GHC.Types_LHAssumptions()

src/Data/Foldable_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Foldable_LHAssumptions where  import GHC.Types_LHAssumptions()

src/Data/Int_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Int_LHAssumptions where  {-@

src/Data/Maybe_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Maybe_LHAssumptions where

src/Data/Set_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Set_LHAssumptions where

src/Data/String_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.String_LHAssumptions where

src/Data/Tuple_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Tuple_LHAssumptions where

src/Data/Word_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Data.Word_LHAssumptions where  {-@

src/Foreign/C/String_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.C.String_LHAssumptions where

src/Foreign/C/Types_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Foreign.C.Types_LHAssumptions where  import GHC.Int_LHAssumptions()

src/Foreign/Concurrent_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.Concurrent_LHAssumptions where

src/Foreign/ForeignPtr_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.ForeignPtr_LHAssumptions where

src/Foreign/Marshal/Alloc_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.Marshal.Alloc_LHAssumptions where

src/Foreign/Ptr_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Foreign.Ptr_LHAssumptions where

src/Foreign/Storable_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Foreign.Storable_LHAssumptions where

src/GHC/Base_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Base_LHAssumptions where

src/GHC/CString_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# LANGUAGE MagicHash #-} {-# OPTIONS_GHC -Wno-missing-signatures #-} module GHC.CString_LHAssumptions() where

src/GHC/Classes_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Classes_LHAssumptions where  import GHC.Classes()

src/GHC/Exts_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Exts_LHAssumptions where

src/GHC/Float_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Float_LHAssumptions(Floating(..)) where  {-@

src/GHC/ForeignPtr_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.ForeignPtr_LHAssumptions where

src/GHC/IO/Handle_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.IO.Handle_LHAssumptions where

src/GHC/Int_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Int_LHAssumptions where

src/GHC/List_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.List_LHAssumptions where

src/GHC/Maybe_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Maybe_LHAssumptions where  {-@

src/GHC/Num/Integer_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# LANGUAGE MagicHash #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Num.Integer_LHAssumptions() where

src/GHC/Num_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Num_LHAssumptions where  {-@

src/GHC/Ptr_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Ptr_LHAssumptions where

src/GHC/Real_LHAssumptions.hs view

@@ -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

src/GHC/Types_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# LANGUAGE MagicHash #-} {-# OPTIONS_GHC -Wno-missing-signatures #-} module GHC.Types_LHAssumptions() where

src/GHC/Word_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module GHC.Word_LHAssumptions where  {-@

src/Liquid/Prelude/Real_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Liquid.Prelude.Real_LHAssumptions where  import GHC.Num()

src/Liquid/Prelude/Totality_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Liquid.Prelude.Totality_LHAssumptions where

src/Prelude_LHAssumptions.hs view

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} module Prelude_LHAssumptions where  import GHC.Base_LHAssumptions()