Merge pull request ucsd-progsys#1701 from ucsd-progsys/adinapoli/gene…

…rate-all-liquid-star-modules Properly mirror all the `liquid-*` modules
YoshikiTakashima · Jul 15, 2020 · 6686790 · 6686790
2 parents 22ac766 + 0a5b41e
commit 6686790
Show file tree

Hide file tree

Showing 207 changed files with 829 additions and 11 deletions.
diff --git a/liquid-base/liquid-base.cabal b/liquid-base/liquid-base.cabal
@@ -24,78 +24,222 @@ data-files:         src/Data/*.spec
 
 library
   exposed-modules:  Control.Applicative
+                    Control.Arrow
                     Control.Category
+                    Control.Concurrent
+                    Control.Concurrent.Chan
+                    Control.Concurrent.MVar
+                    Control.Concurrent.QSem
+                    Control.Concurrent.QSemN
                     Control.Exception
                     Control.Exception.Base
                     Control.Monad
+                    Control.Monad.Fail
+                    Control.Monad.Fix
+                    Control.Monad.Instances
+                    Control.Monad.IO.Class
                     Control.Monad.ST
+                    Control.Monad.ST.Lazy
+                    Control.Monad.ST.Lazy.Safe
+                    Control.Monad.ST.Lazy.Unsafe
+                    Control.Monad.ST.Safe
+                    Control.Monad.ST.Strict
                     Control.Monad.ST.Unsafe
+                    Control.Monad.Zip
+                    Data.Bifoldable
                     Data.Bifunctor
+                    Data.Bitraversable
                     Data.Bits
+                    Data.Bool
                     Data.Char
+                    Data.Coerce
+                    Data.Complex
                     Data.Data
+                    Data.Dynamic
                     Data.Either
+                    Data.Eq
+                    Data.Fixed
                     Data.Foldable
                     Data.Function
                     Data.Functor
+                    Data.Functor.Classes
+                    Data.Functor.Contravariant
                     Data.Functor.Compose
+                    Data.Functor.Const
+                    Data.Functor.Identity
+                    Data.Functor.Product
+                    Data.Functor.Sum
                     Data.IORef
                     Data.Int
+                    Data.Ix
+                    Data.Kind
                     Data.List
                     Data.List.NonEmpty
                     Data.Maybe
                     Data.Monoid
                     Data.Ord
                     Data.Proxy
                     Data.Ratio
+                    Data.Semigroup
+                    Data.STRef
+                    Data.STRef.Lazy
+                    Data.STRef.Strict
                     Data.String
                     Data.Traversable
                     Data.Tuple
+                    Data.Type.Bool
+                    Data.Type.Coercion
+                    Data.Type.Equality
                     Data.Typeable
+                    Data.Unique
                     Data.Version
                     Data.Void
                     Data.Word
                     Debug.Trace
                     Foreign
+                    Foreign.C
+                    Foreign.C.Error
                     Foreign.C.String
                     Foreign.C.Types
                     Foreign.Concurrent
                     Foreign.ForeignPtr
+                    Foreign.ForeignPtr.Safe
+                    Foreign.ForeignPtr.Unsafe
+                    Foreign.Marshal
                     Foreign.Marshal.Alloc
                     Foreign.Marshal.Array
+                    Foreign.Marshal.Error
+                    Foreign.Marshal.Pool
+                    Foreign.Marshal.Safe
+                    Foreign.Marshal.Unsafe
                     Foreign.Marshal.Utils
                     Foreign.Ptr
+                    Foreign.Safe
+                    Foreign.StablePtr
                     Foreign.Storable
+                    GHC.Arr
                     GHC.Base
+                    GHC.ByteOrder
+                    GHC.Char
+                    GHC.Clock
+                    GHC.Conc
+                    GHC.Conc.IO
+                    GHC.Conc.Signal
+                    GHC.Conc.Sync
+                    GHC.ConsoleHandler
+                    GHC.Constants
+                    GHC.Desugar
+                    GHC.Enum
+                    GHC.Environment
+                    GHC.Err
+                    GHC.Exception
+                    GHC.Exception.Type
+                    GHC.ExecutionStack
+                    GHC.ExecutionStack.Internal
                     GHC.Exts
+                    GHC.Fingerprint
+                    GHC.Fingerprint.Type
+                    GHC.Float
+                    GHC.Float.ConversionUtils
+                    GHC.Float.RealFracMethods
+                    GHC.Foreign
                     GHC.ForeignPtr
+                    GHC.GHCi
+                    GHC.GHCi.Helpers
                     GHC.Generics
                     GHC.IO
                     GHC.IO.Buffer
                     GHC.IO.BufferedIO
+                    GHC.IO.Device
+                    GHC.IO.Encoding
+                    GHC.IO.Encoding.CodePage
+                    GHC.IO.Encoding.Failure
+                    GHC.IO.Encoding.Iconv
+                    GHC.IO.Encoding.Latin1
+                    GHC.IO.Encoding.Types
+                    GHC.IO.Encoding.UTF16
+                    GHC.IO.Encoding.UTF32
+                    GHC.IO.Encoding.UTF8
+                    GHC.IO.Exception
+                    GHC.IO.FD
                     GHC.IO.Handle
+                    GHC.IO.Handle.FD
                     GHC.IO.Handle.Internals
+                    GHC.IO.Handle.Lock
+                    GHC.IO.Handle.Text
                     GHC.IO.Handle.Types
+                    GHC.IO.IOMode
+                    GHC.IO.Unsafe
+                    GHC.IOArray
+                    GHC.IORef
                     GHC.Int
+                    GHC.Ix
                     GHC.List
+                    GHC.Maybe
+                    GHC.MVar
+                    GHC.Natural
                     GHC.Num
+                    GHC.OldList
+                    GHC.OverloadedLabels
+                    GHC.Pack
+                    GHC.Profiling
                     GHC.Ptr
+                    GHC.Read
                     GHC.Real
+                    GHC.Records
+                    GHC.ResponseFile
+                    GHC.RTS.Flags
                     GHC.ST
+                    GHC.StaticPtr
+                    GHC.STRef
+                    GHC.Show
+                    GHC.Stable
+                    GHC.StableName
+                    GHC.Stack
+                    GHC.Stack.CCS
+                    GHC.Stack.Types
+                    GHC.Stats
+                    GHC.Storable
+                    GHC.TopHandler
                     GHC.TypeLits
+                    GHC.TypeNats
+                    GHC.Unicode
+                    GHC.Weak
                     GHC.Word
                     Numeric
+                    Numeric.Natural
+                    Prelude
+                    System.CPUTime
+                    System.Console.GetOpt
                     System.Environment
+                    System.Environment.Blank
                     System.Exit
                     System.IO
                     System.IO.Error
                     System.IO.Unsafe
-                    Text.Read
+                    System.Info
+                    System.Mem
+                    System.Mem.StableName
+                    System.Mem.Weak
+                    System.Posix.Internals
+                    System.Posix.Types
+                    System.Timeout
+                    Text.ParserCombinators.ReadP
+                    Text.ParserCombinators.ReadPrec
                     Text.Printf
-                    Liquid.Prelude.Totality
+                    Text.Read
+                    Text.Read.Lex
+                    Text.Show
+                    Text.Show.Functions
+                    Type.Reflection
+                    Type.Reflection.Unsafe
+                    Unsafe.Coerce
+
+                    -- Liquid special modules
                     Liquid.Prelude.Real
                     Liquid.Prelude.NotReal
-                    Prelude
+                    Liquid.Prelude.Totality
+
   hs-source-dirs:     src
   build-depends:      base                 == 4.14.0.0
                     , liquid-ghc-prim

diff --git a/liquid-base/src/Control/Arrow.hs b/liquid-base/src/Control/Arrow.hs
@@ -0,0 +1,3 @@
+module Control.Arrow (module Exports) where
+
+import "base" Control.Arrow as Exports
diff --git a/liquid-base/src/Control/Concurrent.hs b/liquid-base/src/Control/Concurrent.hs
@@ -0,0 +1,3 @@
+module Control.Concurrent (module Exports) where
+
+import "base" Control.Concurrent as Exports
diff --git a/liquid-base/src/Control/Concurrent/Chan.hs b/liquid-base/src/Control/Concurrent/Chan.hs
@@ -0,0 +1,3 @@
+module Control.Concurrent.Chan (module Exports) where
+
+import "base" Control.Concurrent.Chan as Exports
diff --git a/liquid-base/src/Control/Concurrent/MVar.hs b/liquid-base/src/Control/Concurrent/MVar.hs
@@ -0,0 +1,3 @@
+module Control.Concurrent.MVar (module Exports) where
+
+import "base" Control.Concurrent.MVar as Exports
diff --git a/liquid-base/src/Control/Concurrent/QSem.hs b/liquid-base/src/Control/Concurrent/QSem.hs
@@ -0,0 +1,3 @@
+module Control.Concurrent.QSem (module Exports) where
+
+import "base" Control.Concurrent.QSem as Exports
diff --git a/liquid-base/src/Control/Concurrent/QSemN.hs b/liquid-base/src/Control/Concurrent/QSemN.hs
@@ -0,0 +1,3 @@
+module Control.Concurrent.QSemN (module Exports) where
+
+import "base" Control.Concurrent.QSemN as Exports
diff --git a/liquid-base/src/Control/Monad/Fail.hs b/liquid-base/src/Control/Monad/Fail.hs
@@ -0,0 +1,3 @@
+module Control.Monad.Fail (module Exports) where
+
+import "base" Control.Monad.Fail as Exports
diff --git a/liquid-base/src/Control/Monad/Fix.hs b/liquid-base/src/Control/Monad/Fix.hs
@@ -0,0 +1,3 @@
+module Control.Monad.Fix (module Exports) where
+
+import "base" Control.Monad.Fix as Exports
diff --git a/liquid-base/src/Control/Monad/IO/Class.hs b/liquid-base/src/Control/Monad/IO/Class.hs
@@ -0,0 +1,3 @@
+module Control.Monad.IO.Class (module Exports) where
+
+import "base" Control.Monad.IO.Class as Exports
diff --git a/liquid-base/src/Control/Monad/Instances.hs b/liquid-base/src/Control/Monad/Instances.hs
@@ -0,0 +1,3 @@
+module Control.Monad.Instances (module Exports) where
+
+import "base" Control.Monad.Instances as Exports
diff --git a/liquid-base/src/Control/Monad/ST/Lazy.hs b/liquid-base/src/Control/Monad/ST/Lazy.hs
@@ -0,0 +1,3 @@
+module Control.Monad.ST.Lazy (module Exports) where
+
+import "base" Control.Monad.ST.Lazy as Exports
diff --git a/liquid-base/src/Control/Monad/ST/Lazy/Safe.hs b/liquid-base/src/Control/Monad/ST/Lazy/Safe.hs
@@ -0,0 +1,3 @@
+module Control.Monad.ST.Lazy.Safe (module Exports) where
+
+import "base" Control.Monad.ST.Lazy.Safe as Exports
diff --git a/liquid-base/src/Control/Monad/ST/Lazy/Unsafe.hs b/liquid-base/src/Control/Monad/ST/Lazy/Unsafe.hs
@@ -0,0 +1,3 @@
+module Control.Monad.ST.Lazy.Unsafe (module Exports) where
+
+import "base" Control.Monad.ST.Lazy.Unsafe as Exports
diff --git a/liquid-base/src/Control/Monad/ST/Safe.hs b/liquid-base/src/Control/Monad/ST/Safe.hs
@@ -0,0 +1,3 @@
+module Control.Monad.ST.Safe (module Exports) where
+
+import "base" Control.Monad.ST.Safe as Exports
diff --git a/liquid-base/src/Control/Monad/ST/Strict.hs b/liquid-base/src/Control/Monad/ST/Strict.hs
@@ -0,0 +1,3 @@
+module Control.Monad.ST.Strict (module Exports) where
+
+import "base" Control.Monad.ST.Strict as Exports
diff --git a/liquid-base/src/Control/Monad/Zip.hs b/liquid-base/src/Control/Monad/Zip.hs
@@ -0,0 +1,3 @@
+module Control.Monad.Zip (module Exports) where
+
+import "base" Control.Monad.Zip as Exports
diff --git a/liquid-base/src/Data/Bifoldable.hs b/liquid-base/src/Data/Bifoldable.hs
@@ -0,0 +1,3 @@
+module Data.Bifoldable (module Exports) where
+
+import "base" Data.Bifoldable as Exports
diff --git a/liquid-base/src/Data/Bitraversable.hs b/liquid-base/src/Data/Bitraversable.hs
@@ -0,0 +1,3 @@
+module Data.Bitraversable (module Exports) where
+
+import "base" Data.Bitraversable as Exports
diff --git a/liquid-base/src/Data/Bool.hs b/liquid-base/src/Data/Bool.hs
@@ -0,0 +1,3 @@
+module Data.Bool (module Exports) where
+
+import "base" Data.Bool as Exports
diff --git a/liquid-base/src/Data/Coerce.hs b/liquid-base/src/Data/Coerce.hs
@@ -0,0 +1,3 @@
+module Data.Coerce (module Exports) where
+
+import "base" Data.Coerce as Exports
diff --git a/liquid-base/src/Data/Complex.hs b/liquid-base/src/Data/Complex.hs
@@ -0,0 +1,3 @@
+module Data.Complex (module Exports) where
+
+import "base" Data.Complex as Exports
diff --git a/liquid-base/src/Data/Dynamic.hs b/liquid-base/src/Data/Dynamic.hs
@@ -0,0 +1,3 @@
+module Data.Dynamic (module Exports) where
+
+import "base" Data.Dynamic as Exports
diff --git a/liquid-base/src/Data/Eq.hs b/liquid-base/src/Data/Eq.hs
@@ -0,0 +1,3 @@
+module Data.Eq (module Exports) where
+
+import "base" Data.Eq as Exports
diff --git a/liquid-base/src/Data/Fixed.hs b/liquid-base/src/Data/Fixed.hs
@@ -0,0 +1,3 @@
+module Data.Fixed (module Exports) where
+
+import "base" Data.Fixed as Exports
diff --git a/liquid-base/src/Data/Functor/Classes.hs b/liquid-base/src/Data/Functor/Classes.hs
@@ -0,0 +1,3 @@
+module Data.Functor.Classes (module Exports) where
+
+import "base" Data.Functor.Classes as Exports
diff --git a/liquid-base/src/Data/Functor/Const.hs b/liquid-base/src/Data/Functor/Const.hs
@@ -0,0 +1,3 @@
+module Data.Functor.Const (module Exports) where
+
+import "base" Data.Functor.Const as Exports
diff --git a/liquid-base/src/Data/Functor/Contravariant.hs b/liquid-base/src/Data/Functor/Contravariant.hs
@@ -0,0 +1,3 @@
+module Data.Functor.Contravariant (module Exports) where
+
+import "base" Data.Functor.Contravariant as Exports
diff --git a/liquid-base/src/Data/Functor/Identity.hs b/liquid-base/src/Data/Functor/Identity.hs
@@ -0,0 +1,3 @@
+module Data.Functor.Identity (module Exports) where
+
+import "base" Data.Functor.Identity as Exports
diff --git a/liquid-base/src/Data/Functor/Product.hs b/liquid-base/src/Data/Functor/Product.hs
@@ -0,0 +1,3 @@
+module Data.Functor.Product (module Exports) where
+
+import "base" Data.Functor.Product as Exports
diff --git a/liquid-base/src/Data/Functor/Sum.hs b/liquid-base/src/Data/Functor/Sum.hs
@@ -0,0 +1,3 @@
+module Data.Functor.Sum (module Exports) where
+
+import "base" Data.Functor.Sum as Exports
diff --git a/liquid-base/src/Data/Ix.hs b/liquid-base/src/Data/Ix.hs
@@ -0,0 +1,3 @@
+module Data.Ix (module Exports) where
+
+import "base" Data.Ix as Exports
diff --git a/liquid-base/src/Data/Kind.hs b/liquid-base/src/Data/Kind.hs
@@ -0,0 +1,3 @@
+module Data.Kind (module Exports) where
+
+import "base" Data.Kind as Exports
diff --git a/liquid-base/src/Data/STRef.hs b/liquid-base/src/Data/STRef.hs
@@ -0,0 +1,3 @@
+module Data.STRef (module Exports) where
+
+import "base" Data.STRef as Exports
diff --git a/liquid-base/src/Data/STRef/Lazy.hs b/liquid-base/src/Data/STRef/Lazy.hs
@@ -0,0 +1,3 @@
+module Data.STRef.Lazy (module Exports) where
+
+import "base" Data.STRef.Lazy as Exports
diff --git a/liquid-base/src/Data/STRef/Strict.hs b/liquid-base/src/Data/STRef/Strict.hs
@@ -0,0 +1,3 @@
+module Data.STRef.Strict (module Exports) where
+
+import "base" Data.STRef.Strict as Exports
diff --git a/liquid-base/src/Data/Semigroup.hs b/liquid-base/src/Data/Semigroup.hs
@@ -0,0 +1,3 @@
+module Data.Semigroup (module Exports) where
+
+import "base" Data.Semigroup as Exports
diff --git a/liquid-base/src/Data/Type/Bool.hs b/liquid-base/src/Data/Type/Bool.hs
@@ -0,0 +1,3 @@
+module Data.Type.Bool (module Exports) where
+
+import "base" Data.Type.Bool as Exports
diff --git a/liquid-base/src/Data/Type/Coercion.hs b/liquid-base/src/Data/Type/Coercion.hs
@@ -0,0 +1,3 @@
+module Data.Type.Coercion (module Exports) where
+
+import "base" Data.Type.Coercion as Exports
diff --git a/liquid-base/src/Data/Type/Equality.hs b/liquid-base/src/Data/Type/Equality.hs
@@ -0,0 +1,3 @@
+module Data.Type.Equality (module Exports) where
+
+import "base" Data.Type.Equality as Exports
diff --git a/liquid-base/src/Data/Unique.hs b/liquid-base/src/Data/Unique.hs
@@ -0,0 +1,3 @@
+module Data.Unique (module Exports) where
+
+import "base" Data.Unique as Exports
diff --git a/liquid-base/src/Foreign/C.hs b/liquid-base/src/Foreign/C.hs
@@ -0,0 +1,3 @@
+module Foreign.C (module Exports) where
+
+import "base" Foreign.C as Exports
diff --git a/liquid-base/src/Foreign/C/Error.hs b/liquid-base/src/Foreign/C/Error.hs
@@ -0,0 +1,3 @@
+module Foreign.C.Error (module Exports) where
+
+import "base" Foreign.C.Error as Exports
diff --git a/liquid-base/src/Foreign/ForeignPtr/Safe.hs b/liquid-base/src/Foreign/ForeignPtr/Safe.hs
@@ -0,0 +1,3 @@
+module Foreign.ForeignPtr.Safe (module Exports) where
+
+import "base" Foreign.ForeignPtr.Safe as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Arrow (module Exports) where

		import "base" Control.Arrow as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Concurrent (module Exports) where

		import "base" Control.Concurrent as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Concurrent.Chan (module Exports) where

		import "base" Control.Concurrent.Chan as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Concurrent.MVar (module Exports) where

		import "base" Control.Concurrent.MVar as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Concurrent.QSem (module Exports) where

		import "base" Control.Concurrent.QSem as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Concurrent.QSemN (module Exports) where

		import "base" Control.Concurrent.QSemN as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Monad.Fail (module Exports) where

		import "base" Control.Monad.Fail as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Monad.Fix (module Exports) where

		import "base" Control.Monad.Fix as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Monad.IO.Class (module Exports) where

		import "base" Control.Monad.IO.Class as Exports
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module Control.Monad.Instances (module Exports) where

		import "base" Control.Monad.Instances as Exports