==================== FINAL INTERFACE ==================== 2019-09-22 14:52:53.161252 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Defunctionalize 8065 interface hash: fc5da96bda011ec5730852a626256c77 ABI hash: 1d90f9122b6c5e6ad683a06eb6b5b76c export-list hash: 44b2eca79f60178c88556395b24303d5 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 9eb6b83e07344364fb5b0fa4f4bfc709 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Defunctionalize.defuncAny Language.Fixpoint.Defunctionalize.defunctionalize Language.Fixpoint.Defunctionalize.Defunc{Language.Fixpoint.Defunctionalize.defunc} 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: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories transformers-0.5.6.2:Control.Monad.Trans.Error 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.Monad 07eaec7fd256019b318d048d00f45b1c import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 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.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb 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 -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e fM fc0ed533fb3547ed8f3e5e90f6f89b62 mapSnd 56a8c287203c2790b4db9115db2b9192 secondM 769157a40c452ca0ad3ada0e937271df import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 symbolEnv e9ab0691e8ecbe0102273ed657a09d59 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 allowHO 3988ec36858b82afed711ea7ff67ff00 defunction 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 GInfo 90ef96c47f269969affd7c3639af34f3 GWfC bec043696f6233a82767c87474654ee6 SInfo 90ef96c47f269969affd7c3639af34f3 SimpC 03dcffeea2a5199db7c9ff0154825bc0 TaggedC ec47f4df806fb3eb50e32a07ab4ee371 WfC 1ac206eb21b0e2e607ad20985c4be7cd WfC ad7a627c031dc594c719d4e423bdd067 _crhs 03dcffeea2a5199db7c9ff0154825bc0 asserts 90ef96c47f269969affd7c3639af34f3 bs 90ef96c47f269969affd7c3639af34f3 cm 90ef96c47f269969affd7c3639af34f3 dLits 90ef96c47f269969affd7c3639af34f3 gLits 90ef96c47f269969affd7c3639af34f3 senv b5a22d3808334133ad38d92f07d130ac wenv ad7a627c031dc594c719d4e423bdd067 wexpr ad7a627c031dc594c719d4e423bdd067 wrft ad7a627c031dc594c719d4e423bdd067 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 IBindEnv b71d4c279d7a7920d70dd44bac0305aa SEnv 7b76b1b3898bd64fc8c2187c261c0f80 emptyIBindEnv 6cfa8d73992960a6ab6331f8d3b757ff insertSEnv 4288c53866870f2766a71eff8924b8fb mapMSEnv 152e72246f3c15ad5db786e1c57bd498 mapWithKeyMBindEnv 219f508e16df9faacad8d3bc324a44d1 memberIBindEnv 042d686ac1046dc546144657885262c4 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 intSymbol a4ae136aedf5d0fada743997e9c6751f lamArgSymbol 934937917f1dc2b7ff950de0d0661403 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 Fixpoint 98d26628e0637967f879c1c12cfa20b7 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc EApp 54242238b0fd99173645e603ea6a95e1 ECst 77d8fb760e457bfd124c455ed691c864 ELam e0029a0f9c90cfaf5ca8a8fc8de8a995 EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 PAll 95061dd88b416f835271772df1b74807 RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 Reft 58dd7eff6040aa97f060415235c6cb01 SortedReft 58dd7eff6040aa97f060415235c6cb01 subst1 32fda17df52baa2dc57c3f6fcba8c1ae import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c import -/ Language.Fixpoint.Types.Theories 2d31db6b0cdc7b0f2231db238b021516 SymEnv 0506688674ca55c28cc4df4c4dbdb2df import -/ Language.Fixpoint.Types.Triggers 8abd2355db756b37b9b5fb3b0ce44e32 TR a3d1f7b1a17835a315118c4cf4f7907f Triggered d4e347d662ffae46e19beccd9e71f8e0 import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 mapMExpr 6293e52d58f2fec83e2af187562c44a6 import -/ mtl-2.2.2:Control.Monad.State 753def63fe8e937dc636f11e5230745a import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418 import -/ transformers-0.5.6.2:Control.Monad.Trans.State.Lazy 0c22827dedcb94d04bf072c00f8e95c2 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 1c192c4ae277006835a462a694d8eb14 $fDefunc(,) :: Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefunc(,)0 :: Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncExpr :: Language.Fixpoint.Defunctionalize.Defunc Language.Fixpoint.Types.Refinements.Expr DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncGInfo :: (Language.Fixpoint.Defunctionalize.Defunc (c a), Language.Fixpoint.Types.Constraints.TaggedC c a) => Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncHashMap :: (Language.Fixpoint.Defunctionalize.Defunc a, GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => Language.Fixpoint.Defunctionalize.Defunc (Data.HashMap.Base.HashMap k a) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncReft :: Language.Fixpoint.Defunctionalize.Defunc Language.Fixpoint.Types.Refinements.Reft DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncSEnv :: Language.Fixpoint.Defunctionalize.Defunc a => Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Environments.SEnv a) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncSimpC :: Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncSizedEnv :: Language.Fixpoint.Defunctionalize.Defunc Language.Fixpoint.Types.Environments.BindEnv DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncSort :: Language.Fixpoint.Defunctionalize.Defunc Language.Fixpoint.Types.Sorts.Sort DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncSortedReft :: Language.Fixpoint.Defunctionalize.Defunc Language.Fixpoint.Types.Refinements.SortedReft DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncTriggered :: Language.Fixpoint.Defunctionalize.Defunc a => Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Triggers.Triggered a) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefuncWfC :: Language.Fixpoint.Defunctionalize.Defunc (Language.Fixpoint.Types.Constraints.WfC a) DFunId 1c192c4ae277006835a462a694d8eb14 $fDefunc[] :: Language.Fixpoint.Defunctionalize.Defunc a => Language.Fixpoint.Defunctionalize.Defunc [a] DFunId ba946c2b042ce91519506f96373a5e20 $tc'C:Defunc :: GHC.Types.TyCon e22372a11232765ebf9214be885544fd $tc'DFST :: GHC.Types.TyCon 5f2bab08d2f786853da3fa88bd51e582 $tcDFST :: GHC.Types.TyCon 69ba3a1a527f2ed6ae627047e0ec3b34 $tcDefunc :: GHC.Types.TyCon 242aba0a6adb27ec9c043230e385a3c5 $trModule :: GHC.Types.Module d3dd44c5e2ae27f9a940e4c6a0f62ceb type DF = Control.Monad.Trans.State.Lazy.State Language.Fixpoint.Defunctionalize.DFST :: * -> * c7363972b307b303d32d5b8361c4b693 data DFST = DFST {dfFresh :: !GHC.Types.Int, dfEnv :: !Language.Fixpoint.Types.Theories.SymEnv, dfBEnv :: !Language.Fixpoint.Types.Environments.IBindEnv, dfHO :: !GHC.Types.Bool, dfLams :: ![Language.Fixpoint.Types.Refinements.Expr], dfRedex :: ![Language.Fixpoint.Types.Refinements.Expr], dfBinds :: !(Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort)} 1c192c4ae277006835a462a694d8eb14 class Defunc a where defunc :: a -> Language.Fixpoint.Defunctionalize.DF a {-# MINIMAL defunc #-} 66de87ab882b30b605fe1e924257c559 defuncAny :: Language.Fixpoint.Defunctionalize.Defunc a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Theories.SymEnv -> a -> a 6f11f2226cee00ae34549605683847f2 defunctionalize :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> Language.Fixpoint.Types.Constraints.SInfo a c7363972b307b303d32d5b8361c4b693 dfBEnv :: Language.Fixpoint.Defunctionalize.DFST -> Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Defunctionalize.DFST c7363972b307b303d32d5b8361c4b693 dfBinds :: Language.Fixpoint.Defunctionalize.DFST -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Defunctionalize.DFST c7363972b307b303d32d5b8361c4b693 dfEnv :: Language.Fixpoint.Defunctionalize.DFST -> Language.Fixpoint.Types.Theories.SymEnv RecSel Left Language.Fixpoint.Defunctionalize.DFST c7363972b307b303d32d5b8361c4b693 dfFresh :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Int RecSel Left Language.Fixpoint.Defunctionalize.DFST c7363972b307b303d32d5b8361c4b693 dfHO :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool RecSel Left Language.Fixpoint.Defunctionalize.DFST c7363972b307b303d32d5b8361c4b693 dfLams :: Language.Fixpoint.Defunctionalize.DFST -> [Language.Fixpoint.Types.Refinements.Expr] RecSel Left Language.Fixpoint.Defunctionalize.DFST c7363972b307b303d32d5b8361c4b693 dfRedex :: Language.Fixpoint.Defunctionalize.DFST -> [Language.Fixpoint.Types.Refinements.Expr] RecSel Left Language.Fixpoint.Defunctionalize.DFST instance Language.Fixpoint.Defunctionalize.Defunc [(,)] = Language.Fixpoint.Defunctionalize.$fDefunc(,) instance Language.Fixpoint.Defunctionalize.Defunc [(,)] = Language.Fixpoint.Defunctionalize.$fDefunc(,)0 instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Defunctionalize.$fDefuncExpr instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Defunctionalize.$fDefuncGInfo instance Language.Fixpoint.Defunctionalize.Defunc [Data.HashMap.Base.HashMap] = Language.Fixpoint.Defunctionalize.$fDefuncHashMap instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Defunctionalize.$fDefuncReft instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Defunctionalize.$fDefuncSEnv instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Defunctionalize.$fDefuncSimpC instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Defunctionalize.$fDefuncSizedEnv instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Defunctionalize.$fDefuncSort instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Defunctionalize.$fDefuncSortedReft instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Defunctionalize.$fDefuncTriggered instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Defunctionalize.$fDefuncWfC instance Language.Fixpoint.Defunctionalize.Defunc [[]] = Language.Fixpoint.Defunctionalize.$fDefunc[] trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: