==================== FINAL INTERFACE ==================== 2019-09-22 14:52:43.341957 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.TrivialSort [family instance module] 8065 interface hash: e03fd93b7a7b645ee31286630bb52461 ABI hash: d7fdcbbfd1f9ff39bf351168c3c2909c export-list hash: d546f3ef755688cf82f7be6e169fd6f4 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 796ab6b7d690b2243c65c7e5ca41b517 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 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.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 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 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.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 intern-0.9.2:Data.Interned.Internal.Text 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.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:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Debug.Trace 60f75ad789dcddb29321db1cb21ccd4c 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.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:Text.Printf d9e1f32eb8aa55bafa1cf4360210b275 import -/ containers-0.6.0.1:Data.Graph 681805d2edd6844f7f403edb3665ef4a import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b 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 errorstar e47c2d482124b43e020a405f809adcff fst3 f5278b30747d6e9b343f3260d38ec0b3 groupList 89ce0af3d82aae7a2d9f3f3c1cde0d05 inserts 7de1379eef9de67bec15b409215a296e snd3 4148f6cf88913a5dcfb4f2521a1e63ca import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 queryFile 24dfc95af04dba576b5be5b6594619e1 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 FInfo b6d52641b5c0c13c0e61844e2114eb16 Result 9b37020b88a84332f42c4a4efcccc0c2 SubC 1844afeba4cbd3ee9cea173e868f8ce9 WfC ad7a627c031dc594c719d4e423bdd067 bs 90ef96c47f269969affd7c3639af34f3 cm 90ef96c47f269969affd7c3639af34f3 slhs 1844afeba4cbd3ee9cea173e868f8ce9 srhs 1844afeba4cbd3ee9cea173e868f8ce9 wrft ad7a627c031dc594c719d4e423bdd067 writeFInfo ebc5583e57453ee643889abce46ece2a ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 bindEnvToList 4e95582ccd56c9ddcde8c24e66fac2b3 mapBindEnv 32197c169397373f8fac7df4bdb16c5f import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc EVar dbcccd19fa06e8cd413d3f8989324ef6 Eq 3f11ae5b47578ad5a2c554235bd0e66b Expr 58dd7eff6040aa97f060415235c6cb01 KVar f4ebd74e51621c4f10e9fc003e3885a9 PAtom efd69e8b2834a0937ec103ca6d2f2b7d PKVar 00776deded6bdc1a9b45a9cd2ff73aa5 RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 Reft 58dd7eff6040aa97f060415235c6cb01 SortedReft 58dd7eff6040aa97f060415235c6cb01 conjuncts 62dbde6d56cf10a600838f12dff254d8 isNonTrivial 3a097c5f9ea6e7dca22bab5a2f3df362 isTautoPred b0ebfe363526526426c55e6ea6cc9f4d reftPred 9d7b055289a88730385e70810b114b97 sr_reft 58dd7eff6040aa97f060415235c6cb01 sr_sort 58dd7eff6040aa97f060415235c6cb01 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 kvars c0e50d3c638d80582ef2ff4559ccde96 import -/ Language.Fixpoint.Utils.Files b2b779ebebf03f66af4a684b17d25d25 exports: 061e3dd63eb42c6c413f2db46ae3d0cb Out 045dcbb1c6e99954ac68641e69f8396b 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 d165105ac852eeb534e9465c286ce2bd $fEqNTV :: GHC.Classes.Eq Language.Fixpoint.Solver.TrivialSort.NTV DFunId d165105ac852eeb534e9465c286ce2bd $fGenericNTV :: GHC.Generics.Generic Language.Fixpoint.Solver.TrivialSort.NTV DFunId d165105ac852eeb534e9465c286ce2bd $fHashableNTV :: Data.Hashable.Class.Hashable Language.Fixpoint.Solver.TrivialSort.NTV DFunId d165105ac852eeb534e9465c286ce2bd $fOrdNTV :: GHC.Classes.Ord Language.Fixpoint.Solver.TrivialSort.NTV DFunId d165105ac852eeb534e9465c286ce2bd $fShowNTV :: GHC.Show.Show Language.Fixpoint.Solver.TrivialSort.NTV DFunId f0439f5edfdddb39fa64036de84a0728 $tc'K :: GHC.Types.TyCon 7924df417b67a701b0efa21ba70a929d $tc'Lhs :: GHC.Types.TyCon ce19cd5cce985abfbf7afdd77af1c8c8 $tc'NTV :: GHC.Types.TyCon 68243210baf7bd66c27e473f8d36f672 $tc'Rhs :: GHC.Types.TyCon 61a4424dcb8c8ab0576ec7560e54813a $tc'S :: GHC.Types.TyCon 371dd896dea0091fafbdc07e93ec7ac6 $tcNTV :: GHC.Types.TyCon 23680f8bf48eb278dd225a464ba37699 $tcPolarity :: GHC.Types.TyCon ae6efe27e667637e76064d5f81182db7 $trModule :: GHC.Types.Module 6c65944947d2b6a0c636447990c583a2 type KVarMap = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [Language.Fixpoint.Types.Sorts.Sort] 753b7e506e30dc8b50ba9c5629d28b67 type NTG = [(Language.Fixpoint.Solver.TrivialSort.NTV, Language.Fixpoint.Solver.TrivialSort.NTV, [Language.Fixpoint.Solver.TrivialSort.NTV])] d165105ac852eeb534e9465c286ce2bd data NTV = NTV | K !Language.Fixpoint.Types.Refinements.KVar | S !Language.Fixpoint.Types.Sorts.Sort ae7c065466de53bd0925cd1f3ec14892 type NonTrivSorts = Data.HashSet.HashSet Language.Fixpoint.Types.Sorts.Sort 5e07ff1020499b10065ec303a9b668b7 data Polarity = Lhs | Rhs d165105ac852eeb534e9465c286ce2bd axiom Language.Fixpoint.Solver.TrivialSort.Rep_NTV:: GHC.Generics.Rep Language.Fixpoint.Solver.TrivialSort.NTV = GHC.Generics.D1 ('GHC.Generics.MetaData "NTV" "Language.Fixpoint.Solver.TrivialSort" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" '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.Maybe.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.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)))) 5e37d4fa4585427f24c76bb368978354 type TrivInfo = (Language.Fixpoint.Solver.TrivialSort.NonTrivSorts, Language.Fixpoint.Solver.TrivialSort.KVarMap) b61f545b5f12fc3c16c97869333a52e4 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 trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: