==================== FINAL INTERFACE ==================== 2017-05-02 18:37:06.443831 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Indexed 8002 interface hash: 8a47d4a8391dfa0379d8e1e40b1a4ef0 ABI hash: 1a6ad5c221d2bf0240897b54128017c1 export-list hash: 38b4df2d5a1f40d37481a8a92a5c8fa3 orphan hash: 40f38045549a32a4698221395d43c43d flag hash: 8e73d7dbdb9c82fc3ee2e21a2e178e96 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Indexed.addLinks Language.Fixpoint.Graph.Indexed.delNodes Language.Fixpoint.Graph.Indexed.edgesIkvg Language.Fixpoint.Graph.Indexed.getPreds Language.Fixpoint.Graph.Indexed.getSuccs Language.Fixpoint.Graph.Indexed.ikvgEdges Language.Fixpoint.Graph.Indexed.IKVGraph{Language.Fixpoint.Graph.Indexed.IKVGraph igPred igSucc} module dependencies: Language.Fixpoint.Graph.Types Language.Fixpoint.Misc Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types 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.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 double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr 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 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 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 text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG 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 transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error 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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Types 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.Solutions 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.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 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.Graph.Types 23e94ee5d5e98322336fb70c8000a321 exports: b52987cff51a351c36be19c844de97bf CEdge f2f17be8bf25ad841321175f992cca78 CVertex 0a404ef06dd0fe2a92eb89159f1cc655 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 8b30269f684e8c9a7c7c90d9467220ac $fShowIKVGraph :: GHC.Show.Show Language.Fixpoint.Graph.Indexed.IKVGraph DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Indexed.IKVGraph Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$cshowsPrec Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$cshow Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$cshowList -} 8b30269f684e8c9a7c7c90d9467220ac $fShowIKVGraph1 :: Language.Fixpoint.Graph.Indexed.IKVGraph -> GHC.Show.ShowS {- Arity: 1, Unfolding: (\ (w :: Language.Fixpoint.Graph.Indexed.IKVGraph) -> case w of ww { Language.Fixpoint.Graph.Indexed.IKVGraph ww1 ww2 -> Language.Fixpoint.Graph.Indexed.$w$cshowsPrec 0# ww1 ww2 }) -} 56ae6ddc27d51577bc615d1badaefe5f $fShowIKVGraph2 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "}"#) -} 86ae6b60c0ef89e9cc0b7f3a77cc181b $fShowIKVGraph3 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "igPred = "#) -} 8b54426f5ae90da7c7b087d1f5ca9ce5 $fShowIKVGraph4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# ", "#) -} 0cd87f9b398fee71a015a30e8f2deab2 $fShowIKVGraph5 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "igSucc = "#) -} f8c0ba22115cbf5918cf01990bd4db66 $fShowIKVGraph6 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "IKVGraph {"#) -} 8b30269f684e8c9a7c7c90d9467220ac $fShowIKVGraph_$cshow :: Language.Fixpoint.Graph.Indexed.IKVGraph -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Graph.Indexed.IKVGraph) -> Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$cshowsPrec GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} 8b30269f684e8c9a7c7c90d9467220ac $fShowIKVGraph_$cshowList :: [Language.Fixpoint.Graph.Indexed.IKVGraph] -> GHC.Show.ShowS {- Arity: 2, Unfolding: (GHC.Show.showList__ @ Language.Fixpoint.Graph.Indexed.IKVGraph Language.Fixpoint.Graph.Indexed.$fShowIKVGraph1) -} 8b30269f684e8c9a7c7c90d9467220ac $fShowIKVGraph_$cshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Graph.Indexed.IKVGraph -> GHC.Show.ShowS {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Graph.Indexed.IKVGraph) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Graph.Indexed.IKVGraph ww3 ww4 -> Language.Fixpoint.Graph.Indexed.$w$cshowsPrec ww1 ww3 ww4 } }) -} 62b6e7043bb7b08113a550e64c0bb0be $fShowIKVGraph_$s$fShowHashSet :: GHC.Show.Show (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (Data.HashSet.$fShowHashSet_$cshowsPrec @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fShowCVertex) Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet_$cshow Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet_$cshowList -} dbfa27dc7689fb28a0e6a5dcee15bf53 $fShowIKVGraph_$s$fShowHashSet_$cshow :: Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashSet.$fShowHashSet_$cshowsPrec @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fShowCVertex GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} 4d774be4f10127ba70a5ffe31dfaf9e8 $fShowIKVGraph_$s$fShowHashSet_$cshowList :: [Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex] -> GHC.Show.ShowS {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ (ls :: [Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex]) (s :: GHC.Base.String) -> GHC.Show.showList__ @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (Data.HashSet.$fShowHashSet_$cshowsPrec @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fShowCVertex GHC.Show.shows22) ls s) -} 8fe153e7524b8e0819e365ea54687d3a $s$wupdateOrSnocWithKey :: (Language.Fixpoint.Graph.Types.CVertex -> v -> v -> v) -> Language.Fixpoint.Graph.Types.CVertex -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex v) {- Arity: 4, Strictness: , Inline: [0] -} 02653bd2ff7ca305d8d49010cad9ee03 $sdelete :: Language.Fixpoint.Graph.Types.CVertex -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v {- Arity: 2, Strictness: , Unfolding: (\ @ v (k0 :: Language.Fixpoint.Graph.Types.CVertex) (m0 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v) -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# k0 of ww2 { DEFAULT -> Language.Fixpoint.Graph.Indexed.$wpoly_go3 @ v (GHC.Prim.int2Word# ww2) k0 0# m0 }) -} 94f9b6789fd8e303cea03403b6a9cf6b $tc'IKVGraph :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 16143761761608068701## 7326080974175050798## Language.Fixpoint.Graph.Indexed.$trModule Language.Fixpoint.Graph.Indexed.$tc'IKVGraph1) -} 7fdfc1b405a4ee8cd8ffd18bd4b2c5f3 $tc'IKVGraph1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'IKVGraph"#) -} bb2cd705affe54b7f64c1ff4c7f469b2 $tcIKVGraph :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 5154887224847685705## 3574947274801620141## Language.Fixpoint.Graph.Indexed.$trModule Language.Fixpoint.Graph.Indexed.$tcIKVGraph1) -} b79a289d6edf4b58f8bdd65af3069637 $tcIKVGraph1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "IKVGraph"#) -} 9fa6a5046275f72cc66e391470d130d8 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Graph.Indexed.$trModule2 Language.Fixpoint.Graph.Indexed.$trModule1) -} 852d93c9f3bd5ecb52dd99787985d032 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Graph.Indexed"#) -} 3129bcfd35b78b905814ebf201de9707 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} eb94eadb94ea8385f85ced12707d88c7 $w$cshowsPrec :: GHC.Prim.Int# -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> GHC.Show.ShowS {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (ww1 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (ww2 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> let { f :: GHC.Base.String -> GHC.Base.String = Data.HashMap.Base.$w$cshowsPrec @ Language.Fixpoint.Graph.Types.CVertex @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) Language.Fixpoint.Graph.Types.$fShowCVertex Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet 0# ww1 } in let { f1 :: GHC.Base.String -> GHC.Base.String = Data.HashMap.Base.$w$cshowsPrec @ Language.Fixpoint.Graph.Types.CVertex @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) Language.Fixpoint.Graph.Types.$fShowCVertex Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet 0# ww2 } in let { p :: GHC.Show.ShowS {- Arity: 1, Strictness: -} = \ (x :: GHC.Base.String) -> GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Indexed.$fShowIKVGraph6 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Indexed.$fShowIKVGraph5 (f (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Indexed.$fShowIKVGraph4 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Indexed.$fShowIKVGraph3 (f1 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Indexed.$fShowIKVGraph2 x)))))) } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww 11#) of wild { GHC.Types.False -> p GHC.Types.True -> \ (x :: GHC.Base.String) -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows7 (p (GHC.Types.: @ GHC.Types.Char GHC.Show.shows4 x)) }) -} caa12ab5a77b60bf35239eadd39aeed6 $wc :: Language.Fixpoint.Graph.Types.CVertex -> Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CEdge] -> [Language.Fixpoint.Graph.Types.CEdge] {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0] -} 8120fe4df8a035ef77df0e1bb6e0d2df $wdelNodes :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Types.CVertex -> (# Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex), Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) #) {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ (ww :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (ww1 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (w :: Language.Fixpoint.Graph.Types.CVertex) -> letrec { $wgo :: [Language.Fixpoint.Graph.Types.CVertex] -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> (# Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex), Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) #) {- Arity: 3, Strictness: , Inline: [0] -} = \ (w1 :: [Language.Fixpoint.Graph.Types.CVertex]) (ww2 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (ww3 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> case w1 of wild { [] -> (# ww2, ww3 #) : y ys -> case Language.Fixpoint.Graph.Indexed.delNodes_$sremoves y w ww3 of dt { DEFAULT -> $wgo ys ww2 dt } } } in case $wgo (Language.Fixpoint.Graph.Indexed.$wgetSuccs ww w) ww ww1 of ww2 { (#,#) ww3 ww4 -> letrec { $wgo10 :: [Language.Fixpoint.Graph.Types.CVertex] -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> (# Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex), Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) #) {- Arity: 3, Strictness: , Inline: [0] -} = \ (w1 :: [Language.Fixpoint.Graph.Types.CVertex]) (ww5 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (ww6 :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> case w1 of wild { [] -> (# ww5, ww6 #) : y ys -> case Language.Fixpoint.Graph.Indexed.delNodes_$sremoves y w ww5 of dt { DEFAULT -> $wgo10 ys dt ww6 } } } in case $wgo10 (Language.Fixpoint.Graph.Indexed.$wgetPreds ww1 w) ww3 ww4 of ww5 { (#,#) ww6 ww7 -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# w of ww8 { DEFAULT -> case Language.Fixpoint.Graph.Indexed.$wpoly_go3 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww8) w 0# ww6 of dt { DEFAULT -> case Language.Fixpoint.Graph.Indexed.$wpoly_go3 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww8) w 0# ww7 of dt1 { DEFAULT -> (# dt, dt1 #) } } } } }) -} d6abf6707e4f935a892e4eb6d66b7483 $wgetPreds :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (w :: Language.Fixpoint.Graph.Types.CVertex) -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# w of ww2 { DEFAULT -> case Language.Fixpoint.Graph.Indexed.$wpoly_go5 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww2) w 0# ww of wild { GHC.Base.Nothing -> GHC.Types.[] @ Language.Fixpoint.Graph.Types.CVertex GHC.Base.Just v1 -> Language.Fixpoint.Graph.Indexed.delNodes_go1 (GHC.Types.[] @ Language.Fixpoint.Graph.Types.CVertex) v1 `cast` (Data.HashSet.N:HashSet[0] _N) } }) -} 74152b3328d2d0432ae89936ee4291e8 $wgetSuccs :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (w :: Language.Fixpoint.Graph.Types.CVertex) -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# w of ww2 { DEFAULT -> case Language.Fixpoint.Graph.Indexed.$wpoly_go5 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww2) w 0# ww of wild { GHC.Base.Nothing -> GHC.Types.[] @ Language.Fixpoint.Graph.Types.CVertex GHC.Base.Just v1 -> Language.Fixpoint.Graph.Indexed.delNodes_go2 (GHC.Types.[] @ Language.Fixpoint.Graph.Types.CVertex) v1 `cast` (Data.HashSet.N:HashSet[0] _N) } }) -} a3a959d606a130ee42254459e4fc7b50 $wgo1 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CVertex] -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 9e260421ca69cbb5938a1e8e54ce2908 $wgo2 :: Data.HashMap.Array.Array (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CVertex] -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 026d9c86f981a01f45e53dffcd1ca3ef $wgo3 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CVertex] -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} ae380691a6df0910927d2d184b26991d $wgo4 :: Data.HashMap.Array.Array (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CVertex] -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 09416dd732714afd4226453bbebd16dc $wgo5 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CVertex] -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} a9db17fd3f4adc7873d3601e495bceec $wgo6 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CVertex] -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 976fbd38109f337083e74900b7fd3db7 $wgo7 :: Data.HashMap.Array.Array (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CEdge] -> [Language.Fixpoint.Graph.Types.CEdge] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} e747f36724d1f85846c908089ef9c57c $wgo8 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CEdge] -> [Language.Fixpoint.Graph.Types.CEdge] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} f0c7a6713d7acd37db3689ac4751589c $wgo9 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [Language.Fixpoint.Graph.Types.CEdge] -> [Language.Fixpoint.Graph.Types.CEdge] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} a4a694707bbf34210f74500ab8eede2c $wpoly_go1 :: Language.Fixpoint.Graph.Types.CVertex -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe GHC.Types.Int {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} c4d6264b6865e9a55d9f61e67c13c434 $wpoly_go2 :: Language.Fixpoint.Graph.Types.CVertex -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe v {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 31c4b58fc1528d41e6236985d02b8587 $wpoly_go3 :: GHC.Prim.Word# -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v {- Arity: 4, Strictness: , Inline: [0] -} 9a83516b178b7abb2bcb0d9a118af7b5 $wpoly_go4 :: GHC.Prim.Word# -> Language.Fixpoint.Graph.Types.CVertex -> v -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v {- Arity: 5, Strictness: , Inline: [0] -} 2827248538b302ec11223d01d2c0caf3 $wpoly_go5 :: GHC.Prim.Word# -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex v -> GHC.Base.Maybe v {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 8b30269f684e8c9a7c7c90d9467220ac data IKVGraph = IKVGraph {igSucc :: !Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex), igPred :: !Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)} cf8f8f460aea4797cd0c979b918cb926 addLinks :: Language.Fixpoint.Graph.Indexed.IKVGraph -> [Language.Fixpoint.Graph.Types.CEdge] -> Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 2, Unfolding: (GHC.List.foldl' @ Language.Fixpoint.Graph.Types.CEdge @ Language.Fixpoint.Graph.Indexed.IKVGraph Language.Fixpoint.Graph.Indexed.addLinks1) -} 203e9d8022690628a26ce3e74e1ac46b addLinks1 :: Language.Fixpoint.Graph.Indexed.IKVGraph -> (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 2, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Indexed.IKVGraph) (w1 :: (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex)) -> case w of ww { Language.Fixpoint.Graph.Indexed.IKVGraph ww1 ww2 -> case w1 of ww3 { (,) ww4 ww5 -> case Language.Fixpoint.Graph.Indexed.addLinks_$sinserts ww5 ww4 ww2 of dt { DEFAULT -> case Language.Fixpoint.Graph.Indexed.addLinks_$sinserts ww4 ww5 ww1 of dt1 { DEFAULT -> Language.Fixpoint.Graph.Indexed.IKVGraph dt1 dt } } } }) -} 904afbf7a4658b4396dae8a7d8ab6098 addLinks_$sinserts :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) {- Arity: 3, Strictness: , Unfolding: (\ (k :: Language.Fixpoint.Graph.Types.CVertex) (v :: Language.Fixpoint.Graph.Types.CVertex) (m :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# k of ww2 { DEFAULT -> case case Language.Fixpoint.Graph.Indexed.$wpoly_go5 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww2) k 0# m of wild { GHC.Base.Nothing -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# v of ww1 { DEFAULT -> Language.Fixpoint.Graph.Indexed.$wpoly_go4 @ () (GHC.Prim.int2Word# ww1) v GHC.Tuple.() 0# (Data.HashMap.Base.Empty @ Language.Fixpoint.Graph.Types.CVertex @ ()) } GHC.Base.Just v1 -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# v of ww1 { DEFAULT -> Language.Fixpoint.Graph.Indexed.$wpoly_go4 @ () (GHC.Prim.int2Word# ww1) v GHC.Tuple.() 0# v1 `cast` (Data.HashSet.N:HashSet[0] _N) } } of nt { DEFAULT -> Language.Fixpoint.Graph.Indexed.$wpoly_go4 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww2) k nt `cast` (Sym (Data.HashSet.N:HashSet[0] _N)) 0# m } }) -} 70d83a2349c39ca35fb483e914d548eb delNodes :: Language.Fixpoint.Graph.Indexed.IKVGraph -> [Language.Fixpoint.Graph.Types.CVertex] -> Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 2, Unfolding: (GHC.List.foldl' @ Language.Fixpoint.Graph.Types.CVertex @ Language.Fixpoint.Graph.Indexed.IKVGraph Language.Fixpoint.Graph.Indexed.delNodes1) -} 02a5a5a500e6b1e960ade4bdaed1568e delNodes1 :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 2, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Indexed.IKVGraph) (w1 :: Language.Fixpoint.Graph.Types.CVertex) -> case w of ww { Language.Fixpoint.Graph.Indexed.IKVGraph ww1 ww2 -> case Language.Fixpoint.Graph.Indexed.$wdelNodes ww1 ww2 w1 of ww3 { (#,#) ww4 ww5 -> Language.Fixpoint.Graph.Indexed.IKVGraph ww4 ww5 } }) -} b8916bfc1c3aa017bbdf1f7962109a5c delNodes_$sremoves :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) {- Arity: 3, Strictness: , Unfolding: (\ (k :: Language.Fixpoint.Graph.Types.CVertex) (v :: Language.Fixpoint.Graph.Types.CVertex) (m :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# k of ww2 { DEFAULT -> case case Language.Fixpoint.Graph.Indexed.$wpoly_go5 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww2) k 0# m of wild { GHC.Base.Nothing -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt -2578643520546668380# v of ww1 { DEFAULT -> Language.Fixpoint.Graph.Indexed.$wpoly_go3 @ () (GHC.Prim.int2Word# ww1) v 0# (Data.HashMap.Base.Empty @ Language.Fixpoint.Graph.Types.CVertex @ ()) } GHC.Base.Just v1 -> Language.Fixpoint.Graph.Indexed.$sdelete @ () v v1 `cast` (Data.HashSet.N:HashSet[0] _N) } of nt { DEFAULT -> Language.Fixpoint.Graph.Indexed.$wpoly_go4 @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) (GHC.Prim.int2Word# ww2) k nt `cast` (Sym (Data.HashSet.N:HashSet[0] _N)) 0# m } }) -} 60bc89aa69cd687dd50c1caadc9574ec delNodes_go1 :: [Language.Fixpoint.Graph.Types.CVertex] -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex () -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (z1 :: [Language.Fixpoint.Graph.Types.CVertex]) (ds :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) -> case ds of wild { Data.HashMap.Base.Empty -> z1 Data.HashMap.Base.BitmapIndexed dt dt1 -> Language.Fixpoint.Graph.Indexed.$wgo3 (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt1) 0# z1 Data.HashMap.Base.Leaf dt dt1 dt2 -> GHC.Types.: @ Language.Fixpoint.Graph.Types.CVertex dt1 z1 Data.HashMap.Base.Full dt -> Language.Fixpoint.Graph.Indexed.$wgo1 (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt) 0# z1 Data.HashMap.Base.Collision dt dt1 -> Language.Fixpoint.Graph.Indexed.$wgo2 (Data.HashMap.Array.Array @ (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex ()) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex ()) dt1) 0# z1 }) -} 858a573c01b65c486891aea5ac00089a delNodes_go2 :: [Language.Fixpoint.Graph.Types.CVertex] -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex () -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (z1 :: [Language.Fixpoint.Graph.Types.CVertex]) (ds :: Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) -> case ds of wild { Data.HashMap.Base.Empty -> z1 Data.HashMap.Base.BitmapIndexed dt dt1 -> Language.Fixpoint.Graph.Indexed.$wgo6 (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt1) 0# z1 Data.HashMap.Base.Leaf dt dt1 dt2 -> GHC.Types.: @ Language.Fixpoint.Graph.Types.CVertex dt1 z1 Data.HashMap.Base.Full dt -> Language.Fixpoint.Graph.Indexed.$wgo5 (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex ()) dt) 0# z1 Data.HashMap.Base.Collision dt dt1 -> Language.Fixpoint.Graph.Indexed.$wgo4 (Data.HashMap.Array.Array @ (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex ()) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex ()) dt1) 0# z1 }) -} de867a5447b7f8fc81d0afbc7af049f4 edgesIkvg :: [Language.Fixpoint.Graph.Types.CEdge] -> Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 1, Unfolding: (GHC.List.foldl' @ Language.Fixpoint.Graph.Types.CEdge @ Language.Fixpoint.Graph.Indexed.IKVGraph Language.Fixpoint.Graph.Indexed.addLinks1 Language.Fixpoint.Graph.Indexed.edgesIkvg1) -} a83854eedc467884fdb12633f965b761 edgesIkvg1 :: Language.Fixpoint.Graph.Indexed.IKVGraph {- HasNoCafRefs, Strictness: m, Unfolding: (Language.Fixpoint.Graph.Indexed.IKVGraph (Data.HashMap.Base.Empty @ Language.Fixpoint.Graph.Types.CVertex @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) (Data.HashMap.Base.Empty @ Language.Fixpoint.Graph.Types.CVertex @ (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex))) -} c464ac54c8d6f1dc61683793e574f0c4 getPreds :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Indexed.IKVGraph) (w1 :: Language.Fixpoint.Graph.Types.CVertex) -> case w of ww { Language.Fixpoint.Graph.Indexed.IKVGraph ww1 ww2 -> Language.Fixpoint.Graph.Indexed.$wgetPreds ww2 w1 }) -} 9a82989f7983781a8e9af4a941e4de6d getSuccs :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CVertex] {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Indexed.IKVGraph) (w1 :: Language.Fixpoint.Graph.Types.CVertex) -> case w of ww { Language.Fixpoint.Graph.Indexed.IKVGraph ww1 ww2 -> Language.Fixpoint.Graph.Indexed.$wgetSuccs ww1 w1 }) -} 212e6bf3d8c9a1fe652ead2dcc63194e igPred :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) RecSel Left Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Indexed.IKVGraph) -> case ds of wild { Language.Fixpoint.Graph.Indexed.IKVGraph ds1 ds2 -> ds2 }) -} aa36a8a16818d9e67c3762055a1a4ecd igSucc :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) RecSel Left Language.Fixpoint.Graph.Indexed.IKVGraph {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Indexed.IKVGraph) -> case ds of wild { Language.Fixpoint.Graph.Indexed.IKVGraph ds1 ds2 -> ds1 }) -} 2e55782dd4f4e5cc3158c16b935235ac ikvgEdges :: Language.Fixpoint.Graph.Indexed.IKVGraph -> [Language.Fixpoint.Graph.Types.CEdge] {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Graph.Indexed.IKVGraph) -> case w of ww { Language.Fixpoint.Graph.Indexed.IKVGraph ww1 ww2 -> case ww1 of wild { Data.HashMap.Base.Empty -> GHC.Types.[] @ Language.Fixpoint.Graph.Types.CEdge Data.HashMap.Base.BitmapIndexed dt dt1 -> Language.Fixpoint.Graph.Indexed.$wgo9 (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) dt1) 0# (GHC.Types.[] @ Language.Fixpoint.Graph.Types.CEdge) Data.HashMap.Base.Leaf dt dt1 dt2 -> Language.Fixpoint.Graph.Indexed.$wc dt1 dt2 (GHC.Types.[] @ Language.Fixpoint.Graph.Types.CEdge) Data.HashMap.Base.Full dt -> Language.Fixpoint.Graph.Indexed.$wgo8 (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) dt) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) dt) 0# (GHC.Types.[] @ Language.Fixpoint.Graph.Types.CEdge) Data.HashMap.Base.Collision dt dt1 -> Language.Fixpoint.Graph.Indexed.$wgo7 (Data.HashMap.Array.Array @ (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)) dt1) 0# (GHC.Types.[] @ Language.Fixpoint.Graph.Types.CEdge) } }) -} instance GHC.Show.Show [Language.Fixpoint.Graph.Indexed.IKVGraph] = Language.Fixpoint.Graph.Indexed.$fShowIKVGraph "SPEC/Language.Fixpoint.Graph.Indexed $fShowHashSet @ CVertex" [ALWAYS] forall ($dShow :: GHC.Show.Show Language.Fixpoint.Graph.Types.CVertex) Data.HashSet.$fShowHashSet @ Language.Fixpoint.Graph.Types.CVertex $dShow = Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet "SPEC/Language.Fixpoint.Graph.Indexed $fShowHashSet_$cshow @ CVertex" [ALWAYS] forall ($dShow :: GHC.Show.Show Language.Fixpoint.Graph.Types.CVertex) Data.HashSet.$fShowHashSet_$cshow @ Language.Fixpoint.Graph.Types.CVertex $dShow = Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet_$cshow "SPEC/Language.Fixpoint.Graph.Indexed $fShowHashSet_$cshowList @ CVertex" [ALWAYS] forall ($dShow :: GHC.Show.Show Language.Fixpoint.Graph.Types.CVertex) Data.HashSet.$fShowHashSet_$cshowList @ Language.Fixpoint.Graph.Types.CVertex $dShow = Language.Fixpoint.Graph.Indexed.$fShowIKVGraph_$s$fShowHashSet_$cshowList "SPEC/Language.Fixpoint.Graph.Indexed $wupdateOrSnocWithKey @ CVertex _" [0] forall @ v (w :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.CVertex) Data.HashMap.Base.$wupdateOrSnocWithKey @ Language.Fixpoint.Graph.Types.CVertex @ v w = Language.Fixpoint.Graph.Indexed.$s$wupdateOrSnocWithKey @ v "SPEC/Language.Fixpoint.Graph.Indexed delete @ CVertex _" [ALWAYS] forall @ v ($dHashable :: Data.Hashable.Class.Hashable Language.Fixpoint.Graph.Types.CVertex) ($dEq :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.CVertex) Data.HashMap.Base.delete @ Language.Fixpoint.Graph.Types.CVertex @ v $dEq $dHashable = Language.Fixpoint.Graph.Indexed.$sdelete @ v vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False