==================== FINAL INTERFACE ==================== 2017-05-02 18:35:45.386176 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Misc 8002 interface hash: 18cf9668c37a7311412e57f062ca8192 ABI hash: 268edc2be2657e56d9ac2e0e5f861c66 export-list hash: 0d4209a369f77ae55113ca41b56281c2 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: aa523689299a73c717110ac922c91b7d sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Misc.allCombinations Language.Fixpoint.Misc.allMap Language.Fixpoint.Misc.applyNonNull Language.Fixpoint.Misc.arrow Language.Fixpoint.Misc.asyncMapM Language.Fixpoint.Misc.coalesce Language.Fixpoint.Misc.coalesceEdges Language.Fixpoint.Misc.colorPhaseLn Language.Fixpoint.Misc.colorStrLn Language.Fixpoint.Misc.componentsWith Language.Fixpoint.Misc.count Language.Fixpoint.Misc.dcolon Language.Fixpoint.Misc.doneLine Language.Fixpoint.Misc.donePhase Language.Fixpoint.Misc.editDistance Language.Fixpoint.Misc.ensurePath Language.Fixpoint.Misc.errorstar Language.Fixpoint.Misc.executeShellCommand Language.Fixpoint.Misc.fM Language.Fixpoint.Misc.firstMaybe Language.Fixpoint.Misc.fst3 Language.Fixpoint.Misc.getUniqueInt Language.Fixpoint.Misc.group Language.Fixpoint.Misc.groupBase Language.Fixpoint.Misc.groupList Language.Fixpoint.Misc.groupMap Language.Fixpoint.Misc.hashMapToAscList Language.Fixpoint.Misc.inserts Language.Fixpoint.Misc.intersperse Language.Fixpoint.Misc.mapEither Language.Fixpoint.Misc.mapFst Language.Fixpoint.Misc.mapSnd Language.Fixpoint.Misc.mfromJust Language.Fixpoint.Misc.mlookup Language.Fixpoint.Misc.moodColor Language.Fixpoint.Misc.putBlankLn Language.Fixpoint.Misc.removes Language.Fixpoint.Misc.repeats Language.Fixpoint.Misc.safeHead Language.Fixpoint.Misc.safeInit Language.Fixpoint.Misc.safeLast Language.Fixpoint.Misc.safeLookup Language.Fixpoint.Misc.safeUncons Language.Fixpoint.Misc.safeUnsnoc Language.Fixpoint.Misc.safeZip Language.Fixpoint.Misc.safeZipWith Language.Fixpoint.Misc.secondM Language.Fixpoint.Misc.singleton Language.Fixpoint.Misc.snd3 Language.Fixpoint.Misc.sortNub Language.Fixpoint.Misc.startPhase Language.Fixpoint.Misc.thd3 Language.Fixpoint.Misc.traceShow Language.Fixpoint.Misc.tshow Language.Fixpoint.Misc.whenM Language.Fixpoint.Misc.withColor Language.Fixpoint.Misc.wrap Language.Fixpoint.Misc.wrapStars Language.Fixpoint.Misc.writeLoud Language.Fixpoint.Misc.EqHash Language.Fixpoint.Misc.ListNE Language.Fixpoint.Misc.Moods{Language.Fixpoint.Misc.Angry Language.Fixpoint.Misc.Happy Language.Fixpoint.Misc.Loud Language.Fixpoint.Misc.Ok Language.Fixpoint.Misc.Sad} Language.Fixpoint.Misc.|-> module dependencies: 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 bytestring-0.10.8.1@bytestring-0.10.8.1 cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base 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 import -/ ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo:System.Console.ANSI e739319fbbd4966bdcd546dfbbe469b3 import -/ ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo:System.Console.ANSI.Common ac77f9b0df69073483b183add28b39b1 import -/ ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo:System.Console.ANSI.Unix 6ea483f5e4efc8e715d9a53f8f28b4a4 import -/ array-0.5.1.1@array-0.5.1.1:Data.Array 01310623526f8acc73d1bb69e9d9530a import -/ async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK:Control.Concurrent.Async 955fb68f82189e74bba4ac5b1bd4273e import -/ base-4.9.1.0:Control.Arrow 70754b538e7d75521cd68162917b6946 import -/ base-4.9.1.0:Control.Exception a76dd9666251322fe34dbcca3a0817bf import -/ base-4.9.1.0:Control.Exception.Base 1e106916283856f4d9caeddab92cd861 import -/ base-4.9.1.0:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Either 20b09ef8d0a5b74fdec011c40c1587f5 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Function 7aca86bfbd92366def5f260e30cb2628 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:Data.Unique 83bc144bd7a6b4a9dd53b82bc143c029 import -/ base-4.9.1.0:Debug.Trace a9edf3aec504f4423d8ba829ab373a25 import -/ base-4.9.1.0:GHC.Arr dbae05e7a9c0aba55cc706ecf0406507 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Err 3bba35a16538d33d424682ce66876cdd import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.IO.Exception 5064be4c355632a1d1c4f2322f56ac52 import -/ base-4.9.1.0:GHC.IO.Handle ba98a5b34d78cbf48b41fe58a3735c69 import -/ base-4.9.1.0:GHC.IO.Handle.FD bf0291e0f2b6c0eca5446f986999f1cc import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8 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.Exit 068ba078eb20417d7af66db8b8ab4db1 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Verbosity 7bf06f3afbdc9ccb1d15f1e14eae9da1 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Graph 54c0f58a4ccb634fc9eab39368f95434 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Tree d0006987ba7e0d1855cb2cb448efc980 import -/ directory-1.3.0.0@directory-1.3.0.0:System.Directory 23e4e3d52f91c33b21f0667cd90aa164 import -/ filepath-1.4.1.1@filepath-1.4.1.1:System.FilePath a3d1d13ac7dd86705b5dfaf58a5c0b9e import -/ filepath-1.4.1.1@filepath-1.4.1.1:System.FilePath.Posix 6a5e3ee74184fdcc5da09a368e7c40f5 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 -/ located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3:GHC.Err.Located e7c2cc2fce5606967665701f9d888898 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ process-1.4.3.0@process-1.4.3.0:System.Process 1ee59b956b7cad68338d3f6ab3e772ed 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 addDependentFile "/usr/local/lib/ghc-8.0.2/include/ghcversion.h" addDependentFile ".stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/autogen/cabal_macros.h" 7c17444fc795af4f6d0be0010b5f32e3 $tc'Angry :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 10560475730225992029## 12351923715687817633## Language.Fixpoint.Misc.$trModule Language.Fixpoint.Misc.$tc'Angry1) -} b74dace33cf31bee2782b6dc01490d71 $tc'Angry1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Angry"#) -} 5c56563e3ccbe0a27de176eee7a7ce6e $tc'Happy :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 15414089159081127094## 14347415981619288797## Language.Fixpoint.Misc.$trModule Language.Fixpoint.Misc.$tc'Happy1) -} e7956d18fa8bb732086861122e931fa2 $tc'Happy1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Happy"#) -} 4d7fd693011b8ec891f315ac4173d713 $tc'Loud :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 1998136192550018659## 12069493131807427689## Language.Fixpoint.Misc.$trModule Language.Fixpoint.Misc.$tc'Loud1) -} 1227456e2b5f0a4078e3cfe51dd67cd7 $tc'Loud1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Loud"#) -} e092c14f8af6c64b02a120e6909d6b03 $tc'Ok :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 11911396788845309052## 12616521287308421521## Language.Fixpoint.Misc.$trModule Language.Fixpoint.Misc.$tc'Ok1) -} 159b2c45b889fc360b5e8ad1ac6f2990 $tc'Ok1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Ok"#) -} 39a68efb1bc4a1db21fc8c21ee240eeb $tc'Sad :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 13900572287508364912## 3772817592887209801## Language.Fixpoint.Misc.$trModule Language.Fixpoint.Misc.$tc'Sad1) -} 60b0fbf9347786db6be1045f8b071dab $tc'Sad1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Sad"#) -} b018aa5b08736ca7a92da1993b4274d4 $tcMoods :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 3848736220652625850## 7414941342969984152## Language.Fixpoint.Misc.$trModule Language.Fixpoint.Misc.$tcMoods1) -} 481b193219d95524c7e1cd2a98dc888b $tcMoods1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Moods"#) -} 9a16c0e3adf2c317dcca72a3b1956a3b $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Misc.$trModule2 Language.Fixpoint.Misc.$trModule1) -} 4a0d97bc1803669c2f3150fd58927714 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Misc"#) -} 7e9da7304f9cce7df7d7274836b12548 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} d325dde7e7b72ca07d916ed323e5e817 $wallMap :: (v -> GHC.Types.Bool) -> Data.HashMap.Base.HashMap k v -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ @ k @ v (w :: v -> GHC.Types.Bool) (w1 :: Data.HashMap.Base.HashMap k v) -> Data.HashMap.Base.$fFoldableHashMap_$cfoldr @ k @ v @ (GHC.Types.Bool -> GHC.Types.Bool) (\ (x1 :: v) (k1 :: GHC.Types.Bool -> GHC.Types.Bool)[OneShot] (z :: GHC.Types.Bool) -> case case z of wild { GHC.Types.False -> GHC.Types.False GHC.Types.True -> w x1 } of vx { DEFAULT -> k1 vx }) (GHC.Base.id @ GHC.Types.Bool) w1 GHC.Types.True) -} a488301745617aaf558ef5d37bb85da0 $wmapEither :: (a -> Data.Either.Either b c) -> [a] -> (# [b], [c] #) {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0] -} 2d111c67b4bd4c6543e43fe9cf05620d $wrepeats :: GHC.Prim.Int# -> [a] -> [a] {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ @ a (ww :: GHC.Prim.Int#) (w :: [a]) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# 0# ww) of wild { GHC.Types.False -> GHC.Types.[] @ a GHC.Types.True -> let { lvl60 :: [a] = GHC.Base.++ @ a w (GHC.Types.[] @ a) } in letrec { $wxs2 :: GHC.Prim.Int# -> [a] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww1 :: GHC.Prim.Int#) -> case ww1 of ds1 { DEFAULT -> GHC.Base.++ @ a w ($wxs2 (GHC.Prim.-# ds1 1#)) 1# -> lvl60 } } in $wxs2 ww }) -} 171ce4f1645ad311e4994d147b92fe21 $wsafeUnsnoc :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> (# [a], a #) {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: ?callStack::GHC.Stack.Types.CallStack) (w1 :: GHC.Base.String) (w2 :: Language.Fixpoint.Misc.ListNE a) -> let { ds :: (a, [a]) = case GHC.List.reverse1 @ a w2 (GHC.Types.[] @ a) of wild { [] -> Language.Fixpoint.Misc.safeUnsnoc1 @ a w w1 : x1 xs -> (x1, xs) } } in (# case ds of wild { (,) x1 y -> GHC.List.reverse1 @ a y (GHC.Types.[] @ a) }, case ds of wild { (,) x1 y -> x1 } #)) -} 3ba4abfe6ffce2f5dac86837e06349ea $wxs :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, HasNoCafRefs, Strictness: , Inline: [0] -} 1a28414ffcbfa09b460a154d5c3784c7 type EqHash a = (GHC.Classes.Eq a, GHC.Classes.Ord a, Data.Hashable.Class.Hashable a) :: GHC.Types.Constraint 245082d2e65bed4e03d6c17463d8b79a type ListNE a = [a] 91b7fe939c9c0ffb716510227cc5d3ce data Moods = Ok | Loud | Sad | Happy | Angry c0a9eb79a7b13ad47907d1a4dc3f37f3 allCombinations :: [[a]] -> [[a]] {- Arity: 1, HasNoCafRefs, Strictness: -} 188d60cfcdd3ac787110cb94ff1521bd allMap :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => (v -> GHC.Types.Bool) -> Data.HashMap.Base.HashMap k v -> GHC.Types.Bool {- Arity: 4, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, True) (\ @ k @ v (w :: GHC.Classes.Eq k) (w1 :: Data.Hashable.Class.Hashable k) (w2 :: v -> GHC.Types.Bool) (w3 :: Data.HashMap.Base.HashMap k v) -> Language.Fixpoint.Misc.$wallMap @ k @ v w2 w3) -} 303cbe5541e25fbd8cd11b7c15ff6310 applyNonNull :: b -> ([a] -> b) -> [a] -> b {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ b @ a (def :: b) (ds :: [a] -> b) (ds1 :: [a]) -> case ds1 of wild { [] -> def : ipv ipv1 -> ds wild }) -} 8bdb9f54c894b8edbd1807cc51496c9c arrow :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Misc.arrow_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Misc.arrow1 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} d7bb8c7705092630328e7bb00818a913 arrow1 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Misc.arrow_s) -} e36f9be79cd68645607a317f4f495e93 arrow_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "->"#) -} ae893d2cd008b5aa61745192d2e27805 asyncMapM :: (a -> GHC.Types.IO b) -> [a] -> GHC.Types.IO [b] {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.asyncMapM1 `cast` (forall (a :: <*>_N) (b :: <*>_N). GHC.Types.IO b>_R ->_R <[a]>_R ->_R Sym (GHC.Types.N:IO[0] <[b]>_R)) -} 7e3a6dd98770d3b3839d53679e6a3ff9 asyncMapM1 :: (a -> GHC.Types.IO b) -> [a] -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, [b] #) {- Arity: 3, Strictness: , Unfolding: (\ @ a @ b (f :: a -> GHC.Types.IO b) (xs :: [a]) (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> letrec { go :: [a] -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Control.Concurrent.Async.Async b] #) {- Arity: 2, Strictness: -} = \ (ds :: [a]) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case ds of wild { [] -> (# eta, GHC.Types.[] @ (Control.Concurrent.Async.Async b) #) : y ys -> case Control.Concurrent.Async.async1 @ b (f y) eta of ds1 { (#,#) ipv ipv1 -> case go ys ipv of ds2 { (#,#) ipv2 ipv3 -> (# ipv2, GHC.Types.: @ (Control.Concurrent.Async.Async b) ipv1 ipv3 #) } } } } in case go xs s of ds1 { (#,#) ipv ipv1 -> (Language.Fixpoint.Misc.asyncMapM2 @ b ipv1) `cast` (GHC.Types.N:IO[0] <[b]>_R) ipv }) -} 295846912d17a147510ae12a073f3648 asyncMapM2 :: [Control.Concurrent.Async.Async b] -> GHC.Types.IO [b] {- Unfolding: (\ @ b -> Data.Traversable.$fTraversable[]_$cmapM @ GHC.Types.IO @ (Control.Concurrent.Async.Async b) @ b GHC.Base.$fMonadIO (Control.Concurrent.Async.wait @ b)) -} 17a5aa1e08f8a412b90c8a1683456312 coalesce :: Language.Fixpoint.Misc.EqHash v => [Language.Fixpoint.Misc.ListNE v] -> [Language.Fixpoint.Misc.ListNE v] {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ v ($d(%,,%) :: Language.Fixpoint.Misc.EqHash v) (eta :: [Language.Fixpoint.Misc.ListNE v]) -> Language.Fixpoint.Misc.componentsWith @ v @ [Language.Fixpoint.Misc.ListNE v] @ v (GHC.Classes.$p2(%,,%) @ (GHC.Classes.Eq v) @ (GHC.Classes.Ord v) @ (Data.Hashable.Class.Hashable v) $d(%,,%)) (Language.Fixpoint.Misc.coalesceEdges @ v $d(%,,%)) eta) -} 390b8f5cab898ef725b7550b8d147a9d coalesceEdges :: Language.Fixpoint.Misc.EqHash v => [Language.Fixpoint.Misc.ListNE v] -> [(v, v, [v])] {- Arity: 2, Strictness: , Unfolding: (\ @ v ($d(%,,%) :: Language.Fixpoint.Misc.EqHash v) (eta :: [Language.Fixpoint.Misc.ListNE v]) -> let { uvs :: [(v, v)] = Language.Fixpoint.Misc.coalesceEdges3 @ v eta } in Language.Fixpoint.Misc.coalesceEdges2 @ v (Language.Fixpoint.Misc.coalesceEdges1 @ v @ v (GHC.Types.[] @ (v, [v])) (Language.Fixpoint.Misc.groupBase @ v @ v (GHC.Classes.$p1(%,,%) @ (GHC.Classes.Eq v) @ (GHC.Classes.Ord v) @ (Data.Hashable.Class.Hashable v) $d(%,,%)) (GHC.Classes.$p3(%,,%) @ (GHC.Classes.Eq v) @ (GHC.Classes.Ord v) @ (Data.Hashable.Class.Hashable v) $d(%,,%)) (Data.HashMap.Base.Empty @ v @ [v]) (GHC.Base.++ @ (v, v) uvs (GHC.Base.map @ (v, v) @ (v, v) (Data.Tuple.swap @ v @ v) uvs))))) -} f16fc9cb217134961d7946d1dd690e25 coalesceEdges1 :: [(k, [v])] -> Data.HashMap.Base.HashMap k [v] -> [(k, [v])] {- Arity: 2, HasNoCafRefs, Strictness: -} 9eb753170d77623cb2864798cae4ab7c coalesceEdges2 :: [(v, [v])] -> [(v, v, [v])] {- Arity: 1, HasNoCafRefs, Strictness: -} 54ce486cec956b77ea1dd2976f94fe64 coalesceEdges3 :: [[v]] -> [(v, v)] {- Arity: 1, HasNoCafRefs, Strictness: -} 1dfe1637de22340a8f1e40819810e232 colorPhaseLn :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Base.String -> GHC.Types.IO () {- Arity: 4, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.colorPhaseLn1 `cast` (_R ->_R _R ->_R <[GHC.Types.Char]>_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 13972fc7b26a2bbcc66bb5dfe53f0994 colorPhaseLn1 :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> [GHC.Types.Char] -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 4, Strictness: , Unfolding: (\ (c :: Language.Fixpoint.Misc.Moods) (msg :: GHC.Base.String) (eta :: [GHC.Types.Char]) (eta1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> Language.Fixpoint.Misc.colorPhaseLn2 (case c of wild { Language.Fixpoint.Misc.Ok -> System.Console.ANSI.Common.Black Language.Fixpoint.Misc.Loud -> System.Console.ANSI.Common.Blue Language.Fixpoint.Misc.Sad -> System.Console.ANSI.Common.Magenta Language.Fixpoint.Misc.Happy -> System.Console.ANSI.Common.Green Language.Fixpoint.Misc.Angry -> System.Console.ANSI.Common.Red }) (\ (eta2 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout (Language.Fixpoint.Misc.wrapStars (GHC.Base.++ @ GHC.Types.Char msg eta)) GHC.Types.True eta2) `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) eta1) -} 64ca1e0d6a998029ce1f210c97b62456 colorPhaseLn2 :: System.Console.ANSI.Common.Color -> GHC.Types.IO () -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: (\ (c :: System.Console.ANSI.Common.Color) (act :: GHC.Types.IO ()) (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout (System.Console.ANSI.Unix.csi (GHC.Types.: @ GHC.Types.Int Language.Fixpoint.Misc.colorPhaseLn6 (GHC.Types.: @ GHC.Types.Int (case System.Console.ANSI.Unix.$wsgrToCode (System.Console.ANSI.Common.SetColor System.Console.ANSI.Common.Foreground System.Console.ANSI.Common.Vivid c) of ww { DEFAULT -> GHC.Types.I# ww }) (GHC.Types.[] @ GHC.Types.Int))) System.Console.ANSI.Unix.setSGRCode1) GHC.Types.False s of ds1 { (#,#) ipv ipv1 -> case act `cast` (GHC.Types.N:IO[0] <()>_R) ipv of ds2 { (#,#) ipv2 ipv3 -> GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout Language.Fixpoint.Misc.colorPhaseLn3 GHC.Types.False ipv2 } }) -} 5d85fbc1ee843b53c2d9d0ccd292e0d6 colorPhaseLn3 :: GHC.Base.String {- Unfolding: (System.Console.ANSI.Unix.csi Language.Fixpoint.Misc.colorPhaseLn4 System.Console.ANSI.Unix.setSGRCode1) -} f1e229ec1e9ed10b60a23f082f650138 colorPhaseLn4 :: [GHC.Types.Int] {- Unfolding: (GHC.Types.: @ GHC.Types.Int Language.Fixpoint.Misc.colorPhaseLn5 (GHC.Types.[] @ GHC.Types.Int)) -} 72f3f258ad463317b66a8ca074424cda colorPhaseLn5 :: GHC.Types.Int {- Unfolding: (case System.Console.ANSI.Unix.$wsgrToCode System.Console.ANSI.Common.Reset of ww { DEFAULT -> GHC.Types.I# ww }) -} 4c6029689e5776ec1cff726728b647ac colorPhaseLn6 :: GHC.Types.Int {- Unfolding: (case System.Console.ANSI.Unix.$wsgrToCode Language.Fixpoint.Misc.colorPhaseLn7 of ww { DEFAULT -> GHC.Types.I# ww }) -} a9964d06d6357890737c5478b78fa9e2 colorPhaseLn7 :: System.Console.ANSI.Common.SGR {- HasNoCafRefs, Strictness: m2, Unfolding: (System.Console.ANSI.Common.SetConsoleIntensity System.Console.ANSI.Common.BoldIntensity) -} 314c551f03113bafdefee09d97f7834e colorStrLn :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.colorStrLn1 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 9b887366d56a78424f2bf8118224bd45 colorStrLn1 :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: (\ (c :: Language.Fixpoint.Misc.Moods) (eta :: GHC.Base.String) (eta1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> Language.Fixpoint.Misc.colorPhaseLn2 (case c of wild { Language.Fixpoint.Misc.Ok -> System.Console.ANSI.Common.Black Language.Fixpoint.Misc.Loud -> System.Console.ANSI.Common.Blue Language.Fixpoint.Misc.Sad -> System.Console.ANSI.Common.Magenta Language.Fixpoint.Misc.Happy -> System.Console.ANSI.Common.Green Language.Fixpoint.Misc.Angry -> System.Console.ANSI.Common.Red }) (\ (eta2 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout eta GHC.Types.True eta2) `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) eta1) -} 5c5b19dfec8fda3c44a7740b43bf0d25 componentsWith :: GHC.Classes.Ord c => (a -> [(b, c, [c])]) -> a -> [[b]] {- Arity: 3, Strictness: , Unfolding: (\ @ c @ a @ b ($dOrd :: GHC.Classes.Ord c) (eF :: a -> [(b, c, [c])]) (x1 :: a) -> case Data.Graph.$wgraphFromEdges @ c @ b $dOrd (eF x1) of ww { (#,,#) ww1 ww2 ww3 -> case ww1 of ww4 { GHC.Arr.Array ww5 ww6 ww7 ww8 -> case ww5 of ww9 { GHC.Types.I# ww10 -> case ww6 of ww11 { GHC.Types.I# ww12 -> let { c1 :: Data.Graph.Vertex -> b {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x2 :: Data.Graph.Vertex) -> case ww2 x2 of wild { (,,) x3 ds ds1 -> x3 }) -} = \ (x2 :: Data.Graph.Vertex) -> case ww2 x2 of wild { (,,) x3 ds ds1 -> x3 } } in GHC.Base.map @ (Data.Tree.Tree Data.Graph.Vertex) @ [b] (\ (x2 :: Data.Tree.Tree Data.Graph.Vertex) -> case x2 of ww13 { Data.Tree.Node ww14 ww15 -> case Data.Tree.$wpoly_squish @ Data.Graph.Vertex ww14 ww15 (GHC.Types.[] @ Data.Graph.Vertex) of ww16 { (#,#) ww17 ww18 -> GHC.Base.map @ GHC.Types.Int @ b c1 (GHC.Types.: @ Data.Graph.Vertex ww17 ww18) } }) (Data.Graph.$wcomponents ww10 ww12 ww8) } } } }) -} 3465de1600d6142a0b40ebd8679184c9 count :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [k] -> [(k, GHC.Types.Int)] {- Arity: 3, Strictness: , Unfolding: (\ @ k ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (eta :: [k]) -> Language.Fixpoint.Misc.count4 @ k (GHC.Types.[] @ (k, GHC.Types.Int)) (Language.Fixpoint.Misc.count3 @ k (Language.Fixpoint.Misc.groupBase @ k @ GHC.Types.Int $dEq $dHashable (Data.HashMap.Base.Empty @ k @ [GHC.Types.Int]) (GHC.Base.map @ k @ (k, GHC.Types.Int) (Language.Fixpoint.Misc.count1 @ k) eta)))) -} c1ab390fc809c04bda28adad6d97dfb4 count1 :: k -> (k, GHC.Types.Int) {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ k (ds :: k) -> (ds, Language.Fixpoint.Misc.count2)) -} 82e03ad89bd2504c2b8c09a9da4ecfee count2 :: GHC.Types.Int {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.I# 1#) -} 8e45e01df29dcb08edcc42c461afe5ab count3 :: Data.HashMap.Base.HashMap k [GHC.Types.Int] -> Data.HashMap.Base.HashMap k GHC.Types.Int {- Arity: 1, Strictness: -} ab8ed9dbe8655e5b554f495064f42dd1 count4 :: [(k, GHC.Types.Int)] -> Data.HashMap.Base.HashMap k GHC.Types.Int -> [(k, GHC.Types.Int)] {- Arity: 2, HasNoCafRefs, Strictness: -} cd1daf2c95b47d528a85f6be760e3cc3 dcolon :: Text.PrettyPrint.HughesPJ.Doc {- Strictness: m7, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.dcolon1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) -} 0bfe24caa526f57ba1d09d8dad32ca1c dcolon1 :: Text.PrettyPrint.Annotated.HughesPJ.Doc () {- HasNoCafRefs, Strictness: m7, Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.colon1 GHC.Types.False Text.PrettyPrint.HughesPJ.colon1) -} b6162b053b692e902b64c6e31cb1daad doneLine :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.doneLine1 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 618b1c4fd3ad4f6c1f3e40729a04489c doneLine1 :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, False) (\ (c :: Language.Fixpoint.Misc.Moods) (msg :: GHC.Base.String) (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Language.Fixpoint.Misc.colorPhaseLn1 c Language.Fixpoint.Misc.doneLine5 msg s of ds1 { (#,#) ipv ipv1 -> Language.Fixpoint.Misc.doneLine2 ipv }) -} cfb39203d855198a42b31f21ba28aa90 doneLine2 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 1, Strictness: , Unfolding: (\ (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> Language.Fixpoint.Misc.colorPhaseLn2 System.Console.ANSI.Common.Black Language.Fixpoint.Misc.doneLine3 `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) eta) -} 37c46c905bb1939aace5f027b8195fb3 doneLine3 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 1, Unfolding: (\ (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout Language.Fixpoint.Misc.doneLine4 GHC.Types.True eta) -} 396a10766e4f3f8fbb71cf4fb5a70ddb doneLine4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# " "#) -} b0a460f4ea576a8fefc6a5a125ee7702 doneLine5 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "DONE: "#) -} 1cf4579b993fe9690101309d8b0cc613 donePhase :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.donePhase1 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 7109e38f2183df52b35750895b5335ea donePhase1 :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: (\ (c :: Language.Fixpoint.Misc.Moods) (str :: GHC.Base.String) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Data.OldList.lines str of wild { [] -> (# eta, GHC.Tuple.() #) : l1 ls -> case Language.Fixpoint.Misc.colorPhaseLn1 c Language.Fixpoint.Misc.doneLine5 l1 eta of ds1 { (#,#) ipv ipv1 -> case Language.Fixpoint.Misc.colorPhaseLn2 System.Console.ANSI.Common.Black Language.Fixpoint.Misc.doneLine3 `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) ipv of ds2 { (#,#) ipv2 ipv3 -> letrec { go :: [GHC.Base.String] -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 2, Strictness: -} = \ (ds :: [GHC.Base.String]) (eta1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case ds of wild1 { [] -> (# eta1, GHC.Tuple.() #) : y ys -> case Language.Fixpoint.Misc.colorPhaseLn1 c (GHC.Types.[] @ GHC.Types.Char) y eta1 of ds3 { (#,#) ipv4 ipv5 -> go ys ipv4 } } } in case go ls ipv2 of ds3 { (#,#) ipv4 ipv5 -> GHC.IO.Handle.Internals.wantWritableHandle1 @ () GHC.IO.Handle.hFlush2 GHC.IO.Handle.FD.stdout GHC.IO.Handle.Internals.flushWriteBuffer1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) ipv4 } } } }) -} ceeddc2c62bb641348c501fc486aa751 editDistance :: GHC.Classes.Eq a => [a] -> [a] -> GHC.Types.Int {- Arity: 3, Strictness: -} 3402ad06caedf6824ca64542c1d58b7e ensurePath :: GHC.IO.FilePath -> GHC.Types.IO () {- Arity: 2, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.ensurePath1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 1b9485c0f87946fe1f2a23fdf84a6c92 ensurePath1 :: GHC.IO.FilePath -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ (x1 :: GHC.IO.FilePath) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> System.Directory.createDirectoryIfMissing1 GHC.Types.True (System.FilePath.Posix.takeDirectory x1) eta) -} e13c48ac8d5f72547a0d41e4f1437551 errorstar :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> a {- Arity: 2, Strictness: x -} d914e23484029777f6ace48e2974ef81 executeShellCommand :: GHC.Base.String -> GHC.Base.String -> GHC.Types.IO GHC.IO.Exception.ExitCode {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.executeShellCommand1 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] _R)) -} 0791104b891b917d5b80f2e56a7ab6fc executeShellCommand1 :: GHC.Base.String -> GHC.Base.String -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.IO.Exception.ExitCode #) {- Arity: 3, Strictness: -} 450f2c1c5f56026cb37b3c83834e592d fM :: GHC.Base.Monad m => (a -> b) -> a -> m b {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ (m :: * -> *) @ a @ b ($dMonad :: GHC.Base.Monad m) (f :: a -> b) (eta :: a) -> GHC.Base.return @ m $dMonad @ b (f eta)) -} b4930586cc418a17c55b83c781d61cde firstMaybe :: (a -> GHC.Base.Maybe b) -> [a] -> GHC.Base.Maybe b {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a @ b (f :: a -> GHC.Base.Maybe b) (eta :: [a]) -> case GHC.Base.build @ b (\ @ b1 (c :: b -> b1 -> b1)[OneShot] (n :: b1)[OneShot] -> GHC.Base.foldr @ a @ b1 (Data.Maybe.mapMaybeFB @ b @ b1 @ a c f) n eta) of wild { [] -> GHC.Base.Nothing @ b : a1 ds1 -> GHC.Base.Just @ b a1 }) -} d403c254371349110bdd0be2f09b4237 fst3 :: (a, b, c) -> a {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a @ b @ c (ds :: (a, b, c)) -> case ds of wild { (,,) x1 ds1 ds2 -> x1 }) -} 0458d8494843bbead867a6963fb5f325 getUniqueInt :: GHC.Types.IO GHC.Types.Int {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.getUniqueInt1 `cast` (Sym (GHC.Types.N:IO[0] _R)) -} 6bded4b7b8bf7245a4b11956a858c892 getUniqueInt1 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Types.Int #) {- Arity: 1, Strictness: , Unfolding: (\ (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Data.Unique.uniqSource `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef r# -> case GHC.Prim.atomicModifyMutVar# @ GHC.Prim.RealWorld @ GHC.Integer.Type.Integer @ (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer) @ GHC.Integer.Type.Integer r# Data.Unique.newUnique2 s of ds1 { (#,#) ipv ipv1 -> case ipv1 of b1 { DEFAULT -> case GHC.Prim.atomicModifyMutVar# @ GHC.Prim.RealWorld @ GHC.Integer.Type.Integer @ (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer) @ GHC.Integer.Type.Integer r# Data.Unique.newUnique2 ipv of ds2 { (#,#) ipv2 ipv3 -> case ipv3 of b2 { DEFAULT -> (# ipv2, case GHC.Integer.Type.integerToInt b1 of wild1 { DEFAULT -> case GHC.Integer.Type.integerToInt b2 of wild2 { DEFAULT -> GHC.Types.I# (GHC.Prim.*# wild1 wild2) } } #) } } } } }) -} e2e2979efce4bc962b883458e2dab7fa group :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [(k, v)] -> Data.HashMap.Base.HashMap k [v] {- Arity: 3, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ k @ v ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (eta :: [(k, v)]) -> Language.Fixpoint.Misc.groupBase @ k @ v $dEq $dHashable (Data.HashMap.Base.Empty @ k @ [v]) eta) -} 9dd7c99949f69030dba08f18ac31f288 groupBase :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => Data.HashMap.Base.HashMap k [v] -> [(k, v)] -> Data.HashMap.Base.HashMap k [v] {- Arity: 4, Strictness: , Unfolding: (\ @ k @ v ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (eta :: Data.HashMap.Base.HashMap k [v]) (eta1 :: [(k, v)]) -> letrec { go :: [(k, v)] -> Data.HashMap.Base.HashMap k [v] -> Data.HashMap.Base.HashMap k [v] {- Arity: 2, Strictness: -} = \ (ds :: [(k, v)]) (eta2 :: Data.HashMap.Base.HashMap k [v]) -> case ds of wild { [] -> eta2 : y ys -> case y of wild1 { (,) k1 v1 -> go ys (Language.Fixpoint.Misc.inserts @ k @ v $dEq $dHashable k1 v1 eta2) } } } in go eta1 eta) -} 62a88dfa37b8b6d8ee4a75635ee44736 groupList :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [(k, v)] -> [(k, [v])] {- Arity: 3, Strictness: , Unfolding: (\ @ k @ v ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (eta :: [(k, v)]) -> Language.Fixpoint.Misc.coalesceEdges1 @ k @ v (GHC.Types.[] @ (k, [v])) (Language.Fixpoint.Misc.groupBase @ k @ v $dEq $dHashable (Data.HashMap.Base.Empty @ k @ [v]) eta)) -} 18c734033fb91730028d0006da2d1307 groupMap :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => (a -> k) -> [a] -> Data.HashMap.Base.HashMap k [a] {- Arity: 4, Strictness: , Unfolding: (\ @ k @ a ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (f :: a -> k) (eta :: [a]) -> letrec { go :: [a] -> Data.HashMap.Base.HashMap k [a] -> Data.HashMap.Base.HashMap k [a] {- Arity: 2, Strictness: -} = \ (ds :: [a]) (eta1 :: Data.HashMap.Base.HashMap k [a]) -> case ds of wild { [] -> eta1 : y ys -> go ys (Language.Fixpoint.Misc.inserts @ k @ a $dEq $dHashable (f y) y eta1) } } in go eta (Data.HashMap.Base.Empty @ k @ [a])) -} da9681d74f9e9e8aaa19c0da349c7ccd hashMapToAscList :: GHC.Classes.Ord a => Data.HashMap.Base.HashMap a b -> [(a, b)] {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ @ a @ b ($dOrd :: GHC.Classes.Ord a) (eta :: Data.HashMap.Base.HashMap a b) -> Data.OldList.sortBy @ (a, b) (let { .*. :: a -> a -> GHC.Types.Ordering = GHC.Classes.compare @ a $dOrd } in \ (x1 :: (a, b)) (y :: (a, b))[OneShot] -> .*. (Data.Tuple.fst @ a @ b x1) (Data.Tuple.fst @ a @ b y)) (Data.HashMap.Base.toList @ a @ b eta)) -} c4b41f182353024851320e0577f6fd6e inserts :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => k -> v -> Data.HashMap.Base.HashMap k [v] -> Data.HashMap.Base.HashMap k [v] {- Arity: 5, Strictness: , Unfolding: (\ @ k @ v ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (k1 :: k) (v1 :: v) (m :: Data.HashMap.Base.HashMap k [v]) -> Data.HashMap.Base.insert @ k @ [v] $dEq $dHashable k1 (GHC.Types.: @ v v1 (case Data.HashMap.Base.lookup @ k @ [v] $dEq $dHashable k1 m of wild { GHC.Base.Nothing -> GHC.Types.[] @ v GHC.Base.Just v2 -> v2 })) m) -} a8af56faf80774d73c5863a2e27859d2 intersperse :: Text.PrettyPrint.HughesPJ.Doc -> [Text.PrettyPrint.HughesPJ.Doc] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ (d :: Text.PrettyPrint.HughesPJ.Doc) (ds :: [Text.PrettyPrint.HughesPJ.Doc]) -> case Text.PrettyPrint.Annotated.HughesPJ.$wreduceHoriz @ () (Text.PrettyPrint.Annotated.HughesPJ.hsep1 @ () (Text.PrettyPrint.Annotated.HughesPJ.punctuate @ () d `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (Language.Fixpoint.Misc.intersperse_go ds))) of ww { (#,#) ww1 ww2 -> ww2 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} d145ff198e27b5a56d8676de6e7c3446 intersperse_go :: [Text.PrettyPrint.HughesPJ.Doc] -> [Text.PrettyPrint.Annotated.HughesPJ.Doc ()] {- Arity: 1, HasNoCafRefs, Strictness: -} 695d68417aeb2bdbb705dbb6c81e7ebc mapEither :: (a -> Data.Either.Either b c) -> [a] -> ([b], [c]) {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a @ b @ c (w :: a -> Data.Either.Either b c) (w1 :: [a]) -> case Language.Fixpoint.Misc.$wmapEither @ a @ b @ c w w1 of ww { (#,#) ww1 ww2 -> (ww1, ww2) }) -} 54294e0357ea881c18115f64503fab09 mapFst :: (a -> c) -> (a, b) -> (c, b) {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ a @ c @ b (f :: a -> c) (ds :: (a, b)) -> case ds of wild { (,) x1 y -> (f x1, y) }) -} 80590cb19a206f88138689a227d85b17 mapSnd :: (b -> c) -> (a, b) -> (a, c) {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ b @ c @ a (f :: b -> c) (ds :: (a, b)) -> case ds of wild { (,) x1 y -> (x1, f y) }) -} 9e6b0d26b701450ac09af8799f10f8e4 mfromJust :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> GHC.Base.Maybe a -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: GHC.Base.String) (eta1 :: GHC.Base.Maybe a) -> case eta1 of wild { GHC.Base.Nothing -> Language.Fixpoint.Misc.mfromJust1 @ a $dIP eta GHC.Base.Just x1 -> x1 }) -} fe9063ea3236a39ac8126b99cf99d3be mfromJust1 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> a {- Arity: 2, Strictness: x -} 971e2002d30cacbe613cae574aa79427 mlookup :: (?callStack::GHC.Stack.Types.CallStack, GHC.Classes.Eq k, GHC.Show.Show k, Data.Hashable.Class.Hashable k) => Data.HashMap.Base.HashMap k v -> k -> v {- Arity: 6, Strictness: , Unfolding: (\ @ k @ v ($dIP :: ?callStack::GHC.Stack.Types.CallStack) ($dEq :: GHC.Classes.Eq k) ($dShow :: GHC.Show.Show k) ($dHashable :: Data.Hashable.Class.Hashable k) (m :: Data.HashMap.Base.HashMap k v) (k1 :: k) -> case Data.HashMap.Base.lookup @ k @ v $dEq $dHashable k1 m of wild { GHC.Base.Nothing -> Language.Fixpoint.Misc.mlookup1 @ v @ k $dIP $dShow k1 GHC.Base.Just v1 -> v1 }) -} a49dce784af99adb46fb2be38653b5bc mlookup1 :: (?callStack::GHC.Stack.Types.CallStack, GHC.Show.Show k) => k -> v {- Arity: 3, Strictness: x -} 352ae1c45612720a5e536034ce07bd03 moodColor :: Language.Fixpoint.Misc.Moods -> System.Console.ANSI.Common.Color {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Misc.Moods) -> case ds of wild { Language.Fixpoint.Misc.Ok -> System.Console.ANSI.Common.Black Language.Fixpoint.Misc.Loud -> System.Console.ANSI.Common.Blue Language.Fixpoint.Misc.Sad -> System.Console.ANSI.Common.Magenta Language.Fixpoint.Misc.Happy -> System.Console.ANSI.Common.Green Language.Fixpoint.Misc.Angry -> System.Console.ANSI.Common.Red }) -} 054c5f958315d8678f987fa41429a6bc putBlankLn :: GHC.Types.IO () {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.putBlankLn1 `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) -} e1e82239f959d710f7d0baf6850ae5d1 putBlankLn1 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 1, Strictness: , Unfolding: (\ (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout (GHC.Types.[] @ GHC.Types.Char) GHC.Types.True s of ds1 { (#,#) ipv ipv1 -> GHC.IO.Handle.Internals.wantWritableHandle1 @ () GHC.IO.Handle.hFlush2 GHC.IO.Handle.FD.stdout GHC.IO.Handle.Internals.flushWriteBuffer1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) ipv }) -} 76e41dfb3f8f1772935cfad7ed636104 removes :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k, GHC.Classes.Eq v) => k -> v -> Data.HashMap.Base.HashMap k [v] -> Data.HashMap.Base.HashMap k [v] {- Arity: 6, Strictness: , Unfolding: (\ @ k @ v ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) ($dEq1 :: GHC.Classes.Eq v) (k1 :: k) (v1 :: v) (m :: Data.HashMap.Base.HashMap k [v]) -> case case Data.HashMap.Base.lookup @ k @ [v] $dEq $dHashable k1 m of wild { GHC.Base.Nothing -> Data.OldList.deleteBy @ v (GHC.Classes.== @ v $dEq1) v1 (GHC.Types.[] @ v) GHC.Base.Just v2 -> Data.OldList.deleteBy @ v (GHC.Classes.== @ v $dEq1) v1 v2 } of v2 { DEFAULT -> Data.HashMap.Base.insert @ k @ [v] $dEq $dHashable k1 v2 m }) -} d68b96d3a795ddff744107e5b3f5f2f2 repeats :: GHC.Types.Int -> [a] -> [a] {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a (w :: GHC.Types.Int) (w1 :: [a]) -> case w of ww { GHC.Types.I# ww1 -> Language.Fixpoint.Misc.$wrepeats @ a ww1 w1 }) -} 2da5d0408e1571e3220bdd32be9b0093 safeHead :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: GHC.Base.String) (eta1 :: [a]) -> case eta1 of wild { [] -> Language.Fixpoint.Misc.safeHead1 @ a $dIP eta : x1 ds -> x1 }) -} ea85fde3181469a04fb76f2a1c0fbcdf safeHead1 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> a {- Arity: 2, Strictness: x -} 4d2f5cc14cb142a1344cea7055f6535f safeInit :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> [a] {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: GHC.Base.String) (eta1 :: Language.Fixpoint.Misc.ListNE a) -> case eta1 of wild { [] -> Language.Fixpoint.Misc.safeInit1 @ a $dIP eta : ds ds1 -> GHC.List.init1 @ a ds ds1 }) -} f4f68ca7e8c6996431e929b3272e3ae5 safeInit1 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> [a] {- Arity: 2, Strictness: x -} 4a44f33891f1da7e26b9b30a315f9f3a safeLast :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: GHC.Base.String) (eta1 :: Language.Fixpoint.Misc.ListNE a) -> case eta1 of wild { [] -> Language.Fixpoint.Misc.safeLast2 @ a $dIP eta : ds ds1 -> Language.Fixpoint.Misc.safeLast1 @ a wild (GHC.List.lastError @ a) }) -} 7d898ab330c699acfcbd70a9d108a48a safeLast1 :: [a] -> a -> a {- Arity: 2, HasNoCafRefs, Strictness: -} b9340c32e0036a1e269b6bc97fd704bd safeLast2 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> a {- Arity: 2, Strictness: x -} a0aea15e18c45d6dc603d7e6041ffdd5 safeLookup :: (?callStack::GHC.Stack.Types.CallStack, GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => GHC.Base.String -> k -> Data.HashMap.Base.HashMap k v -> v {- Arity: 6, Strictness: , Unfolding: (\ @ k @ v ($dIP :: ?callStack::GHC.Stack.Types.CallStack) ($dEq :: GHC.Classes.Eq k) ($dHashable :: Data.Hashable.Class.Hashable k) (eta :: GHC.Base.String) (eta1 :: k) (eta2 :: Data.HashMap.Base.HashMap k v) -> case Data.HashMap.Base.lookup @ k @ v $dEq $dHashable eta1 eta2 of wild { GHC.Base.Nothing -> Language.Fixpoint.Misc.safeLookup1 @ v $dIP eta GHC.Base.Just v1 -> v1 }) -} 966eb80f5f5c244ff8bda9d7cf5a6e16 safeLookup1 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> v {- Arity: 2, Strictness: x -} 213effb5c11705f76b66c8d0c5abcb83 safeUncons :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> (a, [a]) {- Arity: 3, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a (w :: ?callStack::GHC.Stack.Types.CallStack) (w1 :: GHC.Base.String) (w2 :: Language.Fixpoint.Misc.ListNE a) -> case w2 of wild { [] -> Language.Fixpoint.Misc.safeUncons1 @ a w w1 : x1 xs -> (x1, xs) }) -} d536555674c180fcae90f80cfba94ce9 safeUncons1 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> (a, [a]) {- Arity: 2, Strictness: x -} 323a0d59aca7803dde542498e59f25c4 safeUnsnoc :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> ([a], a) {- Arity: 3, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a (w :: ?callStack::GHC.Stack.Types.CallStack) (w1 :: GHC.Base.String) (w2 :: Language.Fixpoint.Misc.ListNE a) -> case Language.Fixpoint.Misc.$wsafeUnsnoc @ a w w1 w2 of ww { (#,#) ww1 ww2 -> (ww1, ww2) }) -} 33dd33cc51555de204e6d814839a9d96 safeUnsnoc1 :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> (a, [a]) {- Arity: 2, Strictness: x -} 4b17163e981a092c47f7e5dc77154e16 safeZip :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> [a] -> [b] -> [(a, b)] {- Arity: 4, Strictness: , Unfolding: (\ @ a @ b ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: GHC.Base.String) (eta1 :: [a]) (eta2 :: [b]) -> case GHC.List.$wlenAcc @ a eta1 0# of ww2 { DEFAULT -> case GHC.List.$wlenAcc @ b eta2 0# of ww1 { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww1) of wild { GHC.Types.False -> Language.Fixpoint.Misc.safeZip1 @ a @ b eta ww1 ww2 $dIP GHC.Types.True -> GHC.List.zip @ a @ b eta1 eta2 } } }) -} d35f50ca994410635c151701f0e498d0 safeZip1 :: GHC.Base.String -> GHC.Prim.Int# -> GHC.Prim.Int# -> ?callStack::GHC.Stack.Types.CallStack => [(a, b)] {- Arity: 4, Strictness: x -} 1225cc5ae810f67123944804614964ca safeZipWith :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> (a -> b -> c) -> [a] -> [b] -> [c] {- Arity: 5, Strictness: , Unfolding: (\ @ a @ b @ c ($dIP :: ?callStack::GHC.Stack.Types.CallStack) (eta :: GHC.Base.String) (eta1 :: a -> b -> c) (eta2 :: [a]) (eta3 :: [b]) -> case GHC.List.$wlenAcc @ a eta2 0# of ww2 { DEFAULT -> case GHC.List.$wlenAcc @ b eta3 0# of ww1 { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww1) of wild { GHC.Types.False -> Language.Fixpoint.Misc.safeZipWith1 @ c eta ww1 ww2 $dIP GHC.Types.True -> GHC.List.zipWith @ a @ b @ c eta1 eta2 eta3 } } }) -} 6b1a2947a389575b5ea06eaa38976762 safeZipWith1 :: GHC.Base.String -> GHC.Prim.Int# -> GHC.Prim.Int# -> ?callStack::GHC.Stack.Types.CallStack => [c] {- Arity: 4, Strictness: x -} 5bd51524e54059148447181e3f40360e secondM :: GHC.Base.Functor f => (b -> f c) -> (a, b) -> f (a, c) {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ (f :: * -> *) @ b @ c @ a ($dFunctor :: GHC.Base.Functor f) (act :: b -> f c) (ds :: (a, b)) -> case ds of wild { (,) x1 y -> GHC.Base.fmap @ f $dFunctor @ c @ (a, c) (\ (ds1 :: c) -> (x1, ds1)) (act y) }) -} fb0e8b84852ba3cc36a392c0b4418a22 singleton :: a -> [a] {- Arity: 1, HasNoCafRefs, Strictness: m2, Unfolding: InlineRule (1, True, False) (\ @ a (x1 :: a) -> GHC.Types.: @ a x1 (GHC.Types.[] @ a)) -} 5eb2c283a7808b8ac7d306bc810e3392 snd3 :: (a, b, c) -> b {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a @ b @ c (ds :: (a, b, c)) -> case ds of wild { (,,) ds1 x1 ds2 -> x1 }) -} 642a4eda4245223ed5db9730a31eb8bf sortNub :: GHC.Classes.Ord a => [a] -> [a] {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ @ a ($dOrd :: GHC.Classes.Ord a) (eta :: [a]) -> let { $dEq :: GHC.Classes.Eq a = GHC.Classes.$p1Ord @ a $dOrd } in letrec { nubOrd :: [a] -> [a] {- Arity: 1, Strictness: -} = \ (ds :: [a]) -> case ds of wild { [] -> GHC.Types.[] @ a : x1 t -> case t of wild1 { [] -> wild : y ds1 -> case GHC.Classes.== @ a $dEq x1 y of wild2 { GHC.Types.False -> GHC.Types.: @ a x1 (nubOrd wild1) GHC.Types.True -> nubOrd wild1 } } } } in nubOrd (Data.OldList.sort @ a $dOrd eta)) -} bd1833694f7d5d2df8719c5c5ebfae7b startPhase :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.startPhase1 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 20a1de5fa73610d44b40bdd3ac98ba12 startPhase1 :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, False) (\ (c :: Language.Fixpoint.Misc.Moods) (msg :: GHC.Base.String) (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Language.Fixpoint.Misc.colorPhaseLn1 c Language.Fixpoint.Misc.startPhase2 msg s of ds1 { (#,#) ipv ipv1 -> Language.Fixpoint.Misc.doneLine2 ipv }) -} a0b84a9f76aaf2e383c5af876cab67db startPhase2 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "START: "#) -} 2d331628f3195f78f50fd7eb00dfbb6e thd3 :: (a, b, c) -> c {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a @ b @ c (ds :: (a, b, c)) -> case ds of wild { (,,) ds1 ds2 x1 -> x1 }) -} 1e7f8286a92e0deca3003c2c4c3e94d1 traceShow :: GHC.Show.Show a => GHC.Base.String -> a -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dShow :: GHC.Show.Show a) (s :: GHC.Base.String) (x1 :: a) -> Debug.Trace.trace @ a (GHC.CString.unpackAppendCString# "\n\ \Trace: ["# (GHC.Base.++ @ GHC.Types.Char s (GHC.CString.unpackAppendCString# "] : "# (GHC.Show.show @ a $dShow x1)))) x1) -} c3e388152c637865435def68336e9158 tshow :: GHC.Show.Show a => a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a (w :: GHC.Show.Show a) (w1 :: a) -> let { s :: GHC.Base.String = GHC.Show.show @ a w w1 } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 79a3d54805208bb28a316c5050755a17 whenM :: GHC.Base.Monad m => m GHC.Types.Bool -> m () -> m () {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: (\ @ (m :: * -> *) ($dMonad :: GHC.Base.Monad m) (eta :: m GHC.Types.Bool) (eta1 :: m ()) -> let { $dApplicative :: GHC.Base.Applicative m = GHC.Base.$p1Monad @ m $dMonad } in GHC.Base.>>= @ m $dMonad @ GHC.Types.Bool @ () eta (\ (b :: GHC.Types.Bool) -> GHC.Base.when @ m $dApplicative b eta1)) -} 8eba01b975469f2142bff3c94538b011 withColor :: System.Console.ANSI.Common.Color -> GHC.Types.IO () -> GHC.Types.IO () {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.colorPhaseLn2 `cast` (_R ->_R _R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} 27fc97c6dab46486584ceaa08035eea1 wrap :: [a] -> [a] -> [a] -> [a] {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a (l1 :: [a]) (r :: [a]) (s :: [a]) -> GHC.Base.augment @ a (\ @ b (c :: a -> b -> b)[OneShot] (n :: b)[OneShot] -> GHC.Base.foldr @ a @ b c n l1) (GHC.Base.augment @ a (\ @ b (c :: a -> b -> b)[OneShot] (n :: b)[OneShot] -> GHC.Base.foldr @ a @ b c n s) r)) -} 34aea75c6a17cf9647d7b3520064f875 wrapStars :: GHC.Base.String -> GHC.Base.String {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: (\ (msg :: GHC.Base.String) -> GHC.CString.unpackAppendCString# "\n\ \**** "# (GHC.Base.++ @ GHC.Types.Char msg (GHC.CString.unpackAppendCString# " "# (case GHC.List.$wlenAcc @ GHC.Types.Char msg 0# of ww2 { DEFAULT -> let { y :: GHC.Prim.Int# = GHC.Prim.-# 74# ww2 } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# 0# y) of wild { GHC.Types.False -> GHC.Types.[] @ GHC.Types.Char GHC.Types.True -> Language.Fixpoint.Misc.$wxs y } })))) -} 6a7f20b21df12531f08981646ff1bf20 writeLoud :: GHC.Base.String -> GHC.Types.IO () {- Arity: 2, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Misc.writeLoud1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} a085078e74540c375f65f6adb5966bce writeLoud1 :: GHC.Base.String -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 2, Strictness: , Unfolding: (\ (s :: GHC.Base.String) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case System.Console.CmdArgs.Verbosity.ref `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ System.Console.CmdArgs.Verbosity.Verbosity var# eta of ds { (#,#) ipv ipv1 -> case ipv1 of wild1 { DEFAULT -> (# ipv, GHC.Tuple.() #) System.Console.CmdArgs.Verbosity.Loud -> case GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout s GHC.Types.True ipv of ds1 { (#,#) ipv2 ipv3 -> GHC.IO.Handle.Internals.wantWritableHandle1 @ () GHC.IO.Handle.hFlush2 GHC.IO.Handle.FD.stdout GHC.IO.Handle.Internals.flushWriteBuffer1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) ipv2 } } } }) -} 179563de072577d02bfeb5d1665e4175 type (|->) a b = Data.HashMap.Base.HashMap a b vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False