==================== FINAL INTERFACE ==================== 2017-05-06 17:08:28.540032 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver.GradualSolve 8002 interface hash: f91634d2fffd7e8a136bd32fb2ddcc2d ABI hash: 74ed71efa4491276949e425c491a082c export-list hash: 4c5268e18746674256c6d1a5049da182 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: bc67f8c40eccf5667b60c126b89e57cc sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.GradualSolve.solveGradual 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.Interface Language.Fixpoint.Smt.Serialize Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.Solver.Eliminate Language.Fixpoint.Solver.GradualSolution Language.Fixpoint.Solver.Monad Language.Fixpoint.Solver.Sanitize Language.Fixpoint.Solver.Worklist 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 Language.Fixpoint.Utils.Progress 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 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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Smt.Serialize liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans 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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Types liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver.Monad liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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 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: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.Traversable 556020d7cf3c4a34a774600512918a37 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.Real 82e4e59051a13dba1da63e1e970a69e6 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 -/ base-4.9.1.0:Text.Printf 6701574960cd2af960fec5d940be0c25 import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Verbosity 7bf06f3afbdc9ccb1d15f1e14eae9da1 import -/ deepseq-1.4.2.0@deepseq-1.4.2.0:Control.DeepSeq 0a99763cf6016b16bbf55422778a79b2 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Graph 47952d9a1c5aceba85c88548d1bb2a26 exports: 9b0c279d1de537a74b16dd2f66844c71 import -/ Language.Fixpoint.Graph.Deps 4d0c9acdcb170f01580bf57160dff096 elimDeps 8a6b19d7c8663a25eec1e5be1d6ac44c isTarget 2186627db08fd43d680a406c299d2b7c kvEdges 652aa246c43da2460f0f072b1631b4ab import -/ Language.Fixpoint.Graph.Types 0f20a3a637d299f65d26ecd53edab96c SI e9cb8f73b27ced5172fe2fd10c3565bb SolverInfo 699709892834953422e9bd7eb45ec536 cNumScc 88831a7dc3d5c840f7b804639ddfdbdb siDeps c8fb69692993a54de544e1a4501280f1 siSol d1e098f2e831964911a292d069162826 siVars 02b23a86b20c3fe4ae06baa299a09ad5 import -/ Language.Fixpoint.Misc 9cd1765106d8ef0d0c6df62ec1d078fe exports: 0d4209a369f77ae55113ca41b56281c2 errorstar 79407892bf7c8d0b4353fc79d32ad4b9 writeLoud 9de70e87920b3560c98916d3bef3b101 import -/ Language.Fixpoint.Solver.Eliminate 76021fda76cec081185fababcbf02935 exports: 82ab175bfee1357ab152ee3c37a7f835 solverInfo f22fea79f47e6ed98cb8e2995feac8df import -/ Language.Fixpoint.Solver.GradualSolution 25a504b47111a870b0fc05504a8ed730 exports: a65a2811ecdcb077709e7ac301342840 init f72d7f3d1535271218a08095af63e5f4 lhsPred a58bd7db203a731b437031ef54ca90bd import -/ Language.Fixpoint.Solver.Monad 28f8a1873566d56c812c644ed4f34e20 exports: bebe1731cb09bb7d678f7d684d874b96 SolveM f2acba14ec1d6fea67d1a4e4f112fc61 Stats c61b703afd89b814e3943ca74579d4d4 filterValid 3ee72bb62f8d021c834879c061567426 filterValidGradual 716e9f191e7bb2751b7ebf3b6df8a9fd getBinds bffb40bbb4598d62550852d69fab76f0 runSolverM 90f70f58e659f92fd688a63923054e4f stats da8639659c51d5ffa18d620677a835f3 tickIter 08082a1ef590112113959ef31fd37cc0 import -/ Language.Fixpoint.Solver.Worklist 180ca508a6d10fb8203dc1168bec8d52 exports: fdc254397951da1c4b7bd4bf551f3a08 Worklist cf453689ff732e4ceaf5e765fbf11b3b init 73f69ef159155e8c77418fb92bf08767 pop 3799b9df184888b133bf6b7d14d0962a push 9308bf7b49c6baf90d6a4c3fbdd5446d unsatCandidates 08820b15a596c2ab169086ac7762ac2e wRanks 2cf605987fff08dec15bba4441afb51c import -/ Language.Fixpoint.SortCheck dc00ce387fb2aa99df1a0cad6d24ebfc exports: ada570127d8cbc588a0acc45f00c23fc elaborate 4d1acf47236a0a90da2a6911aa15a317 import -/ Language.Fixpoint.Types d18f0436147c6b609b0350ab05a13632 exports: e5a346905d6060f0c42bd07d5e1b7470 import -/ Language.Fixpoint.Types.Config cbc811dc636f01f51016cae1cf14f1c7 exports: 8991bce8a65e7f9284ffe171c79e9bea Config 27b724080c5f3f36f2c57969ea4c0404 minimalSol 766be6527f6e1c41d0acd2558773183c solverStats 274fe8a96e4a2431f0fb4c67dc0bf86e useElim 87da90e349e3ddaf2f722fc3ed42facc import -/ Language.Fixpoint.Types.Constraints 2a60a2b70c9c0bbeb8f02c873cc8af26 FixSolution 1531b4a9826002bcf9a6d0b6afa39c93 GFixSolution 4ed06872c238d5adf0a44021c19abdd0 Result 766956642fc913284e538aa4d6a663ef Result 4ed06872c238d5adf0a44021c19abdd0 SInfo 997b519b4f8e235f8bc86c781d0e5f81 SimpC 9370a38c93e2304ff1bb9a9079b8d1ed crhs 4ce8e9b91b4157832bb8d9108f98b834 gresSolution 9dfd9e15847d346f7b6b5844db8fafee resSolution 173c319e8b1feae1c0ac51b74cbb0a79 sid 9ae36b8355643e1c9e140333dd17d3e5 sinfo 7051d404137839d2f2881d45975bdf21 subcId 7118b15918c689ab37853137ef96539f toGFixSol eab110c0d6c8c196cead226fb6fd2118 ws 2bb41cf0792b896c2983ad34cc4b5452 import -/ Language.Fixpoint.Types.Errors 82d767da385803717b36cea507f1728e FixResult 1aee72dd21a16bf77fd1f7c4c8e3b0e4 Safe 1a23b70e67f6029594edbb580cb5c2f4 Unsafe 5c727a75c24c1147464e278c68ac4d64 import -/ Language.Fixpoint.Types.Names 102c3f40f4ae3f5e69d7830c8c2929a7 Symbol 7a94d5e61da90e70bf8ff7a831588012 tidySymbol df2380323f1dc123207ba8dcba95ee2f import -/ Language.Fixpoint.Types.PrettyPrint b02d0c9fbd357bc151863d3448040e3d exports: 8280ba96c3b943538085a23e8c114f93 Fixpoint 4fdbee36b2249282b132e59f9ca6e4e5 pprint 246824aa347a4f16385a25c6831f69fa ptable 38be865bc2b333583e7487173d710ad5 showpp c2ac1d05a974c37612161e6fe1c983be import -/ Language.Fixpoint.Types.Refinements a7f4979a286af6ccfba616ad8e79604d Expr 9998b07e6210438851019ee752a5a042 KVar a16d35debd55d74268134e6562e08526 PAnd ae64d85b8e76b7a0ca69f4a35423283e PExist 2b98b7143c82596fbd42f49a535f04e9 PKVar 28cecddfcb00f810525ddbc7883eb818 Pred 6cbd8330af01fcd5c2129a8b06575734 Subst 9998b07e6210438851019ee752a5a042 conjuncts 4ada960811f264d16cb227a9789e9bd1 eVar 91e9108a33d017cfff689b33280eb0e0 pAnd 847566639076d2afaacc9cf36e971078 pOr 9cadc7037e8a7865bc4a14a2f632fdbd substf 3719325795838d5aa309e8672566b608 import -/ Language.Fixpoint.Types.Solutions f7da8b7513ebdb011fd851c66eca4bb8 exports: d9c9272784f0ca136dd6301d8e062eec Cand ca14b07d1eaa5372910f054e018861af EQual d1c0732c350bb4e1a809f7c07b68de4b GBind d1c0732c350bb4e1a809f7c07b68de4b GSolution fef55f7a8be5f9b6ca554f4dfcec7a68 emptyGMap d3ab865249937f746cbc7540de301573 eqPred f1383a74a681d02d2ca8331325330157 equalsGb 0c975bfdf0fe9f085fdd9821881c5424 gMap 695a418f8b1a861cb55c68f83866230d gbEquals 6fe1b2c0c346979ec512d6dbf7c60e4b lookupQBind f7b964aaf0cf7163ab721cb0b2d57926 qbPreds 432491dd46418f1ba30e74bd2f1e9f79 result 331a12437b3be1a0f638c798d8d872be resultGradual f6050d7806e3229eb175c06ea8304758 sEnv c7838de2fd7ded75f9051a4f30b9c4d8 trueEqual 7795e8487c8440f70a26b7c6503f3509 update fd455a821a421fad66c990c440ef7a0c updateGMap c447acb283e517d425e2ae97fc58bd2f updateGMapWithKey 07e34b9fab6fef41b41c73e4d9b8eb8e import -/ Language.Fixpoint.Types.Sorts 9dad591ef82cb7650e489d921df3c4f9 Sort 27af0721fe31463f1cd1955c92bf7d70 import -/ Language.Fixpoint.Utils.Progress 6a98260f2fbaafbcc4307071b244002f exports: 470eada57a968d087705a49045e28146 withProgress 5c1cfa208a96772298d775ef9f78ba3e import -/ mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State.Strict eff0af50b9ed40c32939885d02cca72b import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Class 45530f1305724ee3931a9be21b40ca7e 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 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 7bd8da249c3c17765ffcaf28556a98d5 $trModule :: GHC.Types.Module 26fbe4653580c219a36a240d5c72832d solveGradual :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a)) vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False