==================== FINAL INTERFACE ==================== 2017-05-02 18:37:23.96277 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Solver.GradualSolve 8002 interface hash: 7f1b31bc4c4fece8425ab8815b5f80da ABI hash: 219f1efb7f1f5ae39f9e6829198d15f5 export-list hash: f2389fdb55a85511f0d3eb973f935697 orphan hash: 0ea5bcf82aef75ff996abc5e5e232b11 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 96b1659cd922559f07884eea5976fb53 exports: dad5544a3a41a5c3c772ca79356d39ad import -/ Language.Fixpoint.Graph.Deps e0c16eb9751bfcf4ebf1a8fff4e87d4c elimDeps 5665258949b04edd49306c81248cfba0 isTarget 6782583cf6b58e5237626b8fd737ad77 kvEdges f940abc15579978762776e660e827d95 import -/ Language.Fixpoint.Graph.Types 23e94ee5d5e98322336fb70c8000a321 SI 3793dbf1e3a52671229c757903084a70 SolverInfo b09606704f7bdb5375f8da175b8cd7d6 cNumScc 87afa682c8dd1e9f69a5fe4b0723474f siDeps dc379f0c79c4322eafe1ce9d7d223789 siSol dff0082a2d59e24319611bdab2e6e0f2 siVars 35f5142e8f813175a34215ca8bd6fe2d import -/ Language.Fixpoint.Misc 268edc2be2657e56d9ac2e0e5f861c66 exports: 0d4209a369f77ae55113ca41b56281c2 errorstar e13c48ac8d5f72547a0d41e4f1437551 writeLoud 6a7f20b21df12531f08981646ff1bf20 import -/ Language.Fixpoint.Solver.Eliminate 909e925e30388e38ce02e815a1b05d9a exports: 50693d2e8a5f3b7c0dd938f1f7655579 solverInfo 72198470e484afa1d063a7f4769cdb64 import -/ Language.Fixpoint.Solver.GradualSolution fb6b5d431d6cb89a1f9e31552fbc844b exports: 40f49b9592acececbf285447f2975b09 init a40e2989c6f7243f3f90b97a1357b31a lhsPred 0d3f67b49c8e65cc9993a2e76bd7fc58 import -/ Language.Fixpoint.Solver.Monad ec5eb2d6f95c72ebd961128f417a28ca exports: beab3c559e9618f79ddb38a602dc9a12 SolveM c821e4e5b462ea5f6676f864f11ba731 Stats 188c0c0ba81cb0b74dcc1f2d482be1c0 filterValid 3d3fd7c4f83f97cdbd37ca0640b84015 filterValidGradual 982f6ecea7e04a7bdc033c8efc1f9ca3 getBinds 53471153021f442c95b13fc958e48657 runSolverM 53b136185f49419f992b74e36c14ce39 stats 6fbf1bd32be1859b606118565c549ef8 tickIter a78156823476e418ed09cf3d977a7cd7 import -/ Language.Fixpoint.Solver.Worklist fa4ee31c93076eb78a986cda9ba0370e exports: 07a3962dd623c0c2339d473646cf6a99 Worklist c84f1184e26905f15f284ebb1e3a54c9 init d0cb8294243b4aaa2d2e3c1afaaa8258 pop b18054b832ac05bc3a2d9a2e8a214923 push c5b19c73e458d9f199e7cc7670ca74ae unsatCandidates c15586d22037298ff224939786c1fd0d wRanks a3d6cbd11c22b5d265c8e478454ac38f import -/ Language.Fixpoint.SortCheck c9a1a2a1ffe81fd310d7086dfdf22f97 exports: a9abe77527737e86ba7b120d738eae9d elaborate 5d158ea131d7e277795d290df18aadb1 import -/ Language.Fixpoint.Types 09d1039f1e0058408506d58eee0982ca exports: 91181ff2c29316a0420a9031c7b2d4bd import -/ Language.Fixpoint.Types.Config 163393aa566fa4479116d419651371d6 exports: 87e69df825248b6123b5720d7ef71a71 Config 0a1d3ab6981cc6a61194de16bb9f26fb minimalSol d87577f191ff3394f31793a1502a1694 solverStats bda7106cec62d0859e70f146036f8a69 useElim 35d43e2b1e6c87f45cf41979d665c2af import -/ Language.Fixpoint.Types.Constraints dc475bd125456ae511f39eb7bfb576f7 FixSolution 5b4735b3e3cc0ca65b03d3255d2f3f6c GFixSolution 1de0e7882069f13222c6effa6f71fad5 Result bd94cb06f2a56d7ff5b46922e02fce58 Result 1de0e7882069f13222c6effa6f71fad5 SInfo 1052549cc559e08aaa78c218edda206c SimpC 422c859b64e365b196f8fd06ad8cb7f1 crhs 1e68f26339689c1f8619807c178004c5 gresSolution e0bda26e2a2d1d2bf92cc539dfce23d8 resSolution f55f0c46369593e7e85befdfb6dfdad8 sid 9ba83f62143508c4ad59807c752d0be9 sinfo 9105e38389ada36faf8b042779878ac6 subcId 170adfc4aedcef6c28d5eb404df361b9 toGFixSol 0bf621e3d7f5bd2f9486a81f128f985d ws 5325410ee67d4c56c5404e8dff4dad17 import -/ Language.Fixpoint.Types.Errors d4d50638f5ff32bb3bc70ba4c9bb3ab8 FixResult bbcb7910102e76dd87f9706483b3612e Safe 02b6ec2edcfc463fc6b110fa8662c427 Unsafe bbe3d3bc1296765e5746674a88488bd9 import -/ Language.Fixpoint.Types.Names e10fad5e5b8ff170c535ac390b7d6df1 Symbol 48f09ac5554b5659507cdde0ca23f8ac tidySymbol b70497f43e52e4ceb47dfd12bfc678f1 import -/ Language.Fixpoint.Types.PrettyPrint 9f8ba54128c047c2f5df631a58152645 exports: 8280ba96c3b943538085a23e8c114f93 Fixpoint cc7bdd91c6c79c1473a4d48904d3bc29 pprint 3b1416a258327e319f3edde9b9e2d64e ptable e5a0c2af407911261639841c294a3c86 showpp 0da0198db560727e041326beddb9a8d5 import -/ Language.Fixpoint.Types.Refinements 14ae5428586db5cedff3d8f72f8648b7 Expr 7fb70fb47d0302cfb4b9c12c86306141 KVar 9a92033bfe21324e80629facb0f6357f PAnd e4ddc2579168019e5d8a7240f883a96b PExist 83d46b5b3ba4dfd16ed3ab8c4cdb6285 PKVar 27549ccaacfa3dd875a070c6d85abc60 Pred 5b40eb4c712dc0c43764372a1759d736 Subst 7fb70fb47d0302cfb4b9c12c86306141 conjuncts 8b597424c017de26584204ed283dc3d9 eVar b87e58c3d10c3466cba387aee526d1e5 pAnd 2d7e49d5bd88e54fdd84a02dbca76a98 pOr cddd52acc94c0f05e5a37f140c8ad8c0 substf b2da8a5b5529532d5f1f59e58c725354 import -/ Language.Fixpoint.Types.Solutions 44253093d8f715e38f38f5864906aa91 exports: 3aba65d43f1b4def37dedf43442dc2cb Cand 1258f02e99cbe417bcd003d5a26f39d7 EQual d48cd6c8fd87428c462add5de1e5d785 GBind d48cd6c8fd87428c462add5de1e5d785 GSolution 46cbbd29db6fed96ab8b25a466a3c498 emptyGMap 92c0cefa906b0bd8c716086f4cf41bb4 eqPred f4224b5f1cdddeabb689ccc6f25e105a equalsGb a1eea7d66b334a8ef0e99eeb595abc8f gMap 82947ed07d3651a7fb9e2bc24a14d8d8 gbEquals 7841b0490393d681b0289070301ff4e6 lookupQBind 02bfd5983256e2f7d7024c264dfcc4f9 qbPreds ee53cb8d2b8872c615fcdd1168450ebc result c7035a98aefbbb2d3ba288ebc07d1dd0 resultGradual f4523f3b125a3fbd98f78e2fc3ff707d sEnv d23bc0542d4f553904c83bd3771d1f80 trueEqual c1f46126190794b254239bca5fe702af update 4ee25b98e93e86f189e02ab7e64de90e updateGMap 9799048a8ec1338ed2d1c6863fdb35eb updateGMapWithKey 60b188fabce9b3ef75fb71f6f0832931 import -/ Language.Fixpoint.Types.Sorts b5018989427724a1db790152ee79cb6f Sort 402c177fc699f05dd97dbf4130d9008b import -/ Language.Fixpoint.Utils.Progress c33622b0de2ac75cce2fddefd881586d exports: 470eada57a968d087705a49045e28146 withProgress 711691385c363d35855a35d90e2def22 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 7267d41b23a58f2a75f5634a6a339d24 $s$fApplicativeStateT :: GHC.Base.Applicative (Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO) {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ s2. @ (Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO) (Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fApplicativeStateT_$cp1Applicative @ s2) (Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fApplicativeStateT_$cpure @ s2) (Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fApplicativeStateT_$c<*> @ s2) (Control.Monad.Trans.State.Strict.$fApplicativeStateT_$c*> @ GHC.Types.IO @ s2 GHC.Base.$fFunctorIO GHC.Base.$fMonadIO) (Control.Monad.Trans.State.Strict.$fApplicativeStateT_$c<* @ GHC.Types.IO @ s2 GHC.Base.$fFunctorIO GHC.Base.$fMonadIO) -} ac717086d062e72a35dc7b36a797342a $s$fApplicativeStateT_$s$fApplicativeStateT_$c<*> :: Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO (a -> b) -> Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO a -> Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO b {- Arity: 4, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=2), Unfolding: InlineRule (2, False, False) (\ @ s2 @ a @ b (ds :: Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO (a -> b)) (ds1 :: Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO a) -> GHC.Base.$ @ 'GHC.Types.PtrRepLifted @ (s2 -> GHC.Types.IO (b, s2)) @ (Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO b) (\ (tpl :: s2 -> GHC.Types.IO (b, s2)) -> tpl) `cast` ( GHC.Types.IO (b, s2)>_R ->_R Sym (Control.Monad.Trans.State.Strict.N:StateT[0] _N _R _N)) (\ (s3 :: s2) -> GHC.Base.bindIO @ (a -> b, s2) @ (b, s2) (ds `cast` (Control.Monad.Trans.State.Strict.N:StateT[0] _N _R b>_N) s3) (\ (ds2 :: (a -> b, s2)) -> case ds2 of wild { (,) f s' -> GHC.Base.bindIO @ (a, s2) @ (b, s2) (ds1 `cast` (Control.Monad.Trans.State.Strict.N:StateT[0] _N _R _N) s') (\ (ds3 :: (a, s2)) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case ds3 of wild1 { (,) x s'' -> (GHC.Base.returnIO @ (b, s2) (f x, s'')) `cast` (GHC.Types.N:IO[0] <(b, s2)>_R) eta }) `cast` (<(a, s2)>_R ->_R Sym (GHC.Types.N:IO[0] <(b, s2)>_R)) }))) -} 8a3cd2eea0c042ce620003db1584af9b $s$fApplicativeStateT_$s$fApplicativeStateT_$cp1Applicative :: GHC.Base.Functor (Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO) {- Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fFunctorStateT -} 6779f18bdf0334deba5b69c603f47475 $s$fApplicativeStateT_$s$fApplicativeStateT_$cpure :: a -> Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO a {- Arity: 3, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=1), Unfolding: InlineRule (1, False, False) (\ @ s2 @ a (a1 :: a) -> GHC.Base.$ @ 'GHC.Types.PtrRepLifted @ (s2 -> GHC.Types.IO (a, s2)) @ (Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO a) (\ (tpl :: s2 -> GHC.Types.IO (a, s2)) -> tpl) `cast` ( GHC.Types.IO (a, s2)>_R ->_R Sym (Control.Monad.Trans.State.Strict.N:StateT[0] _N _R _N)) (\ (s3 :: s2) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> (GHC.Base.returnIO @ (a, s2) (a1, s3)) `cast` (GHC.Types.N:IO[0] <(a, s2)>_R) eta) `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <(a, s2)>_R))) -} 5c98f409212dfe38a1f4a3deb58f41d9 $s$fApplicativeStateT_$s$fFunctorStateT :: GHC.Base.Functor (Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO) {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ s2. @ (Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO) (Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fFunctorStateT_$cfmap @ s2) (Control.Monad.Trans.State.Strict.$fFunctorStateT_$c<$ @ GHC.Types.IO @ s2 GHC.Base.$fFunctorIO) -} c311d15659eaf6c3610cddc061bd2d31 $s$fApplicativeStateT_$s$fFunctorStateT_$cfmap :: (a -> b) -> Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO a -> Control.Monad.Trans.State.Strict.StateT s GHC.Types.IO b {- Arity: 4, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=2), Unfolding: InlineRule (2, False, False) (\ @ s2 @ a @ b (f :: a -> b) (m1 :: Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO a) -> GHC.Base.$ @ 'GHC.Types.PtrRepLifted @ (s2 -> GHC.Types.IO (b, s2)) @ (Control.Monad.Trans.State.Strict.StateT s2 GHC.Types.IO b) (\ (tpl :: s2 -> GHC.Types.IO (b, s2)) -> tpl) `cast` ( GHC.Types.IO (b, s2)>_R ->_R Sym (Control.Monad.Trans.State.Strict.N:StateT[0] _N _R _N)) (\ (s3 :: s2) -> GHC.Base.$ @ 'GHC.Types.PtrRepLifted @ (GHC.Types.IO (a, s2)) @ (GHC.Types.IO (b, s2)) (GHC.Base.$fFunctorIO_$cfmap @ (a, s2) @ (b, s2) (\ (ds :: (a, s2)) -> case ds of wild { (,) a1 s' -> (f a1, s') })) (Control.Monad.Trans.State.Strict.runStateT @ s2 @ GHC.Types.IO @ a m1 s3))) -} 9a4a127fb6456c5c850ee1407846a90a $s$fEq(,) :: GHC.Classes.Eq (GHC.Types.Int, GHC.Types.Int) {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (GHC.Types.Int, GHC.Types.Int) (GHC.Classes.$fEq(,)_$c== @ GHC.Types.Int @ GHC.Types.Int GHC.Classes.$fEqInt GHC.Classes.$fEqInt) (GHC.Classes.$fEq(,)_$c/= @ GHC.Types.Int @ GHC.Types.Int GHC.Classes.$fEqInt GHC.Classes.$fEqInt) -} 947859b3f6b30e6e8f7a895f19302dc0 $sprintf2 :: GHC.Base.String -> [Text.Printf.UPrintf] -> [GHC.Types.Char] {- Arity: 2, Strictness: , Unfolding: (\ (fmts :: GHC.Base.String) (args :: [Text.Printf.UPrintf]) -> GHC.Base.map @ GHC.Types.Char @ GHC.Types.Char Text.Printf.$fIsCharChar_$cfromChar (Text.Printf.uprintfs fmts (GHC.List.reverse1 @ Text.Printf.UPrintf args (GHC.Types.[] @ Text.Printf.UPrintf)) (GHC.Types.[] @ GHC.Types.Char))) -} b1a9f6c252c264782aebd4693373fda5 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Solver.GradualSolve.$trModule2 Language.Fixpoint.Solver.GradualSolve.$trModule1) -} 297ad0b550e42d6e76bccd6d442c2ab2 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Solver.GradualSolve"#) -} 8cde5616bdfdcd872dc37b5c2c3c0e62 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} e4878d50b91a39be2b145906a238a7a1 $w$s$wupdateOrSnocWithKey :: (Language.Fixpoint.Types.Refinements.KVar -> v -> v -> v) -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ v (w :: Language.Fixpoint.Types.Refinements.KVar -> v -> v -> v) (ww :: GHC.Prim.Int#) (ww1 :: Data.Text.Internal.Text) (ww2 :: Data.Text.Internal.Text) (w1 :: v) (w2 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v)) -> letrec { $wgo7 :: GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) {- Arity: 7, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) (ww4 :: Data.Text.Internal.Text) (ww5 :: Data.Text.Internal.Text) (w3 :: v) (ww6 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v)) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) -> let { nt :: Language.Fixpoint.Types.Names.Symbol = Language.Fixpoint.Types.Names.S ww3 ww4 ww5 } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww7 ww8) of wild { GHC.Types.False -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ww6 ww7 of ds { Unit# ipv3 -> case ipv3 of wild1 { Data.HashMap.Base.L kx y -> case kx `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild2 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww3 dt1) of wild3 { GHC.Types.False -> $wgo7 ww3 ww4 ww5 w3 ww6 (GHC.Prim.+# ww7 1#) ww8 GHC.Types.True -> case GHC.Prim.thawArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) @ GHC.Prim.RealWorld ww6 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ww6) GHC.Prim.realWorld# of ds1 { (#,#) ipv4 ipv5 -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv5 ww7 (Data.HashMap.Base.L @ Language.Fixpoint.Types.Refinements.KVar @ v nt `cast` (Sym (Language.Fixpoint.Types.Refinements.N:KVar[0])) (w nt `cast` (Sym (Language.Fixpoint.Types.Refinements.N:KVar[0])) w3 y)) ipv4 of s' { DEFAULT -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv5 s' of ds2 { (#,#) ipv6 ipv7 -> ipv7 } } } } } } } GHC.Types.True -> case GHC.Prim.newArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) @ GHC.Prim.RealWorld (GHC.Prim.+# ww8 1#) (Data.HashMap.Array.undefinedElem @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v)) GHC.Prim.realWorld# of ds { (#,#) ipv3 ipv4 -> case GHC.Prim.copyArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) @ GHC.Prim.RealWorld ww6 0# ipv4 0# ww8 ipv3 of s2 { DEFAULT -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv4 ww8 (Data.HashMap.Base.L @ Language.Fixpoint.Types.Refinements.KVar @ v nt `cast` (Sym (Language.Fixpoint.Types.Refinements.N:KVar[0])) w3) s2 of s' { DEFAULT -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv4 s' of ds1 { (#,#) ipv5 ipv6 -> ipv6 } } } } } } in $wgo7 ww ww1 ww2 w1 w2 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) w2)) -} fca984af4a446ff9c4bf2e9438dc0d8e $w$sunsafeInsert :: GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Text.Internal.Text -> v -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ v (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (ww4 :: Data.Text.Internal.Text) (w :: v) (w1 :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v) -> case {__pkg_ccall hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x hashable_fnv_hash_offset GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Int# #)} ww1 (GHC.Prim.uncheckedIShiftL# ww2 1#) (GHC.Prim.uncheckedIShiftL# ww3 1#) -2578643520546668380# GHC.Prim.realWorld# of wild1 { (#,#) ds1 ds2 -> case Language.Fixpoint.Solver.GradualSolve.$wpoly_go1 @ GHC.Prim.RealWorld @ v (GHC.Prim.int2Word# ds2) ww (Data.Text.Internal.Text ww1 ww2 ww3) ww4 w 0# w1 GHC.Prim.realWorld# of ds { (#,#) ipv ipv1 -> ipv1 } }) -} 7d84a2e0638f9cf145149b6fcd8181ad $wpoly_go1 :: GHC.Prim.Word# -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> v -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v -> GHC.Prim.State# s -> (# GHC.Prim.State# s, Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v #) {- Arity: 8, Strictness: , Inline: [0] -} 742b6b60ba47b934318bfd15e17e27c4 $wsolveGradual :: Control.DeepSeq.NFData a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a) #) {- Arity: 4, Strictness: , Inline: [0] -} a7d84efa8de4835ed0ab2b3c542af8b7 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)) {- Arity: 5, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Solver.GradualSolve.solveGradual1 `cast` (forall (a :: <*>_N). _R ->_R _R ->_R _R ->_R _R ->_R Sym (GHC.Types.N:IO[0] _R)) -} 8cef62dce1a50a192a197ef8035becca solveGradual1 :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a) #) {- Arity: 5, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (5, True, True) (\ @ a (w :: Control.DeepSeq.NFData a) (w1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w2 :: Language.Fixpoint.Types.Config.Config) (w3 :: Language.Fixpoint.Types.Constraints.SInfo a) (w4 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> Language.Fixpoint.Solver.GradualSolve.$wsolveGradual @ a w w2 w3 w4) -} "SPEC/Language.Fixpoint.Solver.GradualSolve $fApplicativeStateT @ IO _" [ALWAYS] forall @ s2 ($dMonad :: GHC.Base.Monad GHC.Types.IO) ($dFunctor :: GHC.Base.Functor GHC.Types.IO) Control.Monad.Trans.State.Strict.$fApplicativeStateT @ GHC.Types.IO @ s2 $dFunctor $dMonad = Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT @ s2 "SPEC/Language.Fixpoint.Solver.GradualSolve $fApplicativeStateT_$c<*> @ IO _" [ALWAYS] forall @ s2 ($dMonad :: GHC.Base.Monad GHC.Types.IO) ($dFunctor :: GHC.Base.Functor GHC.Types.IO) Control.Monad.Trans.State.Strict.$fApplicativeStateT_$c<*> @ GHC.Types.IO @ s2 $dFunctor $dMonad = Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fApplicativeStateT_$c<*> @ s2 "SPEC/Language.Fixpoint.Solver.GradualSolve $fApplicativeStateT_$cp1Applicative @ IO _" [ALWAYS] forall @ s2 ($dMonad :: GHC.Base.Monad GHC.Types.IO) ($dFunctor :: GHC.Base.Functor GHC.Types.IO) Control.Monad.Trans.State.Strict.$fApplicativeStateT_$cp1Applicative @ GHC.Types.IO @ s2 $dFunctor $dMonad = Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fApplicativeStateT_$cp1Applicative @ s2 "SPEC/Language.Fixpoint.Solver.GradualSolve $fApplicativeStateT_$cpure @ IO _" [ALWAYS] forall @ s2 ($dMonad :: GHC.Base.Monad GHC.Types.IO) ($dFunctor :: GHC.Base.Functor GHC.Types.IO) Control.Monad.Trans.State.Strict.$fApplicativeStateT_$cpure @ GHC.Types.IO @ s2 $dFunctor $dMonad = Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fApplicativeStateT_$cpure @ s2 "SPEC/Language.Fixpoint.Solver.GradualSolve $fEq(,) @ Int @ Int" [ALWAYS] forall ($dEq1 :: GHC.Classes.Eq GHC.Types.Int) ($dEq :: GHC.Classes.Eq GHC.Types.Int) GHC.Classes.$fEq(,) @ GHC.Types.Int @ GHC.Types.Int $dEq $dEq1 = Language.Fixpoint.Solver.GradualSolve.$s$fEq(,) "SPEC/Language.Fixpoint.Solver.GradualSolve $fFunctorStateT @ IO _" [ALWAYS] forall @ s2 ($dFunctor :: GHC.Base.Functor GHC.Types.IO) Control.Monad.Trans.State.Strict.$fFunctorStateT @ GHC.Types.IO @ s2 $dFunctor = Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fFunctorStateT @ s2 "SPEC/Language.Fixpoint.Solver.GradualSolve $fFunctorStateT_$cfmap @ IO _" [ALWAYS] forall @ s2 ($dFunctor :: GHC.Base.Functor GHC.Types.IO) Control.Monad.Trans.State.Strict.$fFunctorStateT_$cfmap @ GHC.Types.IO @ s2 $dFunctor = Language.Fixpoint.Solver.GradualSolve.$s$fApplicativeStateT_$s$fFunctorStateT_$cfmap @ s2 vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False