==================== FINAL INTERFACE ==================== 2017-05-15 08:52:33.057266 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Graduals [orphan module] 8002 interface hash: 58a866f9d31071d65533381e516f4157 ABI hash: 8a8376721c12e1ed97f6422f52a015b2 export-list hash: 2e2ddcea1ae94f900c5d14ec274ff1c3 orphan hash: 2886700626833eafaa7951d9bf21044c flag hash: cf79def9316a248f22832b6c427acabc sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Graduals.makeISol Language.Fixpoint.Types.Graduals.makeSolutions Language.Fixpoint.Types.Graduals.uniquify Language.Fixpoint.Types.Graduals.GSol Language.Fixpoint.Types.Graduals.Gradual{Language.Fixpoint.Types.Graduals.gsubst} 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.Solver.Sanitize 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 liquiddialog-0.1.0.0@liquiddialog-0.1.0.0-CyBlNoz0Pr8MkSYl0qd8H 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 wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6 wxcore-0.92.3.0@wxcore-0.92.3.0-LgQy3ufqdXI6B8en1LfCGr 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 wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Controls wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Dialogs wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Draw wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Media wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Menu wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Timer wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.TopLevelWindow wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Variable wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Window 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: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.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.Num 00bfaa7b2f9d6084913c0697a8a49ec8 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 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 -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b allCombinations 86bea08e149ae84bf42deb20de196ecd errorstar 38cc16c0836e03b9af68d3c95faef762 import -/ Language.Fixpoint.Solver.Sanitize ff19a94c7792aae49f20f609ba480654 exports: 413c872f3f39b8d2fc50665da15a3129 symbolEnv 91257bce47799fc9438964e3400bca8b import -/ Language.Fixpoint.SortCheck 04ab21222148af2d124cde0e043ef924 exports: e64dfad7b499c2aab7e3652ca9b527d5 elaborate c460ee1435aadde133433f0933f18b6c import -/ Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df exports: 26252365e1684d225d5392dd42c93881 Config a1e0868924a10a6ced01485926d4ec1f import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba exports: cbcd64f03f446da62e56a956dfca1375 GWInfo ada13eee362aeffc8702e1ad6b84065d SInfo c4bf42c4a9b32550baf9a82ec918fc53 SimpC ab7e97d469950e731d9d2580ab8541ef SubcId 026af1096155a8461a8bb708fa9cb06e WfC 17c7f6e4d74d3b539dca7c3556bc9f4f _cenv bda0a5eb73b3d35a82cf69fb9d971493 _cinfo e94d85541c93f95bff66a0ead2841622 _crhs 100ba846958047a5479147c0b29c64d1 bs d61bc046b917adffb7499296cdd6f706 cm bd6d51f78a487f86f74c55f8b64d03e8 gexpr e6d86c56fa85d8c27e6c25b1689bb867 ginfo 077f6a0343d22a1bc4b84dd1d4e80883 isGWfc 1171ff5984d93d7d38bea85f9056aca2 wloc c4cdfd982c3c97060c7b67e2ca15611d wrft d83900b61f262b29c1f6a26d0573c4bf ws fef3eea7365ecfd2111de5aae1af543e import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e exports: 4669185e717ccc7ea5bb609419f82a9f BindEnv b22ca5d85c77eb9cc63ef625fe87597a BindId 6733d8cce8f3a70fc98d8a2dd05b900e IBindEnv cb3149cea0637142c180ee8c5b609e12 SEnv 6b7a0813b490d3c69166a159d2c90bbe elemsIBindEnv b36a4dfe9459424486b2e816e214bf76 fromListIBindEnv fb200859b23e1a40a2ca702a8925b292 insertBindEnv b202cffa41e2c2a9ab3c1ab64bb7638c lookupBindEnv b14112e4f970f3f7f409de20a2723561 mapBindEnv 6215241911c4ebcc457255a60a4e5635 import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 exports: e209cabd872db433abfe12588fd0016b gradIntSymbol b311247f9e79653b962cd109dc75f493 tidySymbol 784628257acc10112a0a5307f73e66b6 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 showpp 6c7acfad3292f20adf3bdca6d5c2204a import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 exports: ad3988e4da25568fd374ece65579ba09 EVar 566b7c7ff8fdc63c55d18f2d537af0b8 Expr bb73da387a50fe3797caa66eb4fb9c35 GradInfo 492e22c3a1fec1daac0e9dd95a63c2a6 KV 70182aa5a77bf40a7577c3fac04676bb KVar 68dcac5ad144e4854dc35cff62d456d0 PGrad 23acd6ca28f3136aab5ec62b271ac653 RR 0a874a8408748c051c510af8e624ba5d Reft f5a891a2ea821362b40d468df43305ef Reft bb73da387a50fe3797caa66eb4fb9c35 SortedReft bb73da387a50fe3797caa66eb4fb9c35 gsrc 4c1d077575fd45258ab0d1c301dfd0ab gused caea45fc29dfc52fec10776bea775211 pAnd 8eafe07d5b6d6c31808f02c13e22e044 sr_reft 0905ab9079105db5d28e4595144e31cc subst a1be563035cd0a1ba7c6137fdc245106 syms 3959efd3a483c9eaea7b62fe89b99ca8 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da exports: 63c488448e19915f4abf450a4f6b1606 Sort f220e315b91d89c678725efa47bd0097 import -/ Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312 exports: 464bc9758a033004e0503ec01433df74 Loc 24f8dfbf29d330a063d2617ecd6e6eb5 SS 0a16c4a7c77f1acd001f2aeec2a1707c SrcSpan f21a066d73255c1d9f84525a474c4a07 sourcePosElts 6b51cbd53be3b1c2ca38e2722db3b378 srcSpan c691cc90596b42fc877640511762b267 import -/ Language.Fixpoint.Types.Substitutions b7f0aa61d5c475fe500e5e08936d5953 exports: 5f13b307b2544d8a8da5da387960be4a mkSubst 6e7145d21639b1c40a59e5308fa032b9 import -/ Language.Fixpoint.Types.Visitor 562b326437be6bf1306273f048769e9c exports: af05a96a471de9ae7bb1b445015e81c2 mapGVars' d0a452b049ee18e08fdcfb680b7e9bca mapMExpr 3614fd62061a3a6e3c01ac10529de960 import -/ liquiddialog-0.1.0.0@liquiddialog-0.1.0.0-CyBlNoz0Pr8MkSYl0qd8H:Graphics.UI.Parallel.Select.Types da561b098fee52c9f35c3df4d90eada5 import -/ mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State.Class 6d31234b0a911b56412061943d18b89e import -/ mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State.Lazy 3bce07487954e2c74715e207af0f6091 import -/ transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.State.Lazy 371607e50dde46b5f4103b3ab334a497 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 fc08ba80a958a9994972496a171993fc $fGradualExpr :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Refinements.Expr DFunId fc08ba80a958a9994972496a171993fc $fGradualGInfo :: Language.Fixpoint.Types.Graduals.Gradual (Language.Fixpoint.Types.Constraints.SInfo a) DFunId fc08ba80a958a9994972496a171993fc $fGradualHashMap :: Language.Fixpoint.Types.Graduals.Gradual v => Language.Fixpoint.Types.Graduals.Gradual (Data.HashMap.Base.HashMap k v) DFunId fc08ba80a958a9994972496a171993fc $fGradualReft :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Refinements.Reft DFunId fc08ba80a958a9994972496a171993fc $fGradualSimpC :: Language.Fixpoint.Types.Graduals.Gradual (Language.Fixpoint.Types.Constraints.SimpC a) DFunId fc08ba80a958a9994972496a171993fc $fGradualSizedEnv :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Environments.BindEnv DFunId fc08ba80a958a9994972496a171993fc $fGradualSortedReft :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Refinements.SortedReft DFunId cee7f327fb9cf85126ccf82bae79011d $fHasSpanSrcSpan :: Graphics.UI.Parallel.Select.Types.HasSpan Language.Fixpoint.Types.Spans.SrcSpan DFunId 42f46a75683589c999ec6f18abc17c8e $fMonoidGSol :: GHC.Base.Monoid Language.Fixpoint.Types.Graduals.GSol DFunId 42f46a75683589c999ec6f18abc17c8e $fShowGSol :: GHC.Show.Show Language.Fixpoint.Types.Graduals.GSol DFunId e9785f8b56586c53a694983e7c934077 $fShowPPExpr :: Graphics.UI.Parallel.Select.Types.ShowPP Language.Fixpoint.Types.Refinements.Expr DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueExpr :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Refinements.Expr DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueHashMap :: Language.Fixpoint.Types.Graduals.Unique a => Language.Fixpoint.Types.Graduals.Unique (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId a) DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueIBindEnv :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Environments.IBindEnv DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueInt :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Environments.BindId DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueReft :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Refinements.Reft DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueSimpC :: Language.Fixpoint.Types.Spans.Loc a => Language.Fixpoint.Types.Graduals.Unique (Language.Fixpoint.Types.Constraints.SimpC a) DFunId d48768ab8a18b43f5f3490560972e2f1 $fUniqueSortedReft :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Refinements.SortedReft DFunId d19c2eee459e22ec80485b688362b62d $tc'C:Gradual :: GHC.Types.TyCon a7d3e70d516fcd6b863086883eaa877a $tc'C:Unique :: GHC.Types.TyCon 42fe12f458e0a654519f4cea137c2286 $tc'GSol :: GHC.Types.TyCon 3ecb096de570671a1b076b74bb68637f $tc'UniqueST :: GHC.Types.TyCon 80cef938ddef7a5aeafca42e414cbd68 $tcGSol :: GHC.Types.TyCon f4fcb78628ada23169640e1e05d1d279 $tcGradual :: GHC.Types.TyCon 2baeb0c80b0f016a971357e086a36f2c $tcUnique :: GHC.Types.TyCon 2680ff8b12d6aca670c1dbfd14081c23 $tcUniqueST :: GHC.Types.TyCon b8de9513037b3896bb405d53ff427a16 $trModule :: GHC.Types.Module 42f46a75683589c999ec6f18abc17c8e data GSol = GSol !(Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort) !(Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Refinements.Expr, Language.Fixpoint.Types.Refinements.GradInfo)) fc08ba80a958a9994972496a171993fc class Gradual a where gsubst :: Language.Fixpoint.Types.Graduals.GSol -> a -> a {-# MINIMAL gsubst #-} d48768ab8a18b43f5f3490560972e2f1 class Unique a where uniq :: a -> Language.Fixpoint.Types.Graduals.UniqueM a {-# MINIMAL uniq #-} ffb41287e5ead0eaab9fead536a8f839 type UniqueM = Control.Monad.Trans.State.Lazy.State Language.Fixpoint.Types.Graduals.UniqueST :: * -> * 59927374143225997a6f1e4f70a914ca data UniqueST = UniqueST {freshId :: GHC.Integer.Type.Integer, kmap :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [(Language.Fixpoint.Types.Refinements.KVar, GHC.Base.Maybe Language.Fixpoint.Types.Spans.SrcSpan)], change :: GHC.Types.Bool, cache :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Refinements.KVar, uloc :: GHC.Base.Maybe Language.Fixpoint.Types.Spans.SrcSpan, ubs :: [Language.Fixpoint.Types.Environments.BindId], benv :: Language.Fixpoint.Types.Environments.BindEnv} fe3bc101aa9508689f0c41247291aede benv :: Language.Fixpoint.Types.Graduals.UniqueST -> Language.Fixpoint.Types.Environments.BindEnv RecSel Left Language.Fixpoint.Types.Graduals.UniqueST 9b50eb93c4c107ade6c08069f370b1c3 cache :: Language.Fixpoint.Types.Graduals.UniqueST -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Types.Graduals.UniqueST 444bf0c75125f835d5ecb92b8ca7f6a2 change :: Language.Fixpoint.Types.Graduals.UniqueST -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Graduals.UniqueST 546b72b33efad112b83b9c9e8b3a1a55 freshId :: Language.Fixpoint.Types.Graduals.UniqueST -> GHC.Integer.Type.Integer RecSel Left Language.Fixpoint.Types.Graduals.UniqueST f139992d94ee5d0c9bee2af58f77461d kmap :: Language.Fixpoint.Types.Graduals.UniqueST -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [(Language.Fixpoint.Types.Refinements.KVar, GHC.Base.Maybe Language.Fixpoint.Types.Spans.SrcSpan)] RecSel Left Language.Fixpoint.Types.Graduals.UniqueST cc7522ac1585009d9ebce9dc2af88fa4 makeISol :: Language.Fixpoint.Types.Graduals.GSol -> [Graphics.UI.Parallel.Select.Types.Sol Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Refinements.Expr] 843a2a52ce38334e3d447987e3bc1868 makeSolutions :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a, GHC.Show.Show a) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> [(Language.Fixpoint.Types.Refinements.KVar, (Language.Fixpoint.Types.Constraints.GWInfo, [[Language.Fixpoint.Types.Refinements.Expr]]))] -> GHC.Base.Maybe [Language.Fixpoint.Types.Graduals.GSol] c9879116c74cf8c1921ac73292a269d5 ubs :: Language.Fixpoint.Types.Graduals.UniqueST -> [Language.Fixpoint.Types.Environments.BindId] RecSel Left Language.Fixpoint.Types.Graduals.UniqueST 05a9a4d26fdcbd96cc0cc15ef2a35840 uloc :: Language.Fixpoint.Types.Graduals.UniqueST -> GHC.Base.Maybe Language.Fixpoint.Types.Spans.SrcSpan RecSel Left Language.Fixpoint.Types.Graduals.UniqueST 01fdbd84fc58722be042020d7ae195ec uniquify :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.Spans.Loc a) => Language.Fixpoint.Types.Constraints.SInfo a -> Language.Fixpoint.Types.Constraints.SInfo a instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Graduals.$fGradualExpr instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Graduals.$fGradualGInfo instance Language.Fixpoint.Types.Graduals.Gradual [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.Graduals.$fGradualHashMap instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Graduals.$fGradualReft instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Graduals.$fGradualSimpC instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Graduals.$fGradualSizedEnv instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Graduals.$fGradualSortedReft instance Graphics.UI.Parallel.Select.Types.HasSpan [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Graduals.$fHasSpanSrcSpan instance GHC.Base.Monoid [Language.Fixpoint.Types.Graduals.GSol] = Language.Fixpoint.Types.Graduals.$fMonoidGSol instance GHC.Show.Show [Language.Fixpoint.Types.Graduals.GSol] = Language.Fixpoint.Types.Graduals.$fShowGSol instance Graphics.UI.Parallel.Select.Types.ShowPP [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Graduals.$fShowPPExpr instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Graduals.$fUniqueExpr instance Language.Fixpoint.Types.Graduals.Unique [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.Graduals.$fUniqueHashMap instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Graduals.$fUniqueIBindEnv instance Language.Fixpoint.Types.Graduals.Unique [GHC.Types.Int] = Language.Fixpoint.Types.Graduals.$fUniqueInt instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Graduals.$fUniqueReft instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Graduals.$fUniqueSimpC instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Graduals.$fUniqueSortedReft vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False