==================== FINAL INTERFACE ==================== 2019-09-22 14:52:51.66962 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.UniqifyBinds [family instance module] 8065 interface hash: 6d2995709644552d830e5d4ec25e25f1 ABI hash: eaa7879698d9e9a748103f95a9e44bfb export-list hash: 3613463f7559bf1afa99a47660046389 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 9320da87fb443248de9161ce2da0c8d3 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 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.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 double-conversion-2.0.2.0 fgl-5.7.0.1 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 mtl-2.2.2 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: transformers-0.5.6.2:Control.Monad.Trans.Error liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Control.Arrow cda881e865dd3141fb08ed18f2efcca7 import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e fst3 f5278b30747d6e9b343f3260d38ec0b3 mlookup 654d1c9b3eaae1610a3367570c91a4ac import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 dropDeadSubsts 43e5cce9af67a60dfb996b0be24d74c3 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 SInfo 90ef96c47f269969affd7c3639af34f3 SimpC 03dcffeea2a5199db7c9ff0154825bc0 _crhs 03dcffeea2a5199db7c9ff0154825bc0 bs 90ef96c47f269969affd7c3639af34f3 cm 90ef96c47f269969affd7c3639af34f3 crhs 9701eec311803b00e8ff03aadeb150fa senv b5a22d3808334133ad38d92f07d130ac wenv ad7a627c031dc594c719d4e423bdd067 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 BindId c1dc08df6d648ef575cab1d33fc5df7b adjustBindEnv 03a20071911999e08cc0bbf23913313f bindEnvFromList 967550b3b3f55a80adc5bd8c64cfd4dc bindEnvToList 4e95582ccd56c9ddcde8c24e66fac2b3 elemsIBindEnv cff28cd92ba002848a1acbf3edb359d8 emptyIBindEnv 6cfa8d73992960a6ab6331f8d3b757ff filterBindEnv d7f2b544457d7b6ee589986f90fe0a9b lookupBindEnv d43e50ddb41c32b57594f5f31bf34671 memberIBindEnv 042d686ac1046dc546144657885262c4 unionIBindEnv d6e374c110095a69fc96506c80b54d5a import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 renameSymbol 5afdfb8f4019e0e926007c26dcda3ae9 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc Expr 58dd7eff6040aa97f060415235c6cb01 SortedReft 58dd7eff6040aa97f060415235c6cb01 Subst 58dd7eff6040aa97f060415235c6cb01 eVar 78f3007f3bb9a0c61a30d1ab8e58f084 isTauto 2fb0b34f6b8aac8f204ebb27337a74a2 sr_reft 58dd7eff6040aa97f060415235c6cb01 sr_sort 58dd7eff6040aa97f060415235c6cb01 subst 8dc51beb28f3e734b2b3097edf7df9c8 syms cedb5518769db9d49f4ce507184c5e1f import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c import -/ Language.Fixpoint.Types.Substitutions 68389730f57eb1bd783731c1e8e83435 mkSubst fa0e5a33f52a68ffd2f44ba8a067ca8c import -/ Language.Fixpoint.Types.Utils c4558c8f9797d9736e70827b8d56a1d3 reftFreeVars 6f7479b9a5de918c0c29df54be0eb764 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 c3611faa8e28c644b0782dd86254fb30 $fEqRef :: GHC.Classes.Eq Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId c3611faa8e28c644b0782dd86254fb30 $fGenericRef :: GHC.Generics.Generic Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId c3611faa8e28c644b0782dd86254fb30 $fHashableRef :: Data.Hashable.Class.Hashable Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId c3611faa8e28c644b0782dd86254fb30 $fNFDataRef :: Control.DeepSeq.NFData Language.Fixpoint.Solver.UniqifyBinds.Ref DFunId 789ab75d919f5d66b295ee71fb8f06a8 $tc'RB :: GHC.Types.TyCon cb50809b961ddfaa445553a9290e2cde $tc'RI :: GHC.Types.TyCon c7b2300615d3dcc38560f1e8b28f322c $tcRef :: GHC.Types.TyCon 934027afde6d33ef2e287faa6df134ff $trModule :: GHC.Types.Module 4f8684c053d9a8dbae22c554b3625904 type IdMap = Data.HashMap.Base.HashMap Language.Fixpoint.Solver.UniqifyBinds.Ref (Data.HashSet.HashSet Language.Fixpoint.Types.Environments.BindId) c3611faa8e28c644b0782dd86254fb30 data Ref = RB !Language.Fixpoint.Types.Environments.BindId | RI !GHC.Integer.Type.Integer ca8f505cc4b6345a6be8b059db161d1b type RenameMap = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol [(Language.Fixpoint.Types.Sorts.Sort, GHC.Maybe.Maybe Language.Fixpoint.Types.Names.Symbol)] c3611faa8e28c644b0782dd86254fb30 axiom Language.Fixpoint.Solver.UniqifyBinds.Rep_Ref:: GHC.Generics.Rep Language.Fixpoint.Solver.UniqifyBinds.Ref = GHC.Generics.D1 ('GHC.Generics.MetaData "Ref" "Language.Fixpoint.Solver.UniqifyBinds" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "RB" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.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.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Integer.Type.Integer))) 080af345d0d20eb60d2e91ac3388b62b 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 trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: