==================== FINAL INTERFACE ==================== 2017-05-08 17:11:21.95968 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.UniqifyBinds [family instance module] 8002 interface hash: fedf4fbbf67f930a9ae04ebc553a67b3 ABI hash: a7de20d9282753db6125ff709738ee04 export-list hash: 25688f0f76e74471c6da6ffa355a80a0 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: d3a868bb4602f3e8fa567a5f8374254d sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.UniqifyBinds.renameAll 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 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.Maybe d876c4ffe4b3c43755a781e8ad860d88 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.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 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 -/ 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.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b fst3 c2fb078f91ea47d89f334b40271f00d5 mlookup ed031499c225551e3740f711a7cc16cf import -/ Language.Fixpoint.Solver.Sanitize ff19a94c7792aae49f20f609ba480654 exports: 413c872f3f39b8d2fc50665da15a3129 dropDeadSubsts d97febce6ed22df21006caab419126e1 import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba SInfo c4bf42c4a9b32550baf9a82ec918fc53 SimpC ab7e97d469950e731d9d2580ab8541ef _crhs 100ba846958047a5479147c0b29c64d1 bs d61bc046b917adffb7499296cdd6f706 cm bd6d51f78a487f86f74c55f8b64d03e8 crhs 1999e06979610b1afdd7eee052b939ea senv 160d900354e746714fa262d20fcb4793 wenv 33a9fbd5d0ed8c2940233f2b555706e7 ws fef3eea7365ecfd2111de5aae1af543e import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e BindEnv b22ca5d85c77eb9cc63ef625fe87597a BindId 6733d8cce8f3a70fc98d8a2dd05b900e adjustBindEnv 1df32e5fc75221b392b2f35abf18703f bindEnvFromList 833f3b7efe2e281df230fd9449cef290 bindEnvToList 75ce40f2a6fba5dff44661ad4e4d59f5 elemsIBindEnv b36a4dfe9459424486b2e816e214bf76 emptyIBindEnv 318829125bf1dc50e1d5a9154100fc92 filterBindEnv 53c428e11154f44e3e39832ae21479c2 lookupBindEnv b14112e4f970f3f7f409de20a2723561 memberIBindEnv 85dcafc870f8c0b617804dd335129034 unionIBindEnv c0b209cbc0ec2c282be018249bc37ae9 import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 Symbol 107cf7489707dd0de1ccae6d6e42b2ab renameSymbol 67cc445e760c20618826c94351c33cb6 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 Expr bb73da387a50fe3797caa66eb4fb9c35 SortedReft bb73da387a50fe3797caa66eb4fb9c35 Subst bb73da387a50fe3797caa66eb4fb9c35 eVar 74d88810d65881403751f807b276cb41 isTauto 49c6341234d20605e52a398e67e6fd9c sr_reft 0905ab9079105db5d28e4595144e31cc sr_sort 041bed6b6ff182798e8b8b2890b23c64 subst a1be563035cd0a1ba7c6137fdc245106 syms 3959efd3a483c9eaea7b62fe89b99ca8 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da Sort f220e315b91d89c678725efa47bd0097 import -/ Language.Fixpoint.Types.Substitutions b7f0aa61d5c475fe500e5e08936d5953 mkSubst 6e7145d21639b1c40a59e5308fa032b9 import -/ Language.Fixpoint.Types.Utils 181db872854012ee16c287a57782a1d9 reftFreeVars 20a054426da5a089530b1c98726496ea 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 e9fe7bc8a1d4ebfb2b2a37521277384b $fEqRef :: GHC.Classes.Eq Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId e9fe7bc8a1d4ebfb2b2a37521277384b $fGenericRef :: GHC.Generics.Generic Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId e9fe7bc8a1d4ebfb2b2a37521277384b $fHashableRef :: Data.Hashable.Class.Hashable Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId e9fe7bc8a1d4ebfb2b2a37521277384b $fNFDataRef :: Control.DeepSeq.NFData Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId 9d353f6b2cae98fe08c9b327c714facf $tc'RB :: GHC.Types.TyCon a376eeee4f7d0d7fb4a22f8623c37a93 $tc'RI :: GHC.Types.TyCon 88f25c496ccd36cefa6f4d5599ae7783 $tcRef :: GHC.Types.TyCon 166098a8bbe2ded1ca4221586ad513bc $trModule :: GHC.Types.Module 3a17a68d1f66da038a06bca47d3983d2 type IdMap = Data.HashMap.Base.HashMap Language.Fixpoint.Solver.UniqifyBinds.Ref (Data.HashSet.HashSet Language.Fixpoint.Types.Environments.BindId) e9fe7bc8a1d4ebfb2b2a37521277384b data Ref = RB !Language.Fixpoint.Types.Environments.BindId | RI !GHC.Integer.Type.Integer e15f35ef39a3e07453f1ff309dba2e0c type RenameMap = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol [(Language.Fixpoint.Types.Sorts.Sort, GHC.Base.Maybe Language.Fixpoint.Types.Names.Symbol)] e9fe7bc8a1d4ebfb2b2a37521277384b axiom Rep_Ref:: GHC.Generics.Rep Language.Fixpoint.Solver.UniqifyBinds.Ref = GHC.Generics.D1 ('GHC.Generics.MetaData "Ref" "Language.Fixpoint.Solver.UniqifyBinds" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "RB" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.BindId)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "RI" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Integer.Type.Integer))) 799cbdad0f1b6bb178a2d47b9440aa59 renameAll :: Language.Fixpoint.Types.Constraints.SInfo a -> Language.Fixpoint.Types.Constraints.SInfo a instance GHC.Classes.Eq [Language.Fixpoint.Solver.UniqifyBinds.Ref] = Language.Fixpoint.Solver.UniqifyBinds.$fEqRef instance GHC.Generics.Generic [Language.Fixpoint.Solver.UniqifyBinds.Ref] = Language.Fixpoint.Solver.UniqifyBinds.$fGenericRef instance Data.Hashable.Class.Hashable [Language.Fixpoint.Solver.UniqifyBinds.Ref] = Language.Fixpoint.Solver.UniqifyBinds.$fHashableRef instance Control.DeepSeq.NFData [Language.Fixpoint.Solver.UniqifyBinds.Ref] = Language.Fixpoint.Solver.UniqifyBinds.$fNFDataRef family instance GHC.Generics.Rep [Language.Fixpoint.Solver.UniqifyBinds.Ref] = Language.Fixpoint.Solver.UniqifyBinds.Rep_Ref vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False