==================== FINAL INTERFACE ==================== 2017-05-02 18:37:05.588661 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Reducible 8002 interface hash: c065b36015c597b35e49437a859ca0dc ABI hash: 1ab4d22f279e9eae9aeab566a64a4686 export-list hash: 7e5235921cd84ebead6aa8347c0eac49 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 70381a8081ceb6fb7b2b32a9d05f5d45 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Reducible.isReducible 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 fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz 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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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 fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Tree d0006987ba7e0d1855cb2cb448efc980 import -/ fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive 1d5d93fb1345959541a82725223531e5 import -/ fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.Graph 18c48045823d2fd7b809d252d461edbb import -/ fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree 7f4931ce296febd73a076893051e2fd1 import -/ fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.Query.DFS 2a8f32fc7c7a21623174607ee94f6293 import -/ fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.Query.Dominators 1e1c94248609c97ee128d7b2f8976b89 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ Language.Fixpoint.Misc 268edc2be2657e56d9ac2e0e5f861c66 exports: 0d4209a369f77ae55113ca41b56281c2 safeLookup a0aea15e18c45d6dc603d7e6041ffdd5 import -/ Language.Fixpoint.Types 09d1039f1e0058408506d58eee0982ca exports: 91181ff2c29316a0420a9031c7b2d4bd import -/ Language.Fixpoint.Types.Constraints dc475bd125456ae511f39eb7bfb576f7 SInfo 1052549cc559e08aaa78c218edda206c SimpC 422c859b64e365b196f8fd06ad8cb7f1 bs d267a9df5f80275fb39b5fc05f60d3f9 cm e96439d8256cfec0e43dbb4c8b7f9965 crhs 1e68f26339689c1f8619807c178004c5 ws 5325410ee67d4c56c5404e8dff4dad17 import -/ Language.Fixpoint.Types.Environments 39a7a5317852adad63623f9a402cc5a6 BindEnv 792d9eaa5d5c1843c39b7b64e5cd1dac import -/ Language.Fixpoint.Types.Refinements 14ae5428586db5cedff3d8f72f8648b7 KVar 9a92033bfe21324e80629facb0f6357f import -/ Language.Fixpoint.Types.Visitor 8cae387e2f4319552a95752f5dcd18fb exports: 26f0cdfe40ac2491bdd244bfea3f01e6 envKVars 8beb8bafb32f77bb7d6294a6bb583510 kvars 16b8d297ad4a7c9e979b8fb21df7dcf8 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 5d1e9b10e507217fb9cff049f18c3e5d $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Graph.Reducible.$trModule2 Language.Fixpoint.Graph.Reducible.$trModule1) -} b37a9b3a7a5f59971cf4b21f6e01956c $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Graph.Reducible"#) -} 6f52717c9ae92a128fb2836b1710c082 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} 0b31c226cfae211488b05d5aab68b17e $w$s$wupdateOrSnocWithKey :: (Language.Fixpoint.Types.Refinements.KVar -> v -> v -> v) -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ v (w :: Language.Fixpoint.Types.Refinements.KVar -> v -> v -> v) (ww :: GHC.Prim.Int#) (ww1 :: Data.Text.Internal.Text) (ww2 :: Data.Text.Internal.Text) (w1 :: v) (w2 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v)) -> letrec { $wgo1 :: GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) {- Arity: 7, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) (ww4 :: Data.Text.Internal.Text) (ww5 :: Data.Text.Internal.Text) (w3 :: v) (ww6 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v)) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) -> let { nt :: Language.Fixpoint.Types.Names.Symbol = Language.Fixpoint.Types.Names.S ww3 ww4 ww5 } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww7 ww8) of wild { GHC.Types.False -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ww6 ww7 of ds { Unit# ipv3 -> case ipv3 of wild1 { Data.HashMap.Base.L kx y -> case kx `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild2 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww3 dt1) of wild3 { GHC.Types.False -> $wgo1 ww3 ww4 ww5 w3 ww6 (GHC.Prim.+# ww7 1#) ww8 GHC.Types.True -> case GHC.Prim.thawArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) @ GHC.Prim.RealWorld ww6 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ww6) GHC.Prim.realWorld# of ds1 { (#,#) ipv4 ipv5 -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv5 ww7 (Data.HashMap.Base.L @ Language.Fixpoint.Types.Refinements.KVar @ v nt `cast` (Sym (Language.Fixpoint.Types.Refinements.N:KVar[0])) (w nt `cast` (Sym (Language.Fixpoint.Types.Refinements.N:KVar[0])) w3 y)) ipv4 of s' { DEFAULT -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv5 s' of ds2 { (#,#) ipv6 ipv7 -> ipv7 } } } } } } } GHC.Types.True -> case GHC.Prim.newArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) @ GHC.Prim.RealWorld (GHC.Prim.+# ww8 1#) (Data.HashMap.Array.undefinedElem @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v)) GHC.Prim.realWorld# of ds { (#,#) ipv3 ipv4 -> case GHC.Prim.copyArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) @ GHC.Prim.RealWorld ww6 0# ipv4 0# ww8 ipv3 of s2 { DEFAULT -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv4 ww8 (Data.HashMap.Base.L @ Language.Fixpoint.Types.Refinements.KVar @ v nt `cast` (Sym (Language.Fixpoint.Types.Refinements.N:KVar[0])) w3) s2 of s' { DEFAULT -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) ipv4 s' of ds1 { (#,#) ipv5 ipv6 -> ipv6 } } } } } } in $wgo1 ww ww1 ww2 w1 w2 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Types.Refinements.KVar v) w2)) -} a208a02c59ab30c6e575203994e0bcd5 $w$sunsafeInsert :: GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Text.Internal.Text -> v -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ v (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (ww4 :: Data.Text.Internal.Text) (w :: v) (w1 :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v) -> case {__pkg_ccall hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x hashable_fnv_hash_offset GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Int# #)} ww1 (GHC.Prim.uncheckedIShiftL# ww2 1#) (GHC.Prim.uncheckedIShiftL# ww3 1#) -2578643520546668380# GHC.Prim.realWorld# of wild1 { (#,#) ds1 ds2 -> case Language.Fixpoint.Graph.Reducible.$wpoly_go1 @ GHC.Prim.RealWorld @ v (GHC.Prim.int2Word# ds2) ww (Data.Text.Internal.Text ww1 ww2 ww3) ww4 w 0# w1 GHC.Prim.realWorld# of ds { (#,#) ipv ipv1 -> ipv1 } }) -} 75096ebabf8a917cc462d9efcc52dac3 $wisReducible :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId (Language.Fixpoint.Types.Constraints.SimpC a) -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a) -> Language.Fixpoint.Types.Environments.BindEnv -> GHC.Types.Bool {- Arity: 3, Strictness: , Inline: [0] -} d6b10e5a52f37559b0a19df879fa1d4d $wpoly_go1 :: GHC.Prim.Word# -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> v -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v -> GHC.Prim.State# s -> (# GHC.Prim.State# s, Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar v #) {- Arity: 8, Strictness: , Inline: [0] -} c6168ca300b75c056e1ba7b4a4aff628 isReducible :: Language.Fixpoint.Types.Constraints.SInfo a -> GHC.Types.Bool {- Arity: 1, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ @ a (w :: Language.Fixpoint.Types.Constraints.SInfo a) -> case w of ww { Language.Fixpoint.Types.Constraints.FI ww1 ww2 ww3 ww4 ww5 ww6 ww7 ww8 ww9 ww10 ww11 -> Language.Fixpoint.Graph.Reducible.$wisReducible @ a ww1 ww2 ww3 }) -} vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False