==================== FINAL INTERFACE ====================
2019-09-22 14:52:21.090711 UTC

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Paths_liquid_fixpoint 8065
  interface hash: cc3c58b760d29a4cc4a7ccb83cbae560
  ABI hash: 0bca1085725fe7d9abd1434f83644343
  export-list hash: 8a92e412b29cd5629ca65890acd7ea26
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 4af7dc2cc9bca087063b063bff54bf8a
  opt_hash: d0a78e7b344f95c7406be35c9b75e196
  hpc_hash: 93b885adfe0da089cdf634904fd59f71
  plugin_hash: ad164012d6b1e14942349d58b1132007
  sig of: Nothing
  used TH splices: False
  where
exports:
  Paths_liquid_fixpoint.getBinDir
  Paths_liquid_fixpoint.getDataDir
  Paths_liquid_fixpoint.getDataFileName
  Paths_liquid_fixpoint.getDynLibDir
  Paths_liquid_fixpoint.getLibDir
  Paths_liquid_fixpoint.getLibexecDir
  Paths_liquid_fixpoint.getSysconfDir
  Paths_liquid_fixpoint.version
module dependencies:
package dependencies: base-4.12.0.0* ghc-prim-0.5.3
                      integer-gmp-1.0.2.0
orphans: base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base
family instance modules: base-4.12.0.0:Control.Applicative
                         base-4.12.0.0:Data.Functor.Const
                         base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Monoid
                         base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version
                         base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception
import  -/  base-4.12.0.0:Control.Exception 041da5b6267cf6b639ff5716d5b299a9
import  -/  base-4.12.0.0:Data.Version b91365c9d28e06272e2a2db7656d57ee
import  -/  base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import  -/  base-4.12.0.0:GHC.IO 898d4ddbf00eb4732e5f462760aa42ae
import  -/  base-4.12.0.0:GHC.IO.Exception 77722984940ee6ccf9e2f7dab10b83a4
import  -/  base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  base-4.12.0.0:System.Environment c54e0d0308e729fdace6bc37aa74bb52
import  -/  ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b
addDependentFile "/Users/niki/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/include/ghcversion.h" 43db44f9bb88490c2fa995e5f5ec33f2
addDependentFile ".stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/cabal_macros.h" 5d4a89af56b14b9a96821af0abd9deca
8c9810d73869d81da9ec2f3e3d269657
  $trModule :: GHC.Types.Module
3ecf11715f225be088bbe4246d34279d
  getBinDir :: GHC.Types.IO GHC.IO.FilePath
d6a182b9de2741a5d64e0dd77c3b2710
  getDataDir :: GHC.Types.IO GHC.IO.FilePath
147dd184fea14ef220ede73d694ec6a5
  getDataFileName :: GHC.IO.FilePath -> GHC.Types.IO GHC.IO.FilePath
4a6c346393ed21278cfb3a566ad92790
  getDynLibDir :: GHC.Types.IO GHC.IO.FilePath
eb203ca1aa98bc51f5ae5b199a27ff11
  getLibDir :: GHC.Types.IO GHC.IO.FilePath
8eb283ac97d6d8cc13e650d40111e7f2
  getLibexecDir :: GHC.Types.IO GHC.IO.FilePath
84e299faff41afb1a4e764ad3df9698d
  getSysconfDir :: GHC.Types.IO GHC.IO.FilePath
8ef06f6985b0e7be12afa1b24d63ed2a
  version :: Data.Version.Version
trusted: safe
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: