==================== FINAL INTERFACE ==================== 2017-05-08 17:11:19.6263 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Partition 8002 interface hash: a56ea3ac6c6ab0342e2b7916adab4aac ABI hash: aa3130ecfc62cced6c8207efef6e9329 export-list hash: 29468d3688c11f5bc8d424f2829ed68c orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 70381a8081ceb6fb7b2b32a9d05f5d45 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Partition.dumpPartitions Language.Fixpoint.Graph.Partition.mcInfo Language.Fixpoint.Graph.Partition.partition Language.Fixpoint.Graph.Partition.partition' Language.Fixpoint.Graph.Partition.partitionN Language.Fixpoint.Graph.Partition.CPart{Language.Fixpoint.Graph.Partition.CPart pcm pws} Language.Fixpoint.Graph.Partition.MCInfo{Language.Fixpoint.Graph.Partition.MCInfo mcCores mcMaxPartSize mcMinPartSize} module dependencies: Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed 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.Monad a6784c5dab0d75c63dabec5a37843f98 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.Maybe d876c4ffe4b3c43755a781e8ad860d88 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.Conc b311a66cb9dd2068c2414c0492c6937c import -/ base-4.9.1.0:GHC.Conc.Sync 8d0a228e5fc4d8c110495066f4d52ea1 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 -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable 7d10d34251a69a2590fb6d42e4140fe6 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Class 8a5b5f72682ff3e25541f7e85c3ab8dc import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Graph.Deps eeddef0c8a8bfd0d61769d397e7bdea8 exports: fe28eb39e40656718a7418cd2daa6f59 decompose 7fb7482120823c3ca4eb24be2e96918b import -/ Language.Fixpoint.Graph.Types 2a676317037aae8a8a1993700b262a98 exports: d494341c9f25170e37ef070e296d03ad Cstr 9f7a0602cf644cebad4f46b3e1d3ddb0 KVComps dcdfafc92b5824d29bbba8579e583e11 KVar 1738b6d2073e8379c999219ae6dba001 import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b ListNE 96545dcc18370491ee873ce561f5184d applyNonNull fc15c8a280d60ac6528268fbca57a703 errorstar 38cc16c0836e03b9af68d3c95faef762 groupMap 12cafba4287bf538b7b908909b5e6dc0 safeLookup 83a26670063b15f3c02c66aa1d8bb8da import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df exports: 26252365e1684d225d5392dd42c93881 Config a1e0868924a10a6ced01485926d4ec1f cores 9e1d1282593d99872b0e242ecd6b85a1 maxPartSize 410003e059e9f41393febd062b02471c minPartSize ccfc03d9a015aa0085db642f29411517 queryFile a3de8e7a9edce3ecfb4556e8785fc343 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba GInfo c4bf42c4a9b32550baf9a82ec918fc53 Result a4bc36bdb15e1ca1cbde55d9eb8492b9 TaggedC 88438ba686e9ba19347ed3d4d63cc789 WfC 17c7f6e4d74d3b539dca7c3556bc9f4f cm bd6d51f78a487f86f74c55f8b64d03e8 toFixpoint a1885d64af107e509cce298c0cce54a5 ws fef3eea7365ecfd2111de5aae1af543e import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 KVar 68dcac5ad144e4854dc35cff62d456d0 import -/ Language.Fixpoint.Utils.Files be394d70e321a20df414eb3c7ce0cdfa exports: ebb433e6c2d1f5ff63bc5cc6b8ec3d71 Part b1166535e41ed5d03270a82dd3b40581 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 0c3629aa0bbe4b4edf5bbd669d156dc5 $fMonoidCPart :: GHC.Base.Monoid (Language.Fixpoint.Graph.Partition.CPart c a) DFunId f09bb0acbf045dbd14c2dcd56fe2d4b2 $fShowMCInfo :: GHC.Show.Show Language.Fixpoint.Graph.Partition.MCInfo DFunId dc70ab5715008575a2b98bfcf37463b9 $tc'CPart :: GHC.Types.TyCon cfa3ff8918dc9d532c04b780bfff973d $tc'MCInfo :: GHC.Types.TyCon 7f85500e0e8de0feb67f07d4834f7de6 $tcCPart :: GHC.Types.TyCon 908b36a450b087aa331401a0bc202944 $tcMCInfo :: GHC.Types.TyCon 8a7569dddaf666d63b8276862f6b0be2 $trModule :: GHC.Types.Module 0c3629aa0bbe4b4edf5bbd669d156dc5 type role CPart representational nominal data CPart (c :: * -> *) a = CPart {pws :: !Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a), pcm :: !Data.HashMap.Base.HashMap GHC.Integer.Type.Integer (c a)} f09bb0acbf045dbd14c2dcd56fe2d4b2 data MCInfo = MCInfo {mcCores :: !GHC.Types.Int, mcMinPartSize :: !GHC.Types.Int, mcMaxPartSize :: !GHC.Types.Int} bc6a8ebdc3b273ed8ec3cc7992e6422a type PartitionCtor (c :: * -> *) a b = Language.Fixpoint.Types.Constraints.GInfo c a -> Data.HashMap.Base.HashMap GHC.Types.Int [(GHC.Integer.Type.Integer, c a)] -> Data.HashMap.Base.HashMap GHC.Types.Int [(Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Constraints.WfC a)] -> GHC.Types.Int -> b 0b6e8887fc8705ddf6b38cef006e00ec dumpPartitions :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint (c a), Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.Config.Config -> [Language.Fixpoint.Types.Constraints.GInfo c a] -> GHC.Types.IO () ad0363677b5b34b24c8117953cd01b93 mcCores :: Language.Fixpoint.Graph.Partition.MCInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Partition.MCInfo 320a8d94b58dd9c49994b270eea7b2d9 mcInfo :: Language.Fixpoint.Types.Config.Config -> GHC.Types.IO Language.Fixpoint.Graph.Partition.MCInfo 587b685ef50c2ba40d8e153d662615d1 mcMaxPartSize :: Language.Fixpoint.Graph.Partition.MCInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Partition.MCInfo 8cd6664444e28a86bb3d371932376fda mcMinPartSize :: Language.Fixpoint.Graph.Partition.MCInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Partition.MCInfo 8311fcf14cf7bbfc61d0a05c1866b570 partition :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint (c a), Language.Fixpoint.Types.Constraints.TaggedC c a) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a)) 7a4b204ac4742210cd5f57de12beb268 partition' :: Language.Fixpoint.Types.Constraints.TaggedC c a => GHC.Base.Maybe Language.Fixpoint.Graph.Partition.MCInfo -> Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Types.Constraints.GInfo c a] 7e67ca967826c5fce2e124699254c115 partitionN :: Language.Fixpoint.Graph.Partition.MCInfo -> Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Graph.Partition.CPart c a] -> [Language.Fixpoint.Types.Constraints.GInfo c a] 7af2a92c2783c3fdd4024531e11157f9 pcm :: Language.Fixpoint.Graph.Partition.CPart c a -> Data.HashMap.Base.HashMap GHC.Integer.Type.Integer (c a) RecSel Left Language.Fixpoint.Graph.Partition.CPart e26ba12546c34728646df1c125abe943 pws :: Language.Fixpoint.Graph.Partition.CPart c a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a) RecSel Left Language.Fixpoint.Graph.Partition.CPart instance GHC.Base.Monoid [Language.Fixpoint.Graph.Partition.CPart] = Language.Fixpoint.Graph.Partition.$fMonoidCPart instance GHC.Show.Show [Language.Fixpoint.Graph.Partition.MCInfo] = Language.Fixpoint.Graph.Partition.$fShowMCInfo vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False