==================== FINAL INTERFACE ==================== 2017-05-02 18:37:04.33648 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Types [family instance module] 8002 interface hash: 2a7d1d079fa9312149628980dd410c69 ABI hash: 23e94ee5d5e98322336fb70c8000a321 export-list hash: b52987cff51a351c36be19c844de97bf orphan hash: 27f0ac5559ded155f578bed0e88b3937 flag hash: d06a888bb703afad0165b18a5a15b958 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Types.isRealEdge Language.Fixpoint.Graph.Types.lookupCMap Language.Fixpoint.Graph.Types.writeEdges Language.Fixpoint.Graph.Types.writeGraph Language.Fixpoint.Graph.Types.CDeps{Language.Fixpoint.Graph.Types.CDs cNumScc cPrev cRank cSucc} Language.Fixpoint.Graph.Types.CEdge Language.Fixpoint.Graph.Types.CGraph{Language.Fixpoint.Graph.Types.CGraph gEdges gRanks gSccs gSucc} Language.Fixpoint.Graph.Types.CVertex{Language.Fixpoint.Graph.Types.Cstr Language.Fixpoint.Graph.Types.DKVar Language.Fixpoint.Graph.Types.KVar} Language.Fixpoint.Graph.Types.Comps Language.Fixpoint.Graph.Types.DepEdge Language.Fixpoint.Graph.Types.KVComps Language.Fixpoint.Graph.Types.KVGraph{Language.Fixpoint.Graph.Types.KVGraph kvgEdges} Language.Fixpoint.Graph.Types.KVRead Language.Fixpoint.Graph.Types.Rank{Language.Fixpoint.Graph.Types.Rank rIcc rScc rTag} Language.Fixpoint.Graph.Types.Slice{Language.Fixpoint.Graph.Types.Slice slConcCs slEdges slKVarCs} Language.Fixpoint.Graph.Types.SolverInfo{Language.Fixpoint.Graph.Types.SI siDeps siQuery siSol siVars} Language.Fixpoint.Types.Constraints.SubcId Language.Fixpoint.Types.Solutions.CMap module dependencies: 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.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:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:GHC.Stack 1c2d76400d351d3e60c5031ba1182ad5 import -/ base-4.9.1.0:GHC.Stack.Types 51968494fa04901a60fe271cf46e18df import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 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 -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 268edc2be2657e56d9ac2e0e5f861c66 exports: 0d4209a369f77ae55113ca41b56281c2 group e2e2979efce4bc962b883458e2dab7fa safeLookup a0aea15e18c45d6dc603d7e6041ffdd5 wrap 27fc97c6dab46486584ceaa08035eea1 import -/ Language.Fixpoint.Types 09d1039f1e0058408506d58eee0982ca exports: 91181ff2c29316a0420a9031c7b2d4bd import -/ Language.Fixpoint.Types.Constraints dc475bd125456ae511f39eb7bfb576f7 SInfo 1052549cc559e08aaa78c218edda206c SubcId cdcef876bb053a43ceafb5cadfe2311f Tag a9aceec288db7dfc6dfc1b70bc4a8f49 import -/ Language.Fixpoint.Types.PrettyPrint 9f8ba54128c047c2f5df631a58152645 exports: 8280ba96c3b943538085a23e8c114f93 PPrint f926efd2d44310d1ff99c4868d82bc97 pprint 3b1416a258327e319f3edde9b9e2d64e import -/ Language.Fixpoint.Types.Refinements 14ae5428586db5cedff3d8f72f8648b7 exports: 679e1835da47fa35bc6f2f814149dbeb KVar 9a92033bfe21324e80629facb0f6357f kv c1246352d333802f9d4763702c5c7185 import -/ Language.Fixpoint.Types.Solutions 44253093d8f715e38f38f5864906aa91 exports: 3aba65d43f1b4def37dedf43442dc2cb CMap 60b1399c548e67aa6e3ae48b1aff972a QBind d48cd6c8fd87428c462add5de1e5d785 Sol 5c80baaee2ad2e2f29824ed6e0d2d1eb import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 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 0a404ef06dd0fe2a92eb89159f1cc655 $fEqCVertex :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.CVertex DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fEqCVertex_$c== Language.Fixpoint.Graph.Types.$fEqCVertex_$c/= -} 0a404ef06dd0fe2a92eb89159f1cc655 $fEqCVertex_$c/= :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Graph.Types.CVertex) (b :: Language.Fixpoint.Graph.Types.CVertex) -> case Language.Fixpoint.Graph.Types.$fEqCVertex_$c== a b of wild { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fEqCVertex_$c== :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (ds :: Language.Fixpoint.Graph.Types.CVertex) (ds1 :: Language.Fixpoint.Graph.Types.CVertex) -> case ds of wild { Language.Fixpoint.Graph.Types.KVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case ds1 of wild2 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.KVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) } } } Language.Fixpoint.Graph.Types.DKVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case ds1 of wild2 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.DKVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) } } } Language.Fixpoint.Graph.Types.Cstr a1 -> case ds1 of wild1 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.Cstr b1 -> case GHC.Integer.Type.eqInteger# a1 b1 of wild2 { DEFAULT -> GHC.Prim.tagToEnum# @ GHC.Types.Bool wild2 } } }) -} cf314d50132935d83698ee9a30f06daa $fEqRank :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.Rank DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.Rank Language.Fixpoint.Graph.Types.$fEqRank_$c== Language.Fixpoint.Graph.Types.$fEqRank_$c/= -} cf314d50132935d83698ee9a30f06daa $fEqRank_$c/= :: Language.Fixpoint.Graph.Types.Rank -> Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Types.Rank) (w1 :: Language.Fixpoint.Graph.Types.Rank) -> case w of ww { Language.Fixpoint.Graph.Types.Rank ww1 ww2 ww3 -> case w1 of ww4 { Language.Fixpoint.Graph.Types.Rank ww5 ww6 ww7 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww5) of wild { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww6) of wild1 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Classes.$fEq[]_$s$c== ww3 ww7 of wild2 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } } } } }) -} cf314d50132935d83698ee9a30f06daa $fEqRank_$c== :: Language.Fixpoint.Graph.Types.Rank -> Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Types.Rank) (w1 :: Language.Fixpoint.Graph.Types.Rank) -> case w of ww { Language.Fixpoint.Graph.Types.Rank ww1 ww2 ww3 -> case w1 of ww4 { Language.Fixpoint.Graph.Types.Rank ww5 ww6 ww7 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww5) of wild { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww6) of wild1 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> GHC.Classes.$fEq[]_$s$c== ww3 ww7 } } } }) -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fEqSlice :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.Slice DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.Slice Language.Fixpoint.Graph.Types.$fEqSlice_$c== Language.Fixpoint.Graph.Types.$fEqSlice_$c/= -} ea3e3c69f347614558a1ae6bd2768d9e $fEqSlice1 :: GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.SubcId] {- Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq[] -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fEqSlice_$c/= :: Language.Fixpoint.Graph.Types.Slice -> Language.Fixpoint.Graph.Types.Slice -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Graph.Types.Slice) (b :: Language.Fixpoint.Graph.Types.Slice) -> case Language.Fixpoint.Graph.Types.$fEqSlice_$c== a b of wild { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False }) -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fEqSlice_$c== :: Language.Fixpoint.Graph.Types.Slice -> Language.Fixpoint.Graph.Types.Slice -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Graph.Types.Slice) (w1 :: Language.Fixpoint.Graph.Types.Slice) -> case w of ww { Language.Fixpoint.Graph.Types.Slice ww1 ww2 ww3 -> case w1 of ww4 { Language.Fixpoint.Graph.Types.Slice ww5 ww6 ww7 -> Language.Fixpoint.Graph.Types.$w$c== ww1 ww2 ww3 ww5 ww6 ww7 } }) -} 477fc7c2987725b39d5dccea77d6e607 $fEqSlice_$s$fEq(,,) :: GHC.Classes.Eq (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, [Language.Fixpoint.Types.Constraints.SubcId]) {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, [Language.Fixpoint.Types.Constraints.SubcId]) (GHC.Classes.$fEq(,,)_$c== @ GHC.Integer.Type.Integer @ GHC.Integer.Type.Integer @ [Language.Fixpoint.Types.Constraints.SubcId] GHC.Integer.Type.$fEqInteger GHC.Integer.Type.$fEqInteger Language.Fixpoint.Graph.Types.$fEqSlice1) Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq(,,)_$c/= -} 470284ca55caa0e50a0a22ebfbe28c4e $fEqSlice_$s$fEq(,,)_$c/= :: (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, [Language.Fixpoint.Types.Constraints.SubcId]) -> (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, [Language.Fixpoint.Types.Constraints.SubcId]) -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a1 :: (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, [Language.Fixpoint.Types.Constraints.SubcId])) (b1 :: (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, [Language.Fixpoint.Types.Constraints.SubcId])) -> case GHC.Classes.$fEq(,,)_$c== @ GHC.Integer.Type.Integer @ GHC.Integer.Type.Integer @ [Language.Fixpoint.Types.Constraints.SubcId] GHC.Integer.Type.$fEqInteger GHC.Integer.Type.$fEqInteger Language.Fixpoint.Graph.Types.$fEqSlice1 a1 b1 of wild { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False }) -} f21a4fb6fea928dc126ee3fab632d46b $fEqSlice_$s$fEq[] :: GHC.Classes.Eq [GHC.Integer.Type.Integer] {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ [GHC.Integer.Type.Integer] (GHC.Classes.$fEq[]_$c== @ GHC.Integer.Type.Integer GHC.Integer.Type.$fEqInteger) Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq[]_$c/= -} b25f0d545aa3f6477f6a997ea29cb7aa $fEqSlice_$s$fEq[]_$c/= :: [GHC.Integer.Type.Integer] -> [GHC.Integer.Type.Integer] -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=2), Unfolding: InlineRule (2, False, False) (\ (x :: [GHC.Integer.Type.Integer]) (y :: [GHC.Integer.Type.Integer]) -> GHC.Classes.not (GHC.Classes.$fEq[]_$c== @ GHC.Integer.Type.Integer GHC.Integer.Type.$fEqInteger x y)) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fGenericCVertex :: GHC.Generics.Generic Language.Fixpoint.Graph.Types.CVertex DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fGenericCVertex_$cfrom Language.Fixpoint.Graph.Types.$fGenericCVertex_$cto -} 0a404ef06dd0fe2a92eb89159f1cc655 $fGenericCVertex1 :: Language.Fixpoint.Graph.Types.CVertex -> (GHC.Generics.:+:) (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar))) (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R GHC.Integer.Type.Integer))) x {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ x (x1 :: Language.Fixpoint.Graph.Types.CVertex) -> case x1 of wild { Language.Fixpoint.Graph.Types.KVar g1 -> GHC.Generics.L1 @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar))) @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R GHC.Integer.Type.Integer))) @ x g1 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False>_P _R)) _N)) Language.Fixpoint.Graph.Types.DKVar g1 -> GHC.Generics.R1 @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar))) @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R GHC.Integer.Type.Integer))) @ x (GHC.Generics.L1 @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar))) @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R GHC.Integer.Type.Integer))) @ x g1 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False>_P _R)) _N))) Language.Fixpoint.Graph.Types.Cstr g1 -> GHC.Generics.R1 @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar))) @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R GHC.Integer.Type.Integer))) @ x (GHC.Generics.R1 @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Language.Fixpoint.Types.Refinements.KVar))) @ (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R GHC.Integer.Type.Integer))) @ x g1 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False>_P _R)) _N))) }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fGenericCVertex_$cfrom :: Language.Fixpoint.Graph.Types.CVertex -> GHC.Generics.Rep Language.Fixpoint.Graph.Types.CVertex x {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Graph.Types.$fGenericCVertex1 `cast` (forall (x :: _N). _R ->_R Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "CVertex" "Language.Fixpoint.Graph.Types" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R)) (Sub (Sym (Language.Fixpoint.Graph.Types.Rep_CVertex[0]))) _N) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fGenericCVertex_$cto :: GHC.Generics.Rep Language.Fixpoint.Graph.Types.CVertex x -> Language.Fixpoint.Graph.Types.CVertex {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: (\ @ x (ds :: GHC.Generics.Rep Language.Fixpoint.Graph.Types.CVertex x) -> case ds `cast` (Trans (Sub (Language.Fixpoint.Graph.Types.Rep_CVertex[0])) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "CVertex" "Language.Fixpoint.Graph.Types" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) _N) of wild { GHC.Generics.L1 ds1 -> Language.Fixpoint.Graph.Types.$WKVar ds1 `cast` (Trans (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N) (GHC.Generics.N:K1[0] _P _R _P)) GHC.Generics.R1 ds1 -> case ds1 of wild1 { GHC.Generics.L1 ds2 -> Language.Fixpoint.Graph.Types.$WDKVar ds2 `cast` (Trans (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N) (GHC.Generics.N:K1[0] _P _R _P)) GHC.Generics.R1 ds2 -> Language.Fixpoint.Graph.Types.$WCstr ds2 `cast` (Trans (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N) (GHC.Generics.N:K1[0] _P _R _P)) } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fHashableCVertex :: Data.Hashable.Class.Hashable Language.Fixpoint.Graph.Types.CVertex DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fHashableCVertex_$chashWithSalt Language.Fixpoint.Graph.Types.$fHashableCVertex_$chash -} 0a404ef06dd0fe2a92eb89159f1cc655 $fHashableCVertex_$chash :: Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Unfolding: (Language.Fixpoint.Graph.Types.$fHashableCVertex_$chashWithSalt Data.Hashable.Class.defaultSalt) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fHashableCVertex_$chashWithSalt :: GHC.Types.Int -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Int {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Graph.Types.CVertex) -> case w of ww { GHC.Types.I# ww1 -> case Language.Fixpoint.Graph.Types.$w$chashWithSalt ww1 w1 of ww2 { DEFAULT -> GHC.Types.I# ww2 } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex :: GHC.Classes.Ord Language.Fixpoint.Graph.Types.CVertex DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fEqCVertex Language.Fixpoint.Graph.Types.$fOrdCVertex_$ccompare Language.Fixpoint.Graph.Types.$fOrdCVertex_$c< Language.Fixpoint.Graph.Types.$fOrdCVertex_$c<= Language.Fixpoint.Graph.Types.$fOrdCVertex_$c> Language.Fixpoint.Graph.Types.$fOrdCVertex_$c>= Language.Fixpoint.Graph.Types.$fOrdCVertex_$cmax Language.Fixpoint.Graph.Types.$fOrdCVertex_$cmin -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$c< :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (a :: Language.Fixpoint.Graph.Types.CVertex) (b :: Language.Fixpoint.Graph.Types.CVertex) -> case a of wild { Language.Fixpoint.Graph.Types.KVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { DEFAULT -> GHC.Types.True Language.Fixpoint.Graph.Types.KVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) } } } Language.Fixpoint.Graph.Types.DKVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { Language.Fixpoint.Graph.Types.KVar ds -> GHC.Types.False Language.Fixpoint.Graph.Types.DKVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) } Language.Fixpoint.Graph.Types.Cstr ipv -> GHC.Types.True } } Language.Fixpoint.Graph.Types.Cstr a1 -> case b of wild1 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.Cstr b1 -> case GHC.Integer.Type.ltInteger# a1 b1 of wild2 { DEFAULT -> GHC.Prim.tagToEnum# @ GHC.Types.Bool wild2 } } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$c<= :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (a :: Language.Fixpoint.Graph.Types.CVertex) (b :: Language.Fixpoint.Graph.Types.CVertex) -> case a of wild { Language.Fixpoint.Graph.Types.KVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { DEFAULT -> GHC.Types.True Language.Fixpoint.Graph.Types.KVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild4 { GHC.Types.False -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) GHC.Types.True -> GHC.Types.True } } } } Language.Fixpoint.Graph.Types.DKVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { Language.Fixpoint.Graph.Types.KVar ds -> GHC.Types.False Language.Fixpoint.Graph.Types.DKVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild4 { GHC.Types.False -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) GHC.Types.True -> GHC.Types.True } } Language.Fixpoint.Graph.Types.Cstr ipv -> GHC.Types.True } } Language.Fixpoint.Graph.Types.Cstr a1 -> case b of wild1 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.Cstr b1 -> case GHC.Integer.Type.leInteger# a1 b1 of wild2 { DEFAULT -> GHC.Prim.tagToEnum# @ GHC.Types.Bool wild2 } } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$c> :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (a :: Language.Fixpoint.Graph.Types.CVertex) (b :: Language.Fixpoint.Graph.Types.CVertex) -> case a of wild { Language.Fixpoint.Graph.Types.KVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.KVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) of wild5 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } GHC.Types.True -> GHC.Types.False } } } } Language.Fixpoint.Graph.Types.DKVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { Language.Fixpoint.Graph.Types.KVar ds -> GHC.Types.True Language.Fixpoint.Graph.Types.DKVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) of wild5 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } GHC.Types.True -> GHC.Types.False } } Language.Fixpoint.Graph.Types.Cstr ipv -> GHC.Types.False } } Language.Fixpoint.Graph.Types.Cstr a1 -> case b of wild1 { DEFAULT -> GHC.Types.True Language.Fixpoint.Graph.Types.Cstr b1 -> case GHC.Integer.Type.gtInteger# a1 b1 of wild2 { DEFAULT -> GHC.Prim.tagToEnum# @ GHC.Types.Bool wild2 } } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$c>= :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (a :: Language.Fixpoint.Graph.Types.CVertex) (b :: Language.Fixpoint.Graph.Types.CVertex) -> case a of wild { Language.Fixpoint.Graph.Types.KVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { DEFAULT -> GHC.Types.False Language.Fixpoint.Graph.Types.KVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild4 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } } } } Language.Fixpoint.Graph.Types.DKVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { Language.Fixpoint.Graph.Types.KVar ds -> GHC.Types.True Language.Fixpoint.Graph.Types.DKVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild4 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } } Language.Fixpoint.Graph.Types.Cstr ipv -> GHC.Types.False } } Language.Fixpoint.Graph.Types.Cstr a1 -> case b of wild1 { DEFAULT -> GHC.Types.True Language.Fixpoint.Graph.Types.Cstr b1 -> case GHC.Integer.Type.geInteger# a1 b1 of wild2 { DEFAULT -> GHC.Prim.tagToEnum# @ GHC.Types.Bool wild2 } } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$ccompare :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Ordering {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (a :: Language.Fixpoint.Graph.Types.CVertex) (b :: Language.Fixpoint.Graph.Types.CVertex) -> case a of wild { Language.Fixpoint.Graph.Types.KVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { DEFAULT -> GHC.Types.LT Language.Fixpoint.Graph.Types.KVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Classes.compareInt# dt dt1 } } } Language.Fixpoint.Graph.Types.DKVar a1 -> case a1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild1 { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case b of wild2 { Language.Fixpoint.Graph.Types.KVar ds -> GHC.Types.GT Language.Fixpoint.Graph.Types.DKVar b1 -> case b1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of wild3 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Classes.compareInt# dt dt1 } Language.Fixpoint.Graph.Types.Cstr ipv -> GHC.Types.LT } } Language.Fixpoint.Graph.Types.Cstr a1 -> case b of wild1 { DEFAULT -> GHC.Types.GT Language.Fixpoint.Graph.Types.Cstr b1 -> GHC.Integer.Type.compareInteger a1 b1 } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$cmax :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Graph.Types.CVertex) (y :: Language.Fixpoint.Graph.Types.CVertex) -> case Language.Fixpoint.Graph.Types.$fOrdCVertex_$c<= x y of wild { GHC.Types.False -> x GHC.Types.True -> y }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fOrdCVertex_$cmin :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Graph.Types.CVertex) (y :: Language.Fixpoint.Graph.Types.CVertex) -> case Language.Fixpoint.Graph.Types.$fOrdCVertex_$c<= x y of wild { GHC.Types.False -> y GHC.Types.True -> x }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fPPrintCVertex :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fPPrintCVertex_$cpprintTidy Language.Fixpoint.Graph.Types.$fPPrintCVertex_$cpprintPrec -} 36cd738f0658c45f4e256fca50feef69 $fPPrintCVertex1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintCVertex_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Graph.Types.$fPPrintCVertex2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} c0198d8f7b56a031c29bcc17f2522f59 $fPPrintCVertex2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Graph.Types.$fPPrintCVertex_s) -} 4eb2778de7959ffa47b4cf470d82e6cf $fPPrintCVertex3 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintCVertex_s1 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Graph.Types.$fPPrintCVertex4 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 896f49826ba5ce2b8ee1e1a430351960 $fPPrintCVertex4 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Graph.Types.$fPPrintCVertex_s1) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fPPrintCVertex_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Graph.Types.CVertex -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Types.$fPPrintCVertex_$cpprintTidy eta eta1) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fPPrintCVertex_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Graph.Types.CVertex -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, True) (\ (w :: Language.Fixpoint.Types.PrettyPrint.Tidy) (w1 :: Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Types.$w$cpprintTidy w1) -} 32850aef484fbf49fd5a3e96d4040264 $fPPrintCVertex_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "id_"#) -} a7d26a68363447b742edf51fcc125c3f $fPPrintCVertex_s1 :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "*"#) -} b350bdb5a7896fc566951f49e5d673e8 $fPPrintKVGraph :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.KVGraph DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.KVGraph Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$cpprintTidy Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$cpprintPrec -} b350bdb5a7896fc566951f49e5d673e8 $fPPrintKVGraph1 :: Language.Fixpoint.Graph.Types.KVGraph -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Graph.Types.KVGraph) -> Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$spprint (case x of wild { Language.Fixpoint.Graph.Types.KVGraph ds -> ds })) -} 55c58fc19b9bce8344077ebfb756cca5 $fPPrintKVGraph2 :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex]) {- Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint(,,) -} 2a6b6a1f704495c26a959d07ea4baff4 $fPPrintKVGraph3 :: Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex] {- Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint[] -} b350bdb5a7896fc566951f49e5d673e8 $fPPrintKVGraph_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Graph.Types.KVGraph -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$cpprintTidy eta) -} b350bdb5a7896fc566951f49e5d673e8 $fPPrintKVGraph_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Graph.Types.KVGraph -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Language.Fixpoint.Graph.Types.KVGraph) -> Language.Fixpoint.Graph.Types.$fPPrintKVGraph1 eta) -} ece3a047ca05ca9079fe149986814970 $fPPrintKVGraph_$s$fPPrint(,,) :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex]) {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex]) (Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_$cpprintTidy @ Language.Fixpoint.Graph.Types.CVertex @ Language.Fixpoint.Graph.Types.CVertex @ [Language.Fixpoint.Graph.Types.CVertex] Language.Fixpoint.Graph.Types.$fPPrintCVertex Language.Fixpoint.Graph.Types.$fPPrintCVertex Language.Fixpoint.Graph.Types.$fPPrintKVGraph3) Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint(,,)_$cpprintPrec -} ec6be01e68008261ce8ffc9470ebdfad $fPPrintKVGraph_$s$fPPrint(,,)_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex]) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: m7, Unfolding: InlineRule (3, True, False) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])) -> Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_$cpprintTidy @ Language.Fixpoint.Graph.Types.CVertex @ Language.Fixpoint.Graph.Types.CVertex @ [Language.Fixpoint.Graph.Types.CVertex] Language.Fixpoint.Graph.Types.$fPPrintCVertex Language.Fixpoint.Graph.Types.$fPPrintCVertex Language.Fixpoint.Graph.Types.$fPPrintKVGraph3 eta eta1) -} 97035f4c68a856ec3f3153e7f5e57a6c $fPPrintKVGraph_$s$fPPrint[] :: Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex] {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ [Language.Fixpoint.Graph.Types.CVertex] (Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy1 @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fPPrintCVertex) Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint[]_$cpprintPrec1 -} e64a3ab07484b8e706b2f9cd18872ac8 $fPPrintKVGraph_$s$fPPrint[]_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy1 @ (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex]) Language.Fixpoint.Graph.Types.$fPPrintKVGraph2 eta) -} c0a87760204234e3f5214b27eb5883d6 $fPPrintKVGraph_$s$fPPrint[]_$cpprintPrec1 :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> [Language.Fixpoint.Graph.Types.CVertex] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy1 @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fPPrintCVertex eta) -} be5a2dfdfb9cd0efd7b5e15b95bc65bd $fPPrintKVGraph_$spprint :: [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] -> Text.PrettyPrint.HughesPJ.Doc {- Unfolding: InlineRule (0, True, False) (Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint[]_$cpprintPrec Language.Fixpoint.Types.PrettyPrint.pprint1 Language.Fixpoint.Types.PrettyPrint.Full) -} cf314d50132935d83698ee9a30f06daa $fPPrintRank :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.Rank DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.Rank Language.Fixpoint.Graph.Types.$fPPrintRank_$cpprintTidy Language.Fixpoint.Graph.Types.$fPPrintRank_$cpprintPrec -} cf314d50132935d83698ee9a30f06daa $fPPrintRank1 :: Language.Fixpoint.Graph.Types.Rank -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Graph.Types.Rank) -> case w of ww { Language.Fixpoint.Graph.Types.Rank ww1 ww2 ww3 -> let { s1 :: GHC.Base.String = Language.Fixpoint.Graph.Types.$w$cshowsPrec 0# ww1 ww2 ww3 (GHC.Types.[] @ GHC.Types.Char) } in case GHC.List.$wlenAcc @ GHC.Types.Char s1 0# of ww4 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s1) ww4) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} 31fef9e18f6df217282cb717d069ab11 $fPPrintRank2 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "rTag = "#) -} dce18aed0b9311d9440480d820ecd1d9 $fPPrintRank3 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "rIcc = "#) -} 6cf750d7f481300153b02acc3550e99b $fPPrintRank4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# ", "#) -} 6a3cad9b22997d964515309911299328 $fPPrintRank5 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "rScc = "#) -} 47df742af3bf9103a14433f04b51e6de $fPPrintRank6 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Rank {"#) -} cf314d50132935d83698ee9a30f06daa $fPPrintRank_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Graph.Types.Rank -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Graph.Types.$fPPrintRank_$cpprintTidy eta) -} cf314d50132935d83698ee9a30f06daa $fPPrintRank_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Graph.Types.Rank -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Language.Fixpoint.Graph.Types.Rank) -> Language.Fixpoint.Graph.Types.$fPPrintRank1 eta) -} 21367543ad92d0b1b7007e6afe151681 $fPPrintRank_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "}"#) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fShowCVertex :: GHC.Show.Show Language.Fixpoint.Graph.Types.CVertex DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fShowCVertex_$cshowsPrec Language.Fixpoint.Graph.Types.$fShowCVertex_$cshow Language.Fixpoint.Graph.Types.$fShowCVertex_$cshowList -} 0a404ef06dd0fe2a92eb89159f1cc655 $fShowCVertex1 :: Language.Fixpoint.Graph.Types.CVertex -> GHC.Show.ShowS {- Arity: 2, Unfolding: (\ (w :: Language.Fixpoint.Graph.Types.CVertex) (w1 :: GHC.Base.String) -> Language.Fixpoint.Graph.Types.$w$cshowsPrec1 0# w w1) -} 57fd062a5bf64d03d369c2a32f8f12a4 $fShowCVertex2 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Cstr "#) -} bac0c095d6b60759c5311c933a260287 $fShowCVertex3 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "DKVar "#) -} e50ddf49bc4a28696f8153286d56043f $fShowCVertex4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "KVar "#) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fShowCVertex_$cshow :: Language.Fixpoint.Graph.Types.CVertex -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Graph.Types.CVertex) -> Language.Fixpoint.Graph.Types.$fShowCVertex_$cshowsPrec GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fShowCVertex_$cshowList :: [Language.Fixpoint.Graph.Types.CVertex] -> GHC.Show.ShowS {- Arity: 2, Unfolding: (GHC.Show.showList__ @ Language.Fixpoint.Graph.Types.CVertex Language.Fixpoint.Graph.Types.$fShowCVertex1) -} 0a404ef06dd0fe2a92eb89159f1cc655 $fShowCVertex_$cshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Show.ShowS {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Graph.Types.CVertex) (w2 :: GHC.Base.String) -> case w of ww { GHC.Types.I# ww1 -> Language.Fixpoint.Graph.Types.$w$cshowsPrec1 ww1 w1 w2 }) -} cf314d50132935d83698ee9a30f06daa $fShowRank :: GHC.Show.Show Language.Fixpoint.Graph.Types.Rank DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.Rank Language.Fixpoint.Graph.Types.$fShowRank_$cshowsPrec Language.Fixpoint.Graph.Types.$fShowRank_$cshow Language.Fixpoint.Graph.Types.$fShowRank_$cshowList -} cf314d50132935d83698ee9a30f06daa $fShowRank1 :: Language.Fixpoint.Graph.Types.Rank -> GHC.Show.ShowS {- Arity: 2, Unfolding: (\ (w :: Language.Fixpoint.Graph.Types.Rank) (w1 :: GHC.Base.String) -> case w of ww { Language.Fixpoint.Graph.Types.Rank ww1 ww2 ww3 -> Language.Fixpoint.Graph.Types.$w$cshowsPrec 0# ww1 ww2 ww3 w1 }) -} cf314d50132935d83698ee9a30f06daa $fShowRank_$cshow :: Language.Fixpoint.Graph.Types.Rank -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Graph.Types.Rank) -> Language.Fixpoint.Graph.Types.$fShowRank_$cshowsPrec GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} cf314d50132935d83698ee9a30f06daa $fShowRank_$cshowList :: [Language.Fixpoint.Graph.Types.Rank] -> GHC.Show.ShowS {- Arity: 2, Unfolding: (GHC.Show.showList__ @ Language.Fixpoint.Graph.Types.Rank Language.Fixpoint.Graph.Types.$fShowRank1) -} cf314d50132935d83698ee9a30f06daa $fShowRank_$cshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Graph.Types.Rank -> GHC.Show.ShowS {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Graph.Types.Rank) (w2 :: GHC.Base.String) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Graph.Types.Rank ww3 ww4 ww5 -> Language.Fixpoint.Graph.Types.$w$cshowsPrec ww1 ww3 ww4 ww5 w2 } }) -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fShowSlice :: GHC.Show.Show Language.Fixpoint.Graph.Types.Slice DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Graph.Types.Slice Language.Fixpoint.Graph.Types.$fShowSlice_$cshowsPrec Language.Fixpoint.Graph.Types.$fShowSlice_$cshow Language.Fixpoint.Graph.Types.$fShowSlice_$cshowList -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fShowSlice1 :: Language.Fixpoint.Graph.Types.Slice -> GHC.Show.ShowS {- Arity: 2, Unfolding: (\ (w :: Language.Fixpoint.Graph.Types.Slice) (w1 :: GHC.Base.String) -> case w of ww { Language.Fixpoint.Graph.Types.Slice ww1 ww2 ww3 -> Language.Fixpoint.Graph.Types.$w$cshowsPrec2 0# ww1 ww2 ww3 w1 }) -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fShowSlice_$cshow :: Language.Fixpoint.Graph.Types.Slice -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Graph.Types.Slice) -> Language.Fixpoint.Graph.Types.$fShowSlice_$cshowsPrec GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fShowSlice_$cshowList :: [Language.Fixpoint.Graph.Types.Slice] -> GHC.Show.ShowS {- Arity: 2, Unfolding: (GHC.Show.showList__ @ Language.Fixpoint.Graph.Types.Slice Language.Fixpoint.Graph.Types.$fShowSlice1) -} 3c18a9686e97cbaaa1d4bfeafea94b61 $fShowSlice_$cshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Graph.Types.Slice -> GHC.Show.ShowS {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Graph.Types.Slice) (w2 :: GHC.Base.String) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Graph.Types.Slice ww3 ww4 ww5 -> Language.Fixpoint.Graph.Types.$w$cshowsPrec2 ww1 ww3 ww4 ww5 w2 } }) -} 8eccd0bc3a56c8fab29ec23694a9d0a0 $tc'CDs :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 14266704055137824263## 10678743426428501996## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'CDs1) -} b2404a7b4505f90e4e73662cf6def60b $tc'CDs1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'CDs"#) -} 2880c2da95d207255d7f47d2db81162f $tc'CGraph :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 14660285522366299323## 8647088390783867472## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'CGraph1) -} 8299b0e7729edf9dc182afeff632cf8b $tc'CGraph1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'CGraph"#) -} 15071a4a5145e5c0acf8228e4b13a193 $tc'Cstr :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 18292202892098692154## 12254636870958413241## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'Cstr1) -} b97e051285fd29bbc851e36a74f2499d $tc'Cstr1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Cstr"#) -} a90be923ee7f40df5560a5d63a29dfc3 $tc'DKVar :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 10634184772773626548## 17792431259798845399## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'DKVar1) -} b4ea3b101b568901d79b6af20e23c87c $tc'DKVar1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'DKVar"#) -} 6b993439dce0466213730830e2d430ab $tc'KVGraph :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 5890369340634046011## 7637334433571935348## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'KVGraph1) -} 42c65ee98e802d25b2b22d7d7d99db09 $tc'KVGraph1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'KVGraph"#) -} 59f13cc1b5d4d67e87f9f8c34d43e692 $tc'KVar :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 1744385596120515185## 6694787655395754635## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'KVar1) -} e3201cd0bb598f461eeb11faf4602dfd $tc'KVar1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'KVar"#) -} 5e9efb3aba2ce30b95eb5d3e78d0a44c $tc'Rank :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 1252274853917959191## 2696332444392743322## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'Rank1) -} 418de4f8d8b36d3583c5bbb2dbbee73c $tc'Rank1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Rank"#) -} dcf71fc174475c2d489ac5ceecb2f326 $tc'SI :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 8280804752732800463## 6139332826651977847## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'SI1) -} e838140d769312b8ac8043f1758e85ed $tc'SI1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'SI"#) -} acf925e645fdb5b4321f40e56dee7999 $tc'Slice :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 3941404508941733336## 18396179355059350464## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tc'Slice1) -} 5faf05c91913cf945ae935209a0202a0 $tc'Slice1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Slice"#) -} 5034bd7121ab8b393efcce0e3a4062bb $tcCDeps :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 5187173951503640255## 12964509274700926781## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcCDeps1) -} 2212f7f14af1898e1aa8948994d819a9 $tcCDeps1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "CDeps"#) -} 34488adaf48d9014b2e12e32e20176cb $tcCGraph :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 18379186467663992671## 18000992336379830247## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcCGraph1) -} e4e5a3bba4005857c13715db1989b45d $tcCGraph1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "CGraph"#) -} 774369de278dc56d8020628b8112ae92 $tcCVertex :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 1802260847599511239## 4437223191264387308## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcCVertex1) -} e18f8407047133c4bf755038e9bf682c $tcCVertex1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "CVertex"#) -} 53385bdebfd6e3057808ee69d96e8d8d $tcKVGraph :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 15071197510017051543## 15232815151836982203## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcKVGraph1) -} 4a43335152756c5db65e9343db463c29 $tcKVGraph1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "KVGraph"#) -} 93b15390cd760648e776a67f40449bf9 $tcRank :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 14822976580869300178## 2519207588736515429## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcRank1) -} bf8f8dc25b3dadbffa06159c65dbf0b8 $tcRank1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Rank"#) -} 70e497bbaab0fed25cde882c9faec5e0 $tcSlice :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 16006595713530720410## 14200011304732033795## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcSlice1) -} 1f166e629158d3d1e675ef71a6affa3d $tcSlice1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Slice"#) -} 5f5c728049ab8c3971b3f281181b9365 $tcSolverInfo :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 15654976707210416859## 10679245508893950424## Language.Fixpoint.Graph.Types.$trModule Language.Fixpoint.Graph.Types.$tcSolverInfo1) -} 321612e9fb73253e62829714b48ff213 $tcSolverInfo1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "SolverInfo"#) -} fc73a98ce9b1e52a7e27270c56987996 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Graph.Types.$trModule2 Language.Fixpoint.Graph.Types.$trModule1) -} 939df9c34ba0793235a0ed73caf89b66 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Graph.Types"#) -} f2c1667b792798c6da1695aaaa9da225 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} 9160d8b8766c18464597575af74285a1 $w$c== :: [Language.Fixpoint.Types.Constraints.SubcId] -> [Language.Fixpoint.Types.Constraints.SubcId] -> [Language.Fixpoint.Graph.Types.DepEdge] -> [Language.Fixpoint.Types.Constraints.SubcId] -> [Language.Fixpoint.Types.Constraints.SubcId] -> [Language.Fixpoint.Graph.Types.DepEdge] -> GHC.Types.Bool {- Arity: 6, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: [Language.Fixpoint.Types.Constraints.SubcId]) (ww1 :: [Language.Fixpoint.Types.Constraints.SubcId]) (ww2 :: [Language.Fixpoint.Graph.Types.DepEdge]) (ww3 :: [Language.Fixpoint.Types.Constraints.SubcId]) (ww4 :: [Language.Fixpoint.Types.Constraints.SubcId]) (ww5 :: [Language.Fixpoint.Graph.Types.DepEdge]) -> case GHC.Classes.$fEq[]_$c== @ GHC.Integer.Type.Integer GHC.Integer.Type.$fEqInteger ww ww3 of wild { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case GHC.Classes.$fEq[]_$c== @ GHC.Integer.Type.Integer GHC.Integer.Type.$fEqInteger ww1 ww4 of wild1 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> GHC.Classes.$fEq[]_$c== @ (Language.Fixpoint.Types.Constraints.SubcId, Language.Fixpoint.Types.Constraints.SubcId, [Language.Fixpoint.Types.Constraints.SubcId]) Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq(,,) ww2 ww5 } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $w$chashWithSalt :: GHC.Prim.Int# -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Prim.Int# {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (w :: Language.Fixpoint.Graph.Types.CVertex) -> case w of wild { Language.Fixpoint.Graph.Types.KVar g1 -> case g1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of ww2 { Language.Fixpoint.Types.Names.S ww3 ww4 ww5 -> case ww4 of ww6 { Data.Text.Internal.Text ww7 ww8 ww9 -> 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# #)} ww7 (GHC.Prim.uncheckedIShiftL# ww8 1#) (GHC.Prim.uncheckedIShiftL# ww9 1#) (GHC.Prim.*# ww 16777619#) GHC.Prim.realWorld# of wild1 { (#,#) ds1 ds2 -> ds2 } } } Language.Fixpoint.Graph.Types.DKVar g1 -> case g1 `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of ww2 { Language.Fixpoint.Types.Names.S ww3 ww4 ww5 -> case ww4 of ww6 { Data.Text.Internal.Text ww7 ww8 ww9 -> 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# #)} ww7 (GHC.Prim.uncheckedIShiftL# ww8 1#) (GHC.Prim.uncheckedIShiftL# ww9 1#) (GHC.Prim.xorI# (GHC.Prim.*# ww 16777619#) 1#) GHC.Prim.realWorld# of wild1 { (#,#) ds1 ds2 -> ds2 } } } Language.Fixpoint.Graph.Types.Cstr g1 -> case g1 of wild1 { GHC.Integer.Type.S# n -> GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# ww 16777619#) 2#) 16777619#) n GHC.Integer.Type.Jp# dt -> let { numBytes :: GHC.Prim.Int# = GHC.Prim.sizeofByteArray# dt } in 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# #)} dt 0# numBytes (GHC.Prim.xorI# (GHC.Prim.*# ww 16777619#) 2#) GHC.Prim.realWorld# of wild2 { (#,#) ds ds1 -> GHC.Prim.xorI# (GHC.Prim.*# ds1 16777619#) (GHC.Prim.quotInt# numBytes 8#) } GHC.Integer.Type.Jn# dt -> let { numBytes :: GHC.Prim.Int# = GHC.Prim.sizeofByteArray# dt } in 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# #)} dt 0# numBytes (GHC.Prim.xorI# (GHC.Prim.*# ww 16777619#) 2#) GHC.Prim.realWorld# of wild2 { (#,#) ds ds1 -> GHC.Prim.negateInt# (GHC.Prim.xorI# (GHC.Prim.*# ds1 16777619#) (GHC.Prim.quotInt# numBytes 8#)) } } }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $w$cpprintTidy :: Language.Fixpoint.Graph.Types.CVertex -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: , Inline: [0], Unfolding: (\ (w :: Language.Fixpoint.Graph.Types.CVertex) -> case w of wild { Language.Fixpoint.Graph.Types.KVar k -> case k `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case Language.Fixpoint.Types.Names.$wlvl ww5 ww6 ww7 of ww8 { (#,#) ww9 ww10 -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.doubleQuotes1 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww9 ww10)) GHC.Types.False Text.PrettyPrint.HughesPJ.doubleQuotes1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } } Language.Fixpoint.Graph.Types.DKVar k -> case k `cast` (Language.Fixpoint.Types.Refinements.N:KVar[0]) of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case Language.Fixpoint.Graph.Types.$fPPrintCVertex3 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case Language.Fixpoint.Types.Names.$wlvl ww5 ww6 ww7 of ww8 { (#,#) ww9 ww10 -> case Language.Fixpoint.Types.Refinements.$fFixpointKVar2 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww9 ww10)) GHC.Types.False wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww9 ww10) GHC.Types.False wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.Refinements.$w$cpprintTidy ww5 ww6 ww7 } } } Language.Fixpoint.Graph.Types.Cstr i -> case Text.PrettyPrint.HughesPJ.$winteger i of ww { (#,#) ww1 ww2 -> case Language.Fixpoint.Graph.Types.$fPPrintCVertex1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww1 ww2)) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww1 ww2) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } }) -} efd46f3d6bfc7625f6f2de454b83244a $w$cshowsPrec :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Language.Fixpoint.Types.Constraints.Tag -> GHC.Base.String -> GHC.Base.String {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Language.Fixpoint.Types.Constraints.Tag) (w :: GHC.Base.String) -> let { p :: GHC.Show.ShowS {- Arity: 1, Strictness: -} = \ (x :: GHC.Base.String)[OneShot] -> GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank6 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank5 (case GHC.Show.$wshowSignedInt 0# ww1 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank4 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank3 (case GHC.Show.$wshowSignedInt 0# ww2 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank4 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank2 (let { eta1 :: GHC.Base.String = GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fPPrintRank_s x } in case ww3 of wild { [] -> GHC.CString.unpackAppendCString# "[]"# eta1 : x1 xs -> GHC.Types.: @ GHC.Types.Char GHC.Show.showList__2 (case x1 of ww4 { GHC.Types.I# ww5 -> case GHC.Show.$wshowSignedInt 0# ww5 (let { lvl30 :: [GHC.Types.Char] = GHC.Types.: @ GHC.Types.Char GHC.Show.showList__1 eta1 } in letrec { showl :: [GHC.Types.Int] -> GHC.Base.String {- Arity: 1, Strictness: -} = \ (ds2 :: [GHC.Types.Int]) -> case ds2 of wild1 { [] -> lvl30 : y ys -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows5 (case y of ww6 { GHC.Types.I# ww7 -> case GHC.Show.$wshowSignedInt 0# ww7 (showl ys) of ww8 { (#,#) ww9 ww10 -> GHC.Types.: @ GHC.Types.Char ww9 ww10 } }) } } in showl xs) of ww6 { (#,#) ww7 ww8 -> GHC.Types.: @ GHC.Types.Char ww7 ww8 } }) }))) of ww4 { (#,#) ww5 ww6 -> GHC.Types.: @ GHC.Types.Char ww5 ww6 }))) of ww4 { (#,#) ww5 ww6 -> GHC.Types.: @ GHC.Types.Char ww5 ww6 })) } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww 11#) of wild { GHC.Types.False -> p w GHC.Types.True -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows7 (p (GHC.Types.: @ GHC.Types.Char GHC.Show.shows4 w)) }) -} 0a404ef06dd0fe2a92eb89159f1cc655 $w$cshowsPrec1 :: GHC.Prim.Int# -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Base.String -> GHC.Base.String {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (w :: Language.Fixpoint.Graph.Types.CVertex) (w1 :: GHC.Base.String) -> case w of wild { Language.Fixpoint.Graph.Types.KVar b1 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww 11#) of wild1 { GHC.Types.False -> GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fShowCVertex4 (Language.Fixpoint.Types.Refinements.$w$cshowsPrec5 b1 w1) GHC.Types.True -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows7 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fShowCVertex4 (Language.Fixpoint.Types.Refinements.$w$cshowsPrec5 b1 (GHC.Types.: @ GHC.Types.Char GHC.Show.shows4 w1))) } Language.Fixpoint.Graph.Types.DKVar b1 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww 11#) of wild1 { GHC.Types.False -> GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fShowCVertex3 (Language.Fixpoint.Types.Refinements.$w$cshowsPrec5 b1 w1) GHC.Types.True -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows7 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fShowCVertex3 (Language.Fixpoint.Types.Refinements.$w$cshowsPrec5 b1 (GHC.Types.: @ GHC.Types.Char GHC.Show.shows4 w1))) } Language.Fixpoint.Graph.Types.Cstr b1 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww 11#) of wild1 { GHC.Types.False -> GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fShowCVertex2 (case GHC.Show.$w$cshowsPrec1 11# b1 w1 of ww2 { (#,#) ww3 ww4 -> GHC.Types.: @ GHC.Types.Char ww3 ww4 }) GHC.Types.True -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows7 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Graph.Types.$fShowCVertex2 (case GHC.Show.$w$cshowsPrec1 11# b1 (GHC.Types.: @ GHC.Types.Char GHC.Show.shows4 w1) of ww2 { (#,#) ww3 ww4 -> GHC.Types.: @ GHC.Types.Char ww3 ww4 })) } }) -} 9ad0606fdba1507ffcfa571307b11c6e $w$cshowsPrec2 :: GHC.Prim.Int# -> [Language.Fixpoint.Types.Constraints.SubcId] -> [Language.Fixpoint.Types.Constraints.SubcId] -> [Language.Fixpoint.Graph.Types.DepEdge] -> GHC.Base.String -> GHC.Base.String {- Arity: 5, Strictness: , Inline: [0] -} 97aafdf5d40239b70826576956866e28 $wisRealEdge :: Language.Fixpoint.Graph.Types.CVertex -> Language.Fixpoint.Graph.Types.CVertex -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Language.Fixpoint.Graph.Types.CVertex) (ww1 :: Language.Fixpoint.Graph.Types.CVertex) -> case ww of wild { DEFAULT -> case ww1 of wild1 { DEFAULT -> case wild of wild2 { Language.Fixpoint.Graph.Types.KVar ipv -> GHC.Types.True Language.Fixpoint.Graph.Types.Cstr ds -> case wild1 of wild3 { Language.Fixpoint.Graph.Types.KVar ipv -> GHC.Types.True Language.Fixpoint.Graph.Types.Cstr ds1 -> GHC.Types.False } } Language.Fixpoint.Graph.Types.DKVar ds -> GHC.Types.False } Language.Fixpoint.Graph.Types.DKVar ds -> GHC.Types.False }) -} 06921e276f39c4e7b95fbe6bcacf0ad0 data CDeps = CDs {cSucc :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId], cPrev :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Refinements.KVar], cRank :: !Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank, cNumScc :: {-# UNPACK #-}GHC.Types.Int} f2f17be8bf25ad841321175f992cca78 type CEdge = (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex) a00d3fee1cfde56cbc1d47f5041c3776 data CGraph = CGraph {gEdges :: [Language.Fixpoint.Graph.Types.DepEdge], gRanks :: !Language.Fixpoint.Types.Solutions.CMap GHC.Types.Int, gSucc :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId], gSccs :: {-# UNPACK #-}GHC.Types.Int} 0a404ef06dd0fe2a92eb89159f1cc655 data CVertex = KVar !Language.Fixpoint.Types.Refinements.KVar | DKVar !Language.Fixpoint.Types.Refinements.KVar | Cstr !GHC.Integer.Type.Integer 62bad75a35b5da1349b9c4ed4d80fd9b type Comps a = [[a]] 4ac4a2286cc4dbe020da97cce3aeac2f type DepEdge = (Language.Fixpoint.Types.Constraints.SubcId, Language.Fixpoint.Types.Constraints.SubcId, [Language.Fixpoint.Types.Constraints.SubcId]) f02f016fbc88b05aff52f4624502d85e type KVComps = Language.Fixpoint.Graph.Types.Comps Language.Fixpoint.Graph.Types.CVertex b350bdb5a7896fc566951f49e5d673e8 data KVGraph = KVGraph {kvgEdges :: [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])]} 82dc6a3d31252d41a14d27a8a93daf8c type KVRead = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [Language.Fixpoint.Types.Constraints.SubcId] cf314d50132935d83698ee9a30f06daa data Rank = Rank {rScc :: {-# UNPACK #-}GHC.Types.Int, rIcc :: {-# UNPACK #-}GHC.Types.Int, rTag :: !Language.Fixpoint.Types.Constraints.Tag} 0a404ef06dd0fe2a92eb89159f1cc655 axiom Rep_CVertex:: GHC.Generics.Rep Language.Fixpoint.Graph.Types.CVertex = GHC.Generics.D1 ('GHC.Generics.MetaData "CVertex" "Language.Fixpoint.Graph.Types" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "KVar" '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 "DKVar" '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 "Cstr" '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 GHC.Integer.Type.Integer)))) 3c18a9686e97cbaaa1d4bfeafea94b61 data Slice = Slice {slKVarCs :: [Language.Fixpoint.Types.Constraints.SubcId], slConcCs :: [Language.Fixpoint.Types.Constraints.SubcId], slEdges :: [Language.Fixpoint.Graph.Types.DepEdge]} b09606704f7bdb5375f8da175b8cd7d6 type role SolverInfo nominal representational data SolverInfo a b = SI {siSol :: !Language.Fixpoint.Types.Solutions.Sol b Language.Fixpoint.Types.Solutions.QBind, siQuery :: !Language.Fixpoint.Types.Constraints.SInfo a, siDeps :: !Language.Fixpoint.Graph.Types.CDeps, siVars :: !Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar} 87afa682c8dd1e9f69a5fe4b0723474f cNumScc :: Language.Fixpoint.Graph.Types.CDeps -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CDeps {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CDeps) -> case ds of wild { Language.Fixpoint.Graph.Types.CDs ds1 ds2 ds3 dt -> GHC.Types.I# dt }) -} 44378df15353951216d40984b9a58e96 cPrev :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Refinements.KVar] RecSel Left Language.Fixpoint.Graph.Types.CDeps {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CDeps) -> case ds of wild { Language.Fixpoint.Graph.Types.CDs ds1 ds2 ds3 dt -> ds2 }) -} 91056843e7d1f21a2e9caef0fc08c864 cRank :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Graph.Types.CDeps {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CDeps) -> case ds of wild { Language.Fixpoint.Graph.Types.CDs ds1 ds2 ds3 dt -> ds3 }) -} 684fe736a36e83079101e58c12b55d5f cSucc :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.CDeps {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CDeps) -> case ds of wild { Language.Fixpoint.Graph.Types.CDs ds1 ds2 ds3 dt -> ds1 }) -} 7a54076485610616456519238fb8ee79 gEdges :: Language.Fixpoint.Graph.Types.CGraph -> [Language.Fixpoint.Graph.Types.DepEdge] RecSel Left Language.Fixpoint.Graph.Types.CGraph {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CGraph) -> case ds of wild { Language.Fixpoint.Graph.Types.CGraph ds1 ds2 ds3 dt -> ds1 }) -} a2226659a6bb28e4f5737627792d0432 gRanks :: Language.Fixpoint.Graph.Types.CGraph -> Language.Fixpoint.Types.Solutions.CMap GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CGraph {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CGraph) -> case ds of wild { Language.Fixpoint.Graph.Types.CGraph ds1 ds2 ds3 dt -> ds2 }) -} 3ad3f4a0066333ba021b163c1a36474a gSccs :: Language.Fixpoint.Graph.Types.CGraph -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CGraph {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CGraph) -> case ds of wild { Language.Fixpoint.Graph.Types.CGraph ds1 ds2 ds3 dt -> GHC.Types.I# dt }) -} f998472e929f2cacdb54dfb2bca77586 gSucc :: Language.Fixpoint.Graph.Types.CGraph -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.CGraph {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.CGraph) -> case ds of wild { Language.Fixpoint.Graph.Types.CGraph ds1 ds2 ds3 dt -> ds3 }) -} 6bbecf5086b9c6a3359a2eabd0386ad0 isRealEdge :: Language.Fixpoint.Graph.Types.CEdge -> GHC.Types.Bool {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Graph.Types.CEdge) -> case w of ww { (,) ww1 ww2 -> Language.Fixpoint.Graph.Types.$wisRealEdge ww1 ww2 }) -} eb6fa0ecc67f707c0c302a0c538300eb kvgEdges :: Language.Fixpoint.Graph.Types.KVGraph -> [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] RecSel Left Language.Fixpoint.Graph.Types.KVGraph {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.KVGraph) -> case ds of wild { Language.Fixpoint.Graph.Types.KVGraph ds1 -> ds1 }) -} 0870815b0e5edc51d8f96c01a17ac04c lookupCMap :: ?callStack::GHC.Stack.Types.CallStack => Language.Fixpoint.Types.Solutions.CMap a -> Language.Fixpoint.Types.Constraints.SubcId -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: Language.Fixpoint.Types.Solutions.CMap a) (eta1 :: Language.Fixpoint.Types.Constraints.SubcId) -> case Data.HashMap.Base.lookup @ Language.Fixpoint.Types.Constraints.SubcId @ a GHC.Integer.Type.$fEqInteger Data.Hashable.Class.$fHashableInteger eta1 eta of wild { GHC.Base.Nothing -> Language.Fixpoint.Graph.Types.lookupCMap1 @ a $dIP eta1 GHC.Base.Just v1 -> v1 }) -} 224ac4fcadc19b669f7e79787c72cb5e lookupCMap1 :: ?callStack::GHC.Stack.Types.CallStack => Language.Fixpoint.Types.Constraints.SubcId -> a {- Arity: 2, Strictness: x -} 38bf3bd76439a8f20c1e4e127885f6df rIcc :: Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.Rank {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.Rank) -> case ds of wild { Language.Fixpoint.Graph.Types.Rank dt dt1 ds1 -> GHC.Types.I# dt1 }) -} af46031dd918d7df1ae12f39ce98f7c5 rScc :: Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.Rank {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.Rank) -> case ds of wild { Language.Fixpoint.Graph.Types.Rank dt dt1 ds1 -> GHC.Types.I# dt }) -} 0453fee5f00783343cf64781fece1ecc rTag :: Language.Fixpoint.Graph.Types.Rank -> Language.Fixpoint.Types.Constraints.Tag RecSel Left Language.Fixpoint.Graph.Types.Rank {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.Rank) -> case ds of wild { Language.Fixpoint.Graph.Types.Rank dt dt1 ds1 -> ds1 }) -} dc379f0c79c4322eafe1ce9d7d223789 siDeps :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Graph.Types.CDeps RecSel Left Language.Fixpoint.Graph.Types.SolverInfo {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a @ b (ds :: Language.Fixpoint.Graph.Types.SolverInfo a b) -> case ds of wild { Language.Fixpoint.Graph.Types.SI ds1 ds2 ds3 ds4 -> ds3 }) -} 4e84f9d57ae07ea9ec3747b32c2c102f siQuery :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Types.Constraints.SInfo a RecSel Left Language.Fixpoint.Graph.Types.SolverInfo {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a @ b (ds :: Language.Fixpoint.Graph.Types.SolverInfo a b) -> case ds of wild { Language.Fixpoint.Graph.Types.SI ds1 ds2 ds3 ds4 -> ds2 }) -} dff0082a2d59e24319611bdab2e6e0f2 siSol :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Types.Solutions.Sol b Language.Fixpoint.Types.Solutions.QBind RecSel Left Language.Fixpoint.Graph.Types.SolverInfo {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a @ b (ds :: Language.Fixpoint.Graph.Types.SolverInfo a b) -> case ds of wild { Language.Fixpoint.Graph.Types.SI ds1 ds2 ds3 ds4 -> ds1 }) -} 35f5142e8f813175a34215ca8bd6fe2d siVars :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Graph.Types.SolverInfo {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a @ b (ds :: Language.Fixpoint.Graph.Types.SolverInfo a b) -> case ds of wild { Language.Fixpoint.Graph.Types.SI ds1 ds2 ds3 ds4 -> ds4 }) -} e83121ef94259addc17e0c64d874dff8 slConcCs :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.Slice {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.Slice) -> case ds of wild { Language.Fixpoint.Graph.Types.Slice ds1 ds2 ds3 -> ds2 }) -} 90252d67d85dea8f83277d2ba9896cc8 slEdges :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Graph.Types.DepEdge] RecSel Left Language.Fixpoint.Graph.Types.Slice {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.Slice) -> case ds of wild { Language.Fixpoint.Graph.Types.Slice ds1 ds2 ds3 -> ds3 }) -} 08cb92300a4bebebaccec0550947b094 slKVarCs :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.Slice {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Graph.Types.Slice) -> case ds of wild { Language.Fixpoint.Graph.Types.Slice ds1 ds2 ds3 -> ds1 }) -} e7e46503d1f68a4a19fe84f261e36cdd writeEdges :: GHC.IO.FilePath -> [Language.Fixpoint.Graph.Types.CEdge] -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Graph.Types.writeEdges1 `cast` (_R ->_R <[Language.Fixpoint.Graph.Types.CEdge]>_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} cf177931548ecdbb2205a0e270277ce3 writeEdges1 :: GHC.IO.FilePath -> [Language.Fixpoint.Graph.Types.CEdge] -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, False) (\ (f :: GHC.IO.FilePath) (eta :: [Language.Fixpoint.Graph.Types.CEdge]) (eta1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> System.IO.writeFile1 f (Language.Fixpoint.Graph.Types.writeEdges2 eta) eta1) -} a71560e93edabf3154ac842eb0f908e0 writeEdges2 :: [Language.Fixpoint.Graph.Types.CEdge] -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: (\ (x :: [Language.Fixpoint.Graph.Types.CEdge]) -> Text.PrettyPrint.Annotated.HughesPJ.fullRenderAnn @ () @ GHC.Base.String Text.PrettyPrint.Annotated.HughesPJ.PageMode Text.PrettyPrint.Annotated.HughesPJ.render3 Text.PrettyPrint.Annotated.HughesPJ.render2 Language.Fixpoint.Graph.Types.writeEdges5 (GHC.Types.[] @ GHC.Types.Char) (case Text.PrettyPrint.Annotated.HughesPJ.$wreduceVert @ () (Text.PrettyPrint.Annotated.HughesPJ.vcat1 @ () (GHC.Types.: @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) Language.Fixpoint.Graph.Types.writeEdges3 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (Language.Fixpoint.Graph.Types.writeEdges_go x))) of ww { (#,#) ww1 ww2 -> ww2 })) -} 9e393711b5ed6f58d335b00422e05f05 writeEdges3 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Graph.Types.writeEdges_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Graph.Types.writeEdges4 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 477db1c61d84ff1348786013b98423b8 writeEdges4 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Graph.Types.writeEdges_s) -} 62f93a0a0f3d23e3b36f65ed4f757c6c writeEdges5 :: Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails () -> GHC.Base.String -> GHC.Base.String {- Arity: 2, HasNoCafRefs, Unfolding: (\ (ds :: Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails ()) (eta :: GHC.Base.String)[OneShot] -> case ds of wild { DEFAULT -> eta Text.PrettyPrint.Annotated.HughesPJ.NoAnnot s1 dt1 -> case s1 of wild1 { Text.PrettyPrint.Annotated.HughesPJ.Chr dt -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# dt) eta Text.PrettyPrint.Annotated.HughesPJ.Str s2 -> GHC.Base.++ @ GHC.Types.Char s2 eta Text.PrettyPrint.Annotated.HughesPJ.PStr s2 -> GHC.Base.++ @ GHC.Types.Char s2 eta } }) -} 7209d8e1e8e21227b3b88001a26b4640 writeEdges_go :: [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex)] -> [Text.PrettyPrint.Annotated.HughesPJ.Doc ()] {- Arity: 1, Strictness: -} 33a8e636229a44e72ffbfa684ecda909 writeEdges_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "digraph Deps {"#) -} c3658bfac120e3d950432f4c1c8acbfe writeGraph :: GHC.IO.FilePath -> Language.Fixpoint.Graph.Types.KVGraph -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Graph.Types.writeGraph1 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} bafc2f6cb77ee4e01b20c86b9ca9f8a1 writeGraph1 :: GHC.IO.FilePath -> Language.Fixpoint.Graph.Types.KVGraph -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: (\ (f :: GHC.IO.FilePath) (eta :: Language.Fixpoint.Graph.Types.KVGraph) (eta1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> System.IO.writeFile1 f (Language.Fixpoint.Graph.Types.writeEdges2 (case eta of wild { Language.Fixpoint.Graph.Types.KVGraph g -> Language.Fixpoint.Graph.Types.writeGraph_go g })) eta1) -} 5973f6fb124354ce7ebb7e7b79197683 writeGraph_go :: [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] -> [Language.Fixpoint.Graph.Types.CEdge] {- Arity: 1, HasNoCafRefs, Strictness: -} instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fEqCVertex instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fEqRank instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.Slice] = Language.Fixpoint.Graph.Types.$fEqSlice instance GHC.Generics.Generic [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fGenericCVertex instance Data.Hashable.Class.Hashable [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fHashableCVertex instance GHC.Classes.Ord [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fOrdCVertex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fPPrintCVertex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.KVGraph] = Language.Fixpoint.Graph.Types.$fPPrintKVGraph instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fPPrintRank instance GHC.Show.Show [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fShowCVertex instance GHC.Show.Show [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fShowRank instance GHC.Show.Show [Language.Fixpoint.Graph.Types.Slice] = Language.Fixpoint.Graph.Types.$fShowSlice family instance GHC.Generics.Rep [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.Rep_CVertex "SPEC/Language.Fixpoint.Graph.Types $fEq(,,) @ Integer @ Integer @ [SubcId]" [ALWAYS] forall ($dEq2 :: GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.SubcId]) ($dEq1 :: GHC.Classes.Eq GHC.Integer.Type.Integer) ($dEq :: GHC.Classes.Eq GHC.Integer.Type.Integer) GHC.Classes.$fEq(,,) @ GHC.Integer.Type.Integer @ GHC.Integer.Type.Integer @ [Language.Fixpoint.Types.Constraints.SubcId] $dEq $dEq1 $dEq2 = Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq(,,) "SPEC/Language.Fixpoint.Graph.Types $fEq(,,)_$c/= @ Integer @ Integer @ [SubcId]" [ALWAYS] forall ($dEq2 :: GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.SubcId]) ($dEq1 :: GHC.Classes.Eq GHC.Integer.Type.Integer) ($dEq :: GHC.Classes.Eq GHC.Integer.Type.Integer) GHC.Classes.$fEq(,,)_$c/= @ GHC.Integer.Type.Integer @ GHC.Integer.Type.Integer @ [Language.Fixpoint.Types.Constraints.SubcId] $dEq $dEq1 $dEq2 = Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq(,,)_$c/= "SPEC/Language.Fixpoint.Graph.Types $fEq[] @ Integer" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Integer.Type.Integer) GHC.Classes.$fEq[] @ GHC.Integer.Type.Integer $dEq = Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq[] "SPEC/Language.Fixpoint.Graph.Types $fEq[]_$c/= @ Integer" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Integer.Type.Integer) GHC.Classes.$fEq[]_$c/= @ GHC.Integer.Type.Integer $dEq = Language.Fixpoint.Graph.Types.$fEqSlice_$s$fEq[]_$c/= "SPEC/Language.Fixpoint.Graph.Types $fPPrint(,,) @ CVertex @ CVertex @ [CVertex]" [ALWAYS] forall ($dPPrint2 :: Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex]) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex) ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex) Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,) @ Language.Fixpoint.Graph.Types.CVertex @ Language.Fixpoint.Graph.Types.CVertex @ [Language.Fixpoint.Graph.Types.CVertex] $dPPrint $dPPrint1 $dPPrint2 = Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint(,,) "SPEC/Language.Fixpoint.Graph.Types $fPPrint(,,)_$cpprintPrec @ CVertex @ CVertex @ [CVertex]" [ALWAYS] forall ($dPPrint2 :: Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex]) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex) ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex) Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_$cpprintPrec @ Language.Fixpoint.Graph.Types.CVertex @ Language.Fixpoint.Graph.Types.CVertex @ [Language.Fixpoint.Graph.Types.CVertex] $dPPrint $dPPrint1 $dPPrint2 = Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint(,,)_$cpprintPrec "SPEC/Language.Fixpoint.Graph.Types $fPPrint[] @ CVertex" [ALWAYS] forall ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex) Language.Fixpoint.Types.PrettyPrint.$fPPrint[] @ Language.Fixpoint.Graph.Types.CVertex $dPPrint = Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint[] "SPEC/Language.Fixpoint.Graph.Types $fPPrint[]_$cpprintPrec @ (CVertex, CVertex, [CVertex])" [ALWAYS] forall ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])) Language.Fixpoint.Types.PrettyPrint.$fPPrint[]_$cpprintPrec @ (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex]) $dPPrint = Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint[]_$cpprintPrec "SPEC/Language.Fixpoint.Graph.Types $fPPrint[]_$cpprintPrec @ CVertex" [ALWAYS] forall ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex) Language.Fixpoint.Types.PrettyPrint.$fPPrint[]_$cpprintPrec @ Language.Fixpoint.Graph.Types.CVertex $dPPrint = Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$s$fPPrint[]_$cpprintPrec1 "SPEC/Language.Fixpoint.Graph.Types pprint @ [(CVertex, CVertex, [CVertex])]" [ALWAYS] forall ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])]) Language.Fixpoint.Types.PrettyPrint.pprint @ [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] $dPPrint = Language.Fixpoint.Graph.Types.$fPPrintKVGraph_$spprint vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False