liquid-fixpoint-0.8.0.2: .stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/fixpoint/fixpoint-tmp/bin/Fixpoint.dump-hi
==================== FINAL INTERFACE ====================
2019-09-22 14:52:57.38484 UTC
interface main:Main 8065
interface hash: d2ae6b8647b0bfeb39ef67e199ce8a45
ABI hash: 03b8f6af2f3b9bb38da6606ab30658d2
export-list hash: 69a61aaf2eaaaf729d0664e40a25a256
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: 1792f8766840fa4ddb73de210d6fe3ae
opt_hash: d0a78e7b344f95c7406be35c9b75e196
hpc_hash: 93b885adfe0da089cdf634904fd59f71
plugin_hash: ad164012d6b1e14942349d58b1132007
sig of: Nothing
used TH splices: False
where
exports:
Main.main
module dependencies:
package dependencies: ansi-terminal-0.8.2 array-0.5.3.0
ascii-progress-0.3.3.0 async-2.2.1 attoparsec-0.13.2.2
base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2
cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5
concurrent-output-1.10.9 containers-0.6.0.1 data-default-0.7.1.1
data-default-class-0.1.2.0 data-default-instances-containers-0.0.1
data-default-instances-dlist-0.0.1
data-default-instances-old-locale-0.0.1 deepseq-1.4.4.0
directory-1.3.3.0 dlist-0.8.0.6 double-conversion-2.0.2.0
exceptions-0.10.2 fgl-5.7.0.1 filepath-1.4.2.1 ghc-boot-th-8.6.5
ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0
integer-logarithms-1.0.3 intern-0.9.2 liquid-fixpoint-0.8.0.2
mtl-2.2.2 old-locale-1.0.0.7 parallel-3.2.2.0 parsec-3.1.13.0
pretty-1.1.3.6 primitive-0.6.4.0 process-1.6.5.0 scientific-0.3.6.2
split-0.2.3.3 stm-2.5.0.0 syb-0.7 template-haskell-2.14.0.0
terminal-size-0.3.2.1 text-1.2.3.1 text-format-0.3.2 time-1.8.0.2
transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0
orphans: liquid-fixpoint-0.8.0.2:Language.Fixpoint.Solver.Instantiate
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Smt.Serialize
attoparsec-0.13.2.2:Data.Attoparsec.Text.Internal
data-default-instances-containers-0.0.1:Data.Default.Instances.Containers
data-default-instances-dlist-0.0.1:Data.Default.Instances.DList
data-default-instances-old-locale-0.0.1:Data.Default.Instances.OldLocale
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Smt.Theories
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Horn.Transformations
transformers-0.5.6.2:Control.Monad.Trans.Error
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Constraints
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Errors
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Environments
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Substitutions
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Refinements
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Names
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Spans
syb-0.7:Data.Generics.Instances
cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help
colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse
time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime
time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime
time-1.8.0.2:Data.Time.Calendar.Gregorian
stm-2.5.0.0:Control.Monad.STM
hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy
text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic
bytestring-0.10.8.2:Data.ByteString.Builder
text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float
base-4.12.0.0:GHC.Base
family instance modules: attoparsec-0.13.2.2:Data.Attoparsec.Internal.Types
base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex
base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const
base-4.12.0.0:Data.Functor.Identity
base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum
base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup
base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version
base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts
base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception
containers-0.6.0.1:Data.Graph
containers-0.6.0.1:Data.IntMap.Internal
containers-0.6.0.1:Data.IntSet.Internal
containers-0.6.0.1:Data.Map.Internal
containers-0.6.0.1:Data.Sequence.Internal
containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree
dlist-0.8.0.6:Data.DList
fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree
ghc-boot-th-8.6.5:GHC.ForeignSrcLang.Type
ghc-boot-th-8.6.5:GHC.LanguageExtensions.Type
intern-0.9.2:Data.Interned.Internal.Text
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Graph.Types
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Horn.Solve
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Horn.Types
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Parse
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Smt.Bitvector
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Solver.Monad
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Solver.UniqifyBinds
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Config
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Constraints
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Environments
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Errors
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Names
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Refinements
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Solutions
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Sorts
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Spans
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Theories
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Triggers
liquid-fixpoint-0.8.0.2:Language.Fixpoint.Utils.Statistics
pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ
pretty-1.1.3.6:Text.PrettyPrint.HughesPJ
primitive-0.6.4.0:Control.Monad.Primitive
primitive-0.6.4.0:Data.Primitive.Array
template-haskell-2.14.0.0:Language.Haskell.TH.Syntax
terminal-size-0.3.2.1:System.Console.Terminal.Common
text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy
unordered-containers-0.2.9.0:Data.HashMap.Base
unordered-containers-0.2.9.0:Data.HashSet
import -/ base-4.12.0.0:Control.Exception 041da5b6267cf6b639ff5716d5b299a9
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:GHC.Show 838a5d039379d82d9626aae53dfce276
import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import -/ base-4.12.0.0:System.Exit 3c945ec7c596067c067092c41083c3d0
import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Horn.Solve 0da38fbdbea11f6217ab6a5bf314fad9
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Solver 039893cf368a87c0167e7e5ab0a6c92e
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.Errors 31e8527559b26e3ce8fcf2acaba869c3
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
import -/ liquid-fixpoint-0.8.0.2:Language.Fixpoint.Utils.Files b2b779ebebf03f66af4a684b17d25d25
1ca40dc83a9c879effdb760462cc9a2d
$trModule :: GHC.Types.Module
8a003a8627e6dbfb4e082e8733b2589f
main :: GHC.Types.IO ()
trusted: none
require own pkg trusted: False
module header:
Nothing
declaration docs:
arg docs: