==================== FINAL INTERFACE ==================== 2017-05-02 18:37:32.758206 UTC interface main@main:Main 8002 interface hash: 9d2d7de387ed04afed615a167e1f60e7 ABI hash: a018e8eb4472235ef1a4b5ee0656f0c2 export-list hash: 7abb5b2ee466f17997d3e346df534236 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 62123b5673289d20d3136827f10b285a sig of: Nothing used TH splices: False where exports: Main.main module dependencies: package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 ascii-progress-0.3.3.0@ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK attoparsec-0.13.1.0@attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4 base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I concurrent-output-1.7.9@concurrent-output-1.7.9-3kS8cAeEcLcYjDfj5flxQ containers-0.5.7.1@containers-0.5.7.1 data-default-0.7.1.1@data-default-0.7.1.1-7EGYJX2YWqWJRbPFUHNoCr data-default-class-0.1.2.0@data-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD data-default-instances-containers-0.0.1@data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK data-default-instances-dlist-0.0.1@data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl data-default-instances-old-locale-0.0.1@data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 dlist-0.8.0.2@dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr exceptions-0.8.3@exceptions-0.8.3-ADEDRATtUrMK1JW4zMQ9U fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz filepath-1.4.1.1@filepath-1.4.1.1 ghc-boot-th-8.0.2@ghc-boot-th-8.0.2 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 integer-logarithms-1.0.1@integer-logarithms-1.0.1-IEHCuEd5sG4JjSjlx7m5JF intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 old-locale-1.0.0.7@old-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j parallel-3.2.1.1@parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 primitive-0.6.1.0@primitive-0.6.1.0-6AbSTw9JXz141LE5p6LGH process-1.4.3.0@process-1.4.3.0 scientific-0.3.4.11@scientific-0.3.4.11-KV39KlwSGDKD4auxhPQ5mB split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS template-haskell-2.11.1.0 terminal-size-0.3.2.1@terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4 text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o vector-0.11.0.0@vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG orphans: attoparsec-0.13.1.0@attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4:Data.Attoparsec.Text.Internal base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help data-default-instances-containers-0.0.1@data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK:Data.Default.Instances.Containers data-default-instances-dlist-0.0.1@data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl:Data.Default.Instances.DList data-default-instances-old-locale-0.0.1@data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l:Data.Default.Instances.OldLocale hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Smt.Serialize liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver.Instantiate liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error vector-0.11.0.0@vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG:Data.Vector.Fusion.Bundle family instance modules: attoparsec-0.13.1.0@attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4:Data.Attoparsec.Internal.Types base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base dlist-0.8.0.2@dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD:Data.DList fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree ghc-boot-th-8.0.2@ghc-boot-th-8.0.2:GHC.LanguageExtensions.Type intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Types liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Parse liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Smt.Bitvector liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver.Monad liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver.UniqifyBinds liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Triggers liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Utils.Statistics pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ primitive-0.6.1.0@primitive-0.6.1.0-6AbSTw9JXz141LE5p6LGH:Control.Monad.Primitive template-haskell-2.11.1.0:Language.Haskell.TH.Syntax terminal-size-0.3.2.1@terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4:System.Console.Terminal.Common text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet vector-0.11.0.0@vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG:Data.Vector import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.Exit 068ba078eb20417d7af66db8b8ab4db1 import -/ liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Misc 268edc2be2657e56d9ac2e0e5f861c66 import -/ liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver d69d6f3a7a82a74dfc0b63b28dcb8654 import -/ liquid-fixpoint-0.6.0.1@liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Config 163393aa566fa4479116d419651371d6 d6831ef04cb9301b090dfae6f7bb7ec7 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Main.$trModule2 Main.$trModule1) -} 847d9fc3b8e6f0b424199f36b4999bb2 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Main"#) -} 24ef6042833e75ffd7aa98b83ecca98d $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "main"#) -} ef910cbb66501a23239177a1af86387b main :: GHC.Types.IO b {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Main.main1 `cast` (forall (b :: <*>_N). Sym (GHC.Types.N:IO[0] _R)) -} 66c6bbdb72e3b60db019e526091e1a67 main1 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, b #) {- Arity: 1, Strictness: , Unfolding: (\ @ b (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Language.Fixpoint.Types.Config.getOpts1 s of ds1 { (#,#) ipv ipv1 -> case System.Console.CmdArgs.Verbosity.ref `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ System.Console.CmdArgs.Verbosity.Verbosity var# ipv of ds { (#,#) ipv2 ipv3 -> case ipv3 of wild1 { DEFAULT -> case Language.Fixpoint.Solver.solveFQ1 ipv1 ipv2 of ds2 { (#,#) ipv4 ipv5 -> System.Exit.exitWith1 @ b ipv5 ipv4 } System.Console.CmdArgs.Verbosity.Loud -> case GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout (GHC.CString.unpackAppendCString# "Options: "# (case ipv1 of ww2 { Language.Fixpoint.Types.Config.Config ww3 ww4 ww5 ww6 ww7 ww8 ww9 ww10 ww11 ww12 ww13 ww14 ww15 ww16 ww17 ww18 ww19 ww20 ww21 ww22 ww23 ww24 ww25 ww26 ww27 ww28 ww29 ww30 ww31 ww32 ww33 ww34 -> Language.Fixpoint.Types.Config.$w$cshowsPrec 0# ww3 ww4 ww5 ww6 ww7 ww8 ww9 ww10 ww11 ww12 ww13 ww14 ww15 ww16 ww17 ww18 ww19 ww20 ww21 ww22 ww23 ww24 ww25 ww26 ww27 ww28 ww29 ww30 ww31 ww32 ww33 ww34 (GHC.Types.[] @ GHC.Types.Char) })) GHC.Types.True ipv2 of ds2 { (#,#) ipv4 ipv5 -> case GHC.IO.Handle.Internals.wantWritableHandle1 @ () GHC.IO.Handle.hFlush2 GHC.IO.Handle.FD.stdout GHC.IO.Handle.Internals.flushWriteBuffer1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) ipv4 of ds3 { (#,#) ipv6 ipv7 -> case Language.Fixpoint.Solver.solveFQ1 ipv1 ipv6 of ds4 { (#,#) ipv8 ipv9 -> System.Exit.exitWith1 @ b ipv9 ipv8 } } } } } } }) -} 87e4542467a6dc3616912b8a9d9b7405 main2 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Any #) {- Arity: 1, Unfolding: (GHC.TopHandler.runMainIO1 @ GHC.Prim.Any (Main.main1 @ GHC.Prim.Any) `cast` (Sym (GHC.Types.N:IO[0] _R))) -} vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False