==================== FINAL INTERFACE ==================== 2017-05-08 17:11:15.330496 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.TrivialSort [family instance module] 8002 interface hash: 616f6628ee1f8fcc063b145cc5b7c6ad ABI hash: f6d93429b1de2c461659544dd9b7137e export-list hash: 270b9d7d991c55b9597660d3e40798ba orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 731f0fdcfb33f4e47d3cd9a3a1dd0dd7 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.TrivialSort.nontrivsorts module dependencies: Language.Fixpoint.Misc 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.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 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 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 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 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 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text 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.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.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Debug.Trace a9edf3aec504f4423d8ba829ab373a25 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.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:Text.Printf 6701574960cd2af960fec5d940be0c25 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Graph 54c0f58a4ccb634fc9eab39368f95434 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 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 -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b errorstar 38cc16c0836e03b9af68d3c95faef762 fst3 c2fb078f91ea47d89f334b40271f00d5 groupList a38f3ffef5c093f815d9eacf9823aaec inserts dca83463f129a2b8a218b17aa88141ac snd3 04376486690d5f5078e95019210506a0 import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df exports: 26252365e1684d225d5392dd42c93881 Config a1e0868924a10a6ced01485926d4ec1f queryFile a3de8e7a9edce3ecfb4556e8785fc343 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba FInfo 3213e85dfe758ae89c1ad08a0ad56ebb Result a4bc36bdb15e1ca1cbde55d9eb8492b9 SubC e2623f0e115cd5fe06013981436e60f2 WfC 17c7f6e4d74d3b539dca7c3556bc9f4f bs d61bc046b917adffb7499296cdd6f706 cm bd6d51f78a487f86f74c55f8b64d03e8 slhs 28d17b05f6bb0481c47ccc52c46dbbeb srhs 895e0b286f758c17771362043b1eba6a wrft d83900b61f262b29c1f6a26d0573c4bf writeFInfo a4efabb2d717c39efb90fe4d947cfdc1 ws fef3eea7365ecfd2111de5aae1af543e import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e BindEnv b22ca5d85c77eb9cc63ef625fe87597a bindEnvToList 75ce40f2a6fba5dff44661ad4e4d59f5 mapBindEnv 6215241911c4ebcc457255a60a4e5635 import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 Symbol 107cf7489707dd0de1ccae6d6e42b2ab import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 EVar 566b7c7ff8fdc63c55d18f2d537af0b8 Eq c1b25320389b84ebe6a3e3b57ad71aff Expr bb73da387a50fe3797caa66eb4fb9c35 KVar 68dcac5ad144e4854dc35cff62d456d0 PAtom 866d6e2737f3ad25130ad773f2c60d65 PKVar cac5df8173370c1a324ebcbaf20e9f3d RR 0a874a8408748c051c510af8e624ba5d Reft f5a891a2ea821362b40d468df43305ef Reft bb73da387a50fe3797caa66eb4fb9c35 SortedReft bb73da387a50fe3797caa66eb4fb9c35 conjuncts 69fed87359af039cadde0d8b45def559 isNonTrivial 6ee9393497ace301b998bbb7e66908dc isTautoPred 0b55ae449d7dbd6beb0fdb1eaf64167d reftPred a438607a9f4c12146119a2b257462446 sr_reft 0905ab9079105db5d28e4595144e31cc sr_sort 041bed6b6ff182798e8b8b2890b23c64 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da Sort f220e315b91d89c678725efa47bd0097 import -/ Language.Fixpoint.Types.Visitor 562b326437be6bf1306273f048769e9c exports: af05a96a471de9ae7bb1b445015e81c2 kvars 21dd1dcffea29da47c8464923a702358 import -/ Language.Fixpoint.Utils.Files be394d70e321a20df414eb3c7ce0cdfa exports: ebb433e6c2d1f5ff63bc5cc6b8ec3d71 Out 33256e7991818778e86cd9f546b660e9 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 78d68bcaf067cdd3f9be813426618188 $fEqNTV :: GHC.Classes.Eq Language.Fixpoint.Solver.TrivialSort.NTV DFunId 78d68bcaf067cdd3f9be813426618188 $fGenericNTV :: GHC.Generics.Generic Language.Fixpoint.Solver.TrivialSort.NTV DFunId 78d68bcaf067cdd3f9be813426618188 $fHashableNTV :: Data.Hashable.Class.Hashable Language.Fixpoint.Solver.TrivialSort.NTV DFunId 78d68bcaf067cdd3f9be813426618188 $fOrdNTV :: GHC.Classes.Ord Language.Fixpoint.Solver.TrivialSort.NTV DFunId 78d68bcaf067cdd3f9be813426618188 $fShowNTV :: GHC.Show.Show Language.Fixpoint.Solver.TrivialSort.NTV DFunId b7e2b1368e718d80274e26ed7c5032bc $tc'K :: GHC.Types.TyCon 0d1e9670f81806aa02656b5b554b9bcd $tc'Lhs :: GHC.Types.TyCon b6a89100c873bc3ae505a468f68ef25d $tc'NTV :: GHC.Types.TyCon c5c412fe59f31429669a3f98e4ab51a4 $tc'Rhs :: GHC.Types.TyCon dcf2b387290057b26378ffb3f81df588 $tc'S :: GHC.Types.TyCon fb7ca9e79dffa114e16c9119ecc58edd $tcNTV :: GHC.Types.TyCon 830d18b65cba8bbef94c636147bbf647 $tcPolarity :: GHC.Types.TyCon 5ec758c2fb2e7b563506f22db1c90cc1 $trModule :: GHC.Types.Module 5d25c9b27660136fdbdad0500ff07b14 type KVarMap = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [Language.Fixpoint.Types.Sorts.Sort] 22e842062239c957e97c90ee996910d3 type NTG = [(Language.Fixpoint.Solver.TrivialSort.NTV, Language.Fixpoint.Solver.TrivialSort.NTV, [Language.Fixpoint.Solver.TrivialSort.NTV])] 78d68bcaf067cdd3f9be813426618188 data NTV = NTV | K !Language.Fixpoint.Types.Refinements.KVar | S !Language.Fixpoint.Types.Sorts.Sort b13b1fa64226543265f71f8c9b15801c type NonTrivSorts = Data.HashSet.HashSet Language.Fixpoint.Types.Sorts.Sort 1ecbe04046f5b5c88f56517845d35090 data Polarity = Lhs | Rhs 78d68bcaf067cdd3f9be813426618188 axiom Rep_NTV:: GHC.Generics.Rep Language.Fixpoint.Solver.TrivialSort.NTV = GHC.Generics.D1 ('GHC.Generics.MetaData "NTV" "Language.Fixpoint.Solver.TrivialSort" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "NTV" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "K" '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.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "S" '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.Sorts.Sort)))) 76d6fcc8b074982899ceda850da5cd19 type TrivInfo = (Language.Fixpoint.Solver.TrivialSort.NonTrivSorts, Language.Fixpoint.Solver.TrivialSort.KVarMap) f43dd44ceed0c628b44e9b95793fb213 nontrivsorts :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result a) instance GHC.Classes.Eq [Language.Fixpoint.Solver.TrivialSort.NTV] = Language.Fixpoint.Solver.TrivialSort.$fEqNTV instance GHC.Generics.Generic [Language.Fixpoint.Solver.TrivialSort.NTV] = Language.Fixpoint.Solver.TrivialSort.$fGenericNTV instance Data.Hashable.Class.Hashable [Language.Fixpoint.Solver.TrivialSort.NTV] = Language.Fixpoint.Solver.TrivialSort.$fHashableNTV instance GHC.Classes.Ord [Language.Fixpoint.Solver.TrivialSort.NTV] = Language.Fixpoint.Solver.TrivialSort.$fOrdNTV instance GHC.Show.Show [Language.Fixpoint.Solver.TrivialSort.NTV] = Language.Fixpoint.Solver.TrivialSort.$fShowNTV family instance GHC.Generics.Rep [Language.Fixpoint.Solver.TrivialSort.NTV] = Language.Fixpoint.Solver.TrivialSort.Rep_NTV vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False