==================== FINAL INTERFACE ==================== 2017-05-08 17:11:22.660889 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.Worklist 8002 interface hash: 172db603d4df23dd72fe2b1ce83cdd6f ABI hash: 1d41308fd4c056c9abd8f8537278ff2d export-list hash: 0ed35b2d9c8d140bac9e3ac5edd94f4c orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 49c8711d7d81afe29b5e31a9aeeb72c2 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.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files 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 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK 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 containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 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 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 orphans: 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 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi: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 family instance modules: 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 fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Types liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers 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 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 import -/ base-4.9.1.0:Control.Arrow 70754b538e7d75521cd68162917b6946 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Set 3ed2324fd1e757464a8ac2b636a64e5a import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base 1a2f735add6da1c0a9571441c327c084 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ Language.Fixpoint.Graph b82de3fe19e489728a006f34ca233f46 exports: f29a81bba44f58369c2c25b733ebd06a import -/ Language.Fixpoint.Graph.Deps eeddef0c8a8bfd0d61769d397e7bdea8 isTarget fa8c703b22762bc9fd8ef1c3f9318459 import -/ Language.Fixpoint.Graph.Types 2a676317037aae8a8a1993700b262a98 exports: d494341c9f25170e37ef070e296d03ad Rank 26496422ee574ef263cabd9154cda099 SolverInfo c362b065c92c3113c1528892cd351cac cNumScc c5881a4eacb010b021dce1070cfecdb4 cRank d181f189312d621f71298852433ae6e4 cSucc 0462374c6b2e1a5d14790a86590c6335 lookupCMap 845a8cb4fb5945a16966f35a7a2a1c22 rIcc fb582086dc2c1a1bc7fd6855859680f5 rScc 43d00d9fc7121b5aabeecc4a851b097e rTag ac1e195f51c859748e6a69defecfbe62 siDeps c49f9064c2c90185c51aac7cf6a93e67 siQuery 72baca26aaf0b3a37bbcd7d3d0a4130d import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba SimpC ab7e97d469950e731d9d2580ab8541ef SubcId 026af1096155a8461a8bb708fa9cb06e cm bd6d51f78a487f86f74c55f8b64d03e8 subcId ea145a0e301f27fd6acf8e67ef9cbb35 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 DocTable b9da6d0e05fb438739378d1367de2118 PPrint 78b520d4c3718d2e8c30eba678b273b4 PTable 96acc7d93bf439f3db52aa4c809365f0 pprint ddfd75447423a2dd5342795b308506e9 pprintTidy 80cf56bafb9576f5b408b84cf399259a ptable 64706cbe5fd6064955781d6dcea225e6 import -/ Language.Fixpoint.Types.Solutions 01540e295b430bf658940ab1fd78ff64 CMap 4ba072cfaa176189a6c47d66be05d6b4 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 5e95a345189aaa55093a3830e1123a30 $fEqStats :: GHC.Classes.Eq Language.Fixpoint.Solver.Worklist.Stats DFunId 2d3000a490072acdcfabbd30d9679b05 $fEqWorkItem :: GHC.Classes.Eq Language.Fixpoint.Solver.Worklist.WorkItem DFunId 2d3000a490072acdcfabbd30d9679b05 $fOrdWorkItem :: GHC.Classes.Ord Language.Fixpoint.Solver.Worklist.WorkItem DFunId 2d3000a490072acdcfabbd30d9679b05 $fPPrintWorkItem :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Solver.Worklist.WorkItem DFunId 6d082677ca216498da58d93d963fc5e0 $fPPrintWorklist :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Solver.Worklist.Worklist a) DFunId 5e95a345189aaa55093a3830e1123a30 $fPTableStats :: Language.Fixpoint.Types.PrettyPrint.PTable Language.Fixpoint.Solver.Worklist.Stats DFunId 6d082677ca216498da58d93d963fc5e0 $fPTableWorklist :: Language.Fixpoint.Types.PrettyPrint.PTable (Language.Fixpoint.Solver.Worklist.Worklist a) DFunId 5e95a345189aaa55093a3830e1123a30 $fShowStats :: GHC.Show.Show Language.Fixpoint.Solver.Worklist.Stats DFunId 2d3000a490072acdcfabbd30d9679b05 $fShowWorkItem :: GHC.Show.Show Language.Fixpoint.Solver.Worklist.WorkItem DFunId 072cf84ce38f2e4b31555acb96dd9a23 $tc'Stats :: GHC.Types.TyCon f42326a1103dc7511d8c745fbcc73f6b $tc'WL :: GHC.Types.TyCon fbf4fdd2de613f8f7d40909b215b9f06 $tc'WorkItem :: GHC.Types.TyCon be6faa6ce14e72d75988afc983e528b3 $tcStats :: GHC.Types.TyCon 6a85315ed3d0e5e9ea70bd840ec37d75 $tcWorkItem :: GHC.Types.TyCon 05bc3ba7f2547a9d1eddb833ed61b726 $tcWorklist :: GHC.Types.TyCon be08266f32dca4455e7b0cc05e011a9d $trModule :: GHC.Types.Module 5e95a345189aaa55093a3830e1123a30 data Stats = Stats {numKvarCs :: !GHC.Types.Int, numConcCs :: !GHC.Types.Int, _numSccs :: !GHC.Types.Int} 2d3000a490072acdcfabbd30d9679b05 data WorkItem = WorkItem {wiCId :: !Language.Fixpoint.Types.Constraints.SubcId, wiTime :: !GHC.Types.Int, wiRank :: !Language.Fixpoint.Graph.Types.Rank} 1bac9bdbb49f94029a7af913b051c002 type WorkSet = Data.Set.Base.Set Language.Fixpoint.Solver.Worklist.WorkItem 6d082677ca216498da58d93d963fc5e0 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.Base.Maybe Language.Fixpoint.Types.Constraints.SubcId, wRanks :: !GHC.Types.Int, wTime :: !GHC.Types.Int, wConcCs :: ![Language.Fixpoint.Types.Constraints.SubcId]} 096c8774bf2af0d7982848dc3599bcdf _numSccs :: Language.Fixpoint.Solver.Worklist.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Stats 4f9739f7aafb04caa4fabce4c8a92a52 init :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Solver.Worklist.Worklist a 6f8462c3f846159424f904786b4dee7a numConcCs :: Language.Fixpoint.Solver.Worklist.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Stats 06e97de1f738c36a7a9d137ffca77295 numKvarCs :: Language.Fixpoint.Solver.Worklist.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Stats 940fe6deeac9516d0a7323af5036e8a8 pop :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Base.Maybe (Language.Fixpoint.Types.Constraints.SimpC a, Language.Fixpoint.Solver.Worklist.Worklist a, GHC.Types.Bool, GHC.Types.Int) 168f88ebf701dc8957a3f5003efe07ff push :: Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Solver.Worklist.Worklist a fb6eaed2dcde7f9dde000bbcdbbb4ec0 unsatCandidates :: Language.Fixpoint.Solver.Worklist.Worklist a -> [Language.Fixpoint.Types.Constraints.SimpC a] bdf8f7f60c39eea947dceb160b95cc9e 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 7a350a9e28b5182f2dc0497ecb319e12 wConcCs :: Language.Fixpoint.Solver.Worklist.Worklist a -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 9027eeccbd8220fe6c14ea3cba118de9 wCs :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Solver.Worklist.WorkSet RecSel Left Language.Fixpoint.Solver.Worklist.Worklist c9b6cce7c6989d06716257a6a17947fe wDeps :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Solver.Worklist.Worklist c499099b870a612e9fcf49a3486b019e wLast :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Base.Maybe Language.Fixpoint.Types.Constraints.SubcId RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 7758cd30f945c5995610cd12d46c2a7d wPend :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap () RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 1ad4d1766a465beb15bb5fd378cb7914 wRankm :: Language.Fixpoint.Solver.Worklist.Worklist a -> Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Solver.Worklist.Worklist c8d3e6bb0730e09b250341483e162c72 wRanks :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 90816ab31c0190791a82f9afb42555ad wTime :: Language.Fixpoint.Solver.Worklist.Worklist a -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Worklist.Worklist 7da8a48f9c7e1c444cbe1dcee46842b5 wiCId :: Language.Fixpoint.Solver.Worklist.WorkItem -> Language.Fixpoint.Types.Constraints.SubcId RecSel Left Language.Fixpoint.Solver.Worklist.WorkItem 022063dd764629ab4725a2cef7d1a4ba wiRank :: Language.Fixpoint.Solver.Worklist.WorkItem -> Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Solver.Worklist.WorkItem 1bbf3d1f2885a70fa10a89055efdac1d 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 vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False