==================== FINAL INTERFACE ==================== 2019-09-22 14:52:50.53463 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.Worklist 8065 interface hash: af1ecc9e1f2eaa9a4d05a0761a36e304 ABI hash: e28dd4b5b20a7a33161a8e1cdb3b4d30 export-list hash: 29206d4241fcc1bcf27c639e7c3aa7f0 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: ee11019f07b6779bd737450ac5e1f444 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.Worklist.init Language.Fixpoint.Solver.Worklist.pop Language.Fixpoint.Solver.Worklist.push Language.Fixpoint.Solver.Worklist.unsatCandidates Language.Fixpoint.Solver.Worklist.Stats Language.Fixpoint.Solver.Worklist.Worklist{wRanks} module dependencies: Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types Language.Fixpoint.Misc Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.SortCheck Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 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 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 double-conversion-2.0.2.0 fgl-5.7.0.1 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 mtl-2.2.2 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 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: transformers-0.5.6.2:Control.Monad.Trans.Error liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances 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: 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 fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ 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.Arrow cda881e865dd3141fb08ed18f2efcca7 import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ containers-0.6.0.1:Data.Set afd5ab7eac5658da18a4fffc2d1b683c import -/ containers-0.6.0.1:Data.Set.Internal a9b0d2c3208f9a74ef7f480a7813af2a import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ Language.Fixpoint.Graph 59334fea55dc8d64130719f78eeb5109 exports: 70a8f3bb9be3a7f9430fb829908b4dcf import -/ Language.Fixpoint.Graph.Deps f58fb5bc911772ff16e90c021342fd77 isTarget d1daed292929204f16030b2bb40ffd2e import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3 exports: 68162b3a5b2b3dfa40ecf54da514ced3 Rank cf29aa20410874c45eb55b88a9039fa1 SolverInfo 9a73d9e092f73b37b6476ae70547e961 cNumScc fb08c7abe463f57655419905998c9e3c cRank fb08c7abe463f57655419905998c9e3c cSucc fb08c7abe463f57655419905998c9e3c lookupCMap 39b9410ac905fdea8ba0cbc0cd18b14b rIcc cf29aa20410874c45eb55b88a9039fa1 rScc cf29aa20410874c45eb55b88a9039fa1 rTag cf29aa20410874c45eb55b88a9039fa1 siDeps 9a73d9e092f73b37b6476ae70547e961 siQuery 9a73d9e092f73b37b6476ae70547e961 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 SimpC 03dcffeea2a5199db7c9ff0154825bc0 SubcId 311c8f398e2d0f5e23e664bacb45f905 cm 90ef96c47f269969affd7c3639af34f3 subcId c5ad3aad4a42726885659f4c083c4240 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 DocTable b770cb7429f7fb2e003768f2afd382a6 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a PTable e8b4bbc42515b2faadf940cf2792c24b pprint 955dc9d031db587300edf6146ac33be4 pprintTidy bf75bee99d55ab15929b450195e64f3c ptable 010a61d3c3108da1c22e8c22f9cd7753 import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 CMap f6eaa2c8b036cb0052c0242863f4089d import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b eafd12f6a82a49d0e815d0d08d6f2846 $fEqStats :: GHC.Classes.Eq Language.Fixpoint.Solver.Worklist.Stats DFunId 120dd929546be0490b98a10790c4e73b $fEqWorkItem :: GHC.Classes.Eq Language.Fixpoint.Solver.Worklist.WorkItem DFunId 120dd929546be0490b98a10790c4e73b $fOrdWorkItem :: GHC.Classes.Ord Language.Fixpoint.Solver.Worklist.WorkItem DFunId 120dd929546be0490b98a10790c4e73b $fPPrintWorkItem :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Solver.Worklist.WorkItem DFunId 95f21c5d766c737c485bb6f3e48a1c3d $fPPrintWorklist :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Solver.Worklist.Worklist a) DFunId eafd12f6a82a49d0e815d0d08d6f2846 $fPTableStats :: Language.Fixpoint.Types.PrettyPrint.PTable Language.Fixpoint.Solver.Worklist.Stats DFunId 95f21c5d766c737c485bb6f3e48a1c3d $fPTableWorklist :: Language.Fixpoint.Types.PrettyPrint.PTable (Language.Fixpoint.Solver.Worklist.Worklist a) DFunId eafd12f6a82a49d0e815d0d08d6f2846 $fShowStats :: GHC.Show.Show Language.Fixpoint.Solver.Worklist.Stats DFunId 120dd929546be0490b98a10790c4e73b $fShowWorkItem :: GHC.Show.Show Language.Fixpoint.Solver.Worklist.WorkItem DFunId 6f3d6520c6fab3510a9697d50af79ad0 $tc'Stats :: GHC.Types.TyCon fb18f0bcbf7b878f7abf12471566e449 $tc'WL :: GHC.Types.TyCon 4742667d974558932ba0ec2cc783ff1b $tc'WorkItem :: GHC.Types.TyCon 84e0263bc16e35017f63ccba5980dfed $tcStats :: GHC.Types.TyCon ac22f8874d19192c045a8e6e387029af $tcWorkItem :: GHC.Types.TyCon a887b0483375a71f9d29325d91886b2d $tcWorklist :: GHC.Types.TyCon 6591fc7f253600814c727980676e465a $trModule :: GHC.Types.Module eafd12f6a82a49d0e815d0d08d6f2846 data Stats = Stats {numKvarCs :: !GHC.Types.Int, numConcCs :: !GHC.Types.Int, _numSccs :: !GHC.Types.Int} 120dd929546be0490b98a10790c4e73b data WorkItem = WorkItem {wiCId :: !Language.Fixpoint.Types.Constraints.SubcId, wiTime :: !GHC.Types.Int, wiRank :: !Language.Fixpoint.Graph.Types.Rank} a2ba368bb60779299bf00ba38976084e type WorkSet = Data.Set.Internal.Set Language.Fixpoint.Solver.Worklist.WorkItem 95f21c5d766c737c485bb6f3e48a1c3d data Worklist a = WL {wCs :: !Language.Fixpoint.Solver.Worklist.WorkSet, wPend :: !(Language.Fixpoint.Types.Solutions.CMap ()), wDeps :: !(Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId]), wCm :: !(Language.Fixpoint.Types.Solutions.CMap (Language.Fixpoint.Types.Constraints.SimpC a)), wRankm :: !(Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank), wLast :: !(GHC.Maybe.Maybe Language.Fixpoint.Types.Constraints.SubcId), wRanks :: !GHC.Types.Int, wTime :: !GHC.Types.Int, wConcCs :: ![Language.Fixpoint.Types.Constraints.SubcId]} eafd12f6a82a49d0e815d0d08d6f2846 _numSccs :: Language.Fixpoint.Solver.Worklist.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Stats faa91aaceb28c4242232265d12e7150f init :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Solver.Worklist.Worklist a eafd12f6a82a49d0e815d0d08d6f2846 numConcCs :: Language.Fixpoint.Solver.Worklist.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Stats eafd12f6a82a49d0e815d0d08d6f2846 numKvarCs :: Language.Fixpoint.Solver.Worklist.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Stats dcd880f19f401746c1ee843009aab860 pop :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Maybe.Maybe (Language.Fixpoint.Types.Constraints.SimpC a, Language.Fixpoint.Solver.Worklist.Worklist a, GHC.Types.Bool, GHC.Types.Int) d93c84adaa766c9caa7ede6fb1b92b2a push :: Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Solver.Worklist.Worklist a 7426dedc917e6734148dc879c501a0af unsatCandidates :: Language.Fixpoint.Solver.Worklist.Worklist a -> [Language.Fixpoint.Types.Constraints.SimpC a] 95f21c5d766c737c485bb6f3e48a1c3d wCm :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap (Language.Fixpoint.Types.Constraints.SimpC a) RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wConcCs :: Language.Fixpoint.Solver.Worklist.Worklist a -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wCs :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Solver.Worklist.WorkSet RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wDeps :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wLast :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Maybe.Maybe Language.Fixpoint.Types.Constraints.SubcId RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wPend :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap () RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wRankm :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wRanks :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 95f21c5d766c737c485bb6f3e48a1c3d wTime :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 120dd929546be0490b98a10790c4e73b wiCId :: Language.Fixpoint.Solver.Worklist.WorkItem -> Language.Fixpoint.Types.Constraints.SubcId RecSel Left Language.Fixpoint.Solver.Worklist.WorkItem 120dd929546be0490b98a10790c4e73b wiRank :: Language.Fixpoint.Solver.Worklist.WorkItem -> Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Solver.Worklist.WorkItem 120dd929546be0490b98a10790c4e73b wiTime :: Language.Fixpoint.Solver.Worklist.WorkItem -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.WorkItem instance GHC.Classes.Eq [Language.Fixpoint.Solver.Worklist.Stats] = Language.Fixpoint.Solver.Worklist.$fEqStats instance GHC.Classes.Eq [Language.Fixpoint.Solver.Worklist.WorkItem] = Language.Fixpoint.Solver.Worklist.$fEqWorkItem instance GHC.Classes.Ord [Language.Fixpoint.Solver.Worklist.WorkItem] = Language.Fixpoint.Solver.Worklist.$fOrdWorkItem instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Solver.Worklist.WorkItem] = Language.Fixpoint.Solver.Worklist.$fPPrintWorkItem instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Solver.Worklist.Worklist] = Language.Fixpoint.Solver.Worklist.$fPPrintWorklist instance Language.Fixpoint.Types.PrettyPrint.PTable [Language.Fixpoint.Solver.Worklist.Stats] = Language.Fixpoint.Solver.Worklist.$fPTableStats instance Language.Fixpoint.Types.PrettyPrint.PTable [Language.Fixpoint.Solver.Worklist.Worklist] = Language.Fixpoint.Solver.Worklist.$fPTableWorklist instance GHC.Show.Show [Language.Fixpoint.Solver.Worklist.Stats] = Language.Fixpoint.Solver.Worklist.$fShowStats instance GHC.Show.Show [Language.Fixpoint.Solver.Worklist.WorkItem] = Language.Fixpoint.Solver.Worklist.$fShowWorkItem trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: