==================== 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: