==================== FINAL INTERFACE ==================== 2017-05-08 17:11:07.000087 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers [family instance module] 8002 interface hash: cda01bd174302d02ce8f21387a1b695e ABI hash: c2e760ad7f82403b36096398e6cdbd50 export-list hash: e44c6362d5c38ab5d9e827b82e6e4478 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 3e9da7f76a1b96d5bc9ae423dc279113 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Triggers.defaultTrigger Language.Fixpoint.Types.Triggers.makeTriggers Language.Fixpoint.Types.Triggers.noTrigger Language.Fixpoint.Types.Triggers.Trigger{Language.Fixpoint.Types.Triggers.LeftHandSide Language.Fixpoint.Types.Triggers.NoTrigger} Language.Fixpoint.Types.Triggers.Triggered{Language.Fixpoint.Types.Triggers.TR} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans 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 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 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic 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 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.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 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: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 -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary 68bf10cd9cced43ad785ce79fc9157c3 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Class 74e43ac8c719b63390fb5224488bc2fa 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 -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b errorstar 38cc16c0836e03b9af68d3c95faef762 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 exports: ad3988e4da25568fd374ece65579ba09 ECst 06c1a8791e33ac7ca6714e477124b679 Eq c1b25320389b84ebe6a3e3b57ad71aff Expr bb73da387a50fe3797caa66eb4fb9c35 PAll 3c207c04197a306333e12ea805cc0e1b PAtom 866d6e2737f3ad25130ad773f2c60d65 PExist 6ffa4e1862c34ed00f17a1c5df2acdc5 PFalse f86be892268a2b3bd8031229a6526c6a PIff ff91f60b88fbd087ae722287900be9ae Ueq b9a0562fdb85b8438e681e351e1352c3 d39972cec2a7b7cef313086c01f66d7e $fBinaryTrigger :: Data.Binary.Class.Binary Language.Fixpoint.Types.Triggers.Trigger DFunId d39972cec2a7b7cef313086c01f66d7e $fBinaryTriggered :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d39972cec2a7b7cef313086c01f66d7e $fEqTrigger :: GHC.Classes.Eq Language.Fixpoint.Types.Triggers.Trigger DFunId d39972cec2a7b7cef313086c01f66d7e $fEqTriggered :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d39972cec2a7b7cef313086c01f66d7e $fFunctorTriggered :: GHC.Base.Functor Language.Fixpoint.Types.Triggers.Triggered DFunId d39972cec2a7b7cef313086c01f66d7e $fGenericTrigger :: GHC.Generics.Generic Language.Fixpoint.Types.Triggers.Trigger DFunId d39972cec2a7b7cef313086c01f66d7e $fGenericTriggered :: GHC.Generics.Generic (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d39972cec2a7b7cef313086c01f66d7e $fNFDataTrigger :: Control.DeepSeq.NFData Language.Fixpoint.Types.Triggers.Trigger DFunId d39972cec2a7b7cef313086c01f66d7e $fNFDataTriggered :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d39972cec2a7b7cef313086c01f66d7e $fShowTrigger :: GHC.Show.Show Language.Fixpoint.Types.Triggers.Trigger DFunId d39972cec2a7b7cef313086c01f66d7e $fShowTriggered :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Triggers.Triggered a) DFunId 1d5c3dd952b9aa9b7f575d6024f55a44 $tc'LeftHandSide :: GHC.Types.TyCon 8b723f7bc272b16b238e8734a50b6244 $tc'NoTrigger :: GHC.Types.TyCon 6491e6865123cf3a8b79c2b5828a4765 $tc'TR :: GHC.Types.TyCon 7f7b18bde14d5fc9ca2fa3f2ec45a7db $tcTrigger :: GHC.Types.TyCon 3645a2451ac416d84742a639d3ba6987 $tcTriggered :: GHC.Types.TyCon ae27b1cdd6f758678131a27622ba402d $trModule :: GHC.Types.Module d39972cec2a7b7cef313086c01f66d7e axiom Rep_Trigger:: GHC.Generics.Rep Language.Fixpoint.Types.Triggers.Trigger = GHC.Generics.D1 ('GHC.Generics.MetaData "Trigger" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "NoTrigger" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "LeftHandSide" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) d39972cec2a7b7cef313086c01f66d7e axiom Rep_Triggered:: [a] GHC.Generics.Rep (Language.Fixpoint.Types.Triggers.Triggered a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Triggered" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "TR" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Triggers.Trigger) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 a))) d39972cec2a7b7cef313086c01f66d7e data Trigger = NoTrigger | LeftHandSide d39972cec2a7b7cef313086c01f66d7e data Triggered a = TR Language.Fixpoint.Types.Triggers.Trigger a 825b25e04f8665bdd99ea8284f36c05b defaultTrigger :: e -> Language.Fixpoint.Types.Triggers.Triggered e 5b814c4f5f383c6ef54e3deb338a5232 makeTriggers :: Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr -> [Language.Fixpoint.Types.Refinements.Expr] f3d7a7c3f92115e00705e28214155cfa noTrigger :: e -> Language.Fixpoint.Types.Triggers.Triggered e instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fBinaryTrigger instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fBinaryTriggered instance GHC.Classes.Eq [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fEqTrigger instance GHC.Classes.Eq [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fEqTriggered instance GHC.Base.Functor [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fFunctorTriggered instance GHC.Generics.Generic [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fGenericTrigger instance GHC.Generics.Generic [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fGenericTriggered instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fNFDataTrigger instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fNFDataTriggered instance GHC.Show.Show [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fShowTrigger instance GHC.Show.Show [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fShowTriggered family instance GHC.Generics.Rep [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.Rep_Triggered family instance GHC.Generics.Rep [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.Rep_Trigger vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False