==================== FINAL INTERFACE ==================== 2017-05-02 18:35:46.294802 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.PrettyPrint 8002 interface hash: 1d83c80e655b6bdcbe25e32129f2c8a5 ABI hash: 9f8ba54128c047c2f5df631a58152645 export-list hash: 8280ba96c3b943538085a23e8c114f93 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: f99c5df795e9a0a14c19697b9b989ebd sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.PrettyPrint.boxDoc Language.Fixpoint.Types.PrettyPrint.boxHSep Language.Fixpoint.Types.PrettyPrint.docBox Language.Fixpoint.Types.PrettyPrint.notracepp Language.Fixpoint.Types.PrettyPrint.pprint Language.Fixpoint.Types.PrettyPrint.pprintKVs Language.Fixpoint.Types.PrettyPrint.showFix Language.Fixpoint.Types.PrettyPrint.showTable Language.Fixpoint.Types.PrettyPrint.showpp Language.Fixpoint.Types.PrettyPrint.traceFix Language.Fixpoint.Types.PrettyPrint.tracepp Language.Fixpoint.Types.PrettyPrint.DocTable{Language.Fixpoint.Types.PrettyPrint.DocTable} Language.Fixpoint.Types.PrettyPrint.Fixpoint{Language.Fixpoint.Types.PrettyPrint.simplify Language.Fixpoint.Types.PrettyPrint.toFix} Language.Fixpoint.Types.PrettyPrint.PPrint{Language.Fixpoint.Types.PrettyPrint.pprintPrec Language.Fixpoint.Types.PrettyPrint.pprintTidy} Language.Fixpoint.Types.PrettyPrint.PTable{Language.Fixpoint.Types.PrettyPrint.ptable} Language.Fixpoint.Types.PrettyPrint.Tidy{Language.Fixpoint.Types.PrettyPrint.Full Language.Fixpoint.Types.PrettyPrint.Lossy} module dependencies: Language.Fixpoint.Misc 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 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 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk 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 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0: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:Debug.Trace a9edf3aec504f4423d8ba829ab373a25 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m:Text.PrettyPrint.Boxes 06317079dc1484f477639a6ffe963956 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 tshow c3e388152c637865435def68336e9158 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text 02cbbc20bdd508fabc38de38896bbae0 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal a2f6f66c5bb1247458d9fa25257ab188 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show 638b4149d86790151d6d4eeca215be94 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 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" 58124de7dffef1dae656e4bfcac56093 $dmpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (ds :: GHC.Types.Int) -> Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a $dPPrint) -} 3cc116e3477d8fc69b5c60e052923261 $dmpprintTidy :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, False) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) -> Language.Fixpoint.Types.PrettyPrint.pprintPrec @ a $dPPrint (GHC.Types.I# 0#)) -} 3625e7ff9114f13a0a4516cf3f3a945e $dmsimplify :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => a -> a {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: a) -> GHC.Base.id @ a eta) -} 6fdc633788cc0508dea7c363965cb87c $fEqTidy :: GHC.Classes.Eq Language.Fixpoint.Types.PrettyPrint.Tidy DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.PrettyPrint.Tidy Language.Fixpoint.Types.PrettyPrint.$fEqTidy_$c== Language.Fixpoint.Types.PrettyPrint.$fEqTidy_$c/= -} 6fdc633788cc0508dea7c363965cb87c $fEqTidy_$c/= :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Types.PrettyPrint.Tidy) (b :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case a of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.False Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.True } Language.Fixpoint.Types.PrettyPrint.Full -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.True Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.False } }) -} 6fdc633788cc0508dea7c363965cb87c $fEqTidy_$c== :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (ds1 :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case ds of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case ds1 of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.True Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.False } Language.Fixpoint.Types.PrettyPrint.Full -> case ds1 of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.False Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.True } }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint() :: Language.Fixpoint.Types.PrettyPrint.Fixpoint () DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ () Language.Fixpoint.Types.PrettyPrint.$fFixpoint()_$ctoFix Language.Fixpoint.Types.PrettyPrint.$fFixpoint()_$csimplify -} 37221178a5498de8d4b9e3fd5aa033d2 $fFixpoint()1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpoint()_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpoint()2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 1c4b9a7712f0b1be6bf24b67e1c0cce4 $fFixpoint()2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpoint()_s) -} d3e350939329bc035f8743e716bd699f $fFixpoint()_$csimplify :: () -> () {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (GHC.Base.id @ ()) -} e9c5e25a200cae7d73a8d7c006392076 $fFixpoint()_$ctoFix :: () -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: ()) -> Language.Fixpoint.Types.PrettyPrint.$fFixpoint()1) -} e954ed7ddcd005b2a565191a4ea168dd $fFixpoint()_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "()"#) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint(,) :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (a, b) DFunId {- Arity: 2, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a @ b ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) ($dFixpoint1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b). @ (a, b) (Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)_$ctoFix @ a @ b $dFixpoint $dFixpoint1) (Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)_$csimplify @ a @ b $dFixpoint $dFixpoint1) -} 9f38c2a05116f534b587874b85e63529 $fFixpoint(,)1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} ca3d452fc71f199c6b2697accbbb5002 $fFixpoint(,)2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)_s) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint(,)_$csimplify :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b) => (a, b) -> (a, b) {- Arity: 3, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (3, True, False) (\ @ a @ b ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) ($dFixpoint1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) (ds :: (a, b)) -> case ds of wild { (,) x y -> (Language.Fixpoint.Types.PrettyPrint.simplify @ a $dFixpoint x, Language.Fixpoint.Types.PrettyPrint.simplify @ b $dFixpoint1 y) }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint(,)_$ctoFix :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b) => (a, b) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a @ b (w :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) (w2 :: (a, b)) -> case w2 of ww { (,) ww1 ww2 -> Language.Fixpoint.Types.PrettyPrint.$w$ctoFix @ a @ b w w1 ww1 ww2 }) -} 89d8e8990e2eddac38107721171c6331 $fFixpoint(,)_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# ":"#) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint(,,) :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b, Language.Fixpoint.Types.PrettyPrint.Fixpoint c) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (a, b, c) DFunId {- Arity: 3, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a @ b @ c ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) ($dFixpoint1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) ($dFixpoint2 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint c). @ (a, b, c) (Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,,)_$ctoFix @ a @ b @ c $dFixpoint $dFixpoint1 $dFixpoint2) (Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,,)_$csimplify @ a @ b @ c $dFixpoint $dFixpoint1 $dFixpoint2) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint(,,)_$csimplify :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b, Language.Fixpoint.Types.PrettyPrint.Fixpoint c) => (a, b, c) -> (a, b, c) {- Arity: 4, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (4, True, False) (\ @ a @ b @ c ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) ($dFixpoint1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) ($dFixpoint2 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint c) (ds :: (a, b, c)) -> case ds of wild { (,,) x y z -> (Language.Fixpoint.Types.PrettyPrint.simplify @ a $dFixpoint x, Language.Fixpoint.Types.PrettyPrint.simplify @ b $dFixpoint1 y, Language.Fixpoint.Types.PrettyPrint.simplify @ c $dFixpoint2 z) }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint(,,)_$ctoFix :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b, Language.Fixpoint.Types.PrettyPrint.Fixpoint c) => (a, b, c) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ a @ b @ c (w :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) (w2 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint c) (w3 :: (a, b, c)) -> case w3 of ww { (,,) ww1 ww2 ww3 -> Language.Fixpoint.Types.PrettyPrint.$w$ctoFix1 @ a @ b @ c w w1 w2 ww1 ww2 ww3 }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointBool :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Bool DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Types.Bool Language.Fixpoint.Types.PrettyPrint.$fFixpointBool_$ctoFix Language.Fixpoint.Types.PrettyPrint.$fFixpointBool_$csimplify -} 1437a9e8ff34fd171938a5658277fbdb $fFixpointBool1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpointBool_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointBool2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 9bbf7c146aa8ea580efc1f5452bdc9d9 $fFixpointBool2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpointBool_s) -} 149967964f1f8f59c14cac5961225b55 $fFixpointBool3 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpointBool_s1 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointBool4 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} dba26a3e3c8e6f4a711c012a502269f6 $fFixpointBool4 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpointBool_s1) -} 4e08eac39899c31ae4645325e7647cfe $fFixpointBool_$csimplify :: GHC.Types.Bool -> GHC.Types.Bool {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (z :: GHC.Types.Bool) -> z) -} 3d47e02c06f33f1d68a0ff6861190ab8 $fFixpointBool_$ctoFix :: GHC.Types.Bool -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: GHC.Types.Bool) -> case ds of wild { GHC.Types.False -> Language.Fixpoint.Types.PrettyPrint.$fFixpointBool3 GHC.Types.True -> Language.Fixpoint.Types.PrettyPrint.$fFixpointBool1 }) -} 807a922d916fb302775b8b971faac783 $fFixpointBool_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "True"#) -} bf1d7caf831aca0b46eb99d95320b41e $fFixpointBool_s1 :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "False"#) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointDouble :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Double DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Types.Double Text.PrettyPrint.HughesPJ.double Language.Fixpoint.Types.PrettyPrint.$fFixpointDouble_$csimplify -} 4697623f00bb91a08f501ffa55b52bfb $fFixpointDouble_$csimplify :: GHC.Types.Double -> GHC.Types.Double {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (GHC.Base.id @ GHC.Types.Double) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointHashSet :: (GHC.Classes.Ord a, Data.Hashable.Class.Hashable a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Data.HashSet.HashSet a) DFunId {- Arity: 3, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dOrd :: GHC.Classes.Ord a) ($dHashable :: Data.Hashable.Class.Hashable a) ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a). @ (Data.HashSet.HashSet a) (Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet_$ctoFix @ a $dOrd $dHashable $dFixpoint) (Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet_$csimplify @ a $dOrd $dHashable $dFixpoint) -} 48c79133e1badb4f69e992cda1d62065 $fFixpointHashSet1 :: [a] -> Data.HashMap.Base.HashMap a () -> [a] {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ @ a (z1 :: [a]) (ds :: Data.HashMap.Base.HashMap a ()) -> case ds of wild { Data.HashMap.Base.Empty -> z1 Data.HashMap.Base.BitmapIndexed dt dt1 -> Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet4 @ a (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap a ()) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap a ()) dt1) 0# z1 Data.HashMap.Base.Leaf dt dt1 dt2 -> GHC.Types.: @ a dt1 z1 Data.HashMap.Base.Full dt -> Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet3 @ a (Data.HashMap.Array.Array @ (Data.HashMap.Base.HashMap a ()) dt) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.HashMap a ()) dt) 0# z1 Data.HashMap.Base.Collision dt dt1 -> Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet2 @ a (Data.HashMap.Array.Array @ (Data.HashMap.Base.Leaf a ()) dt1) (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf a ()) dt1) 0# z1 }) -} 96662ec5c7bf7c32ccd915f1cad17f42 $fFixpointHashSet2 :: Data.HashMap.Array.Array (Data.HashMap.Base.Leaf a ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [a] -> [a] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 18d7c75ab928daa9dd3496d794f14e6b $fFixpointHashSet3 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap a ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [a] -> [a] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 0db4a47903f25955544adfcf1cf9ac3f $fFixpointHashSet4 :: Data.HashMap.Array.Array (Data.HashMap.Base.HashMap a ()) -> GHC.Prim.Int# -> GHC.Prim.Int# -> [a] -> [a] {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 8fb71968809717128c1d402dc7bf1f41 $fFixpointHashSet5 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet6 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 674eeb6a9ffeb9c04cc1b9199510ce0b $fFixpointHashSet6 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet_s) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointHashSet_$csimplify :: (GHC.Classes.Ord a, Data.Hashable.Class.Hashable a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Data.HashSet.HashSet a -> Data.HashSet.HashSet a {- Arity: 4, Strictness: -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointHashSet_$ctoFix :: (GHC.Classes.Ord a, Data.Hashable.Class.Hashable a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Data.HashSet.HashSet a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, Strictness: m7, Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ a (w :: GHC.Classes.Ord a) (w1 :: Data.Hashable.Class.Hashable a) (w2 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w3 :: Data.HashSet.HashSet a) -> case Language.Fixpoint.Types.PrettyPrint.$w$ctoFix2 @ a w w2 w3 of ww { (#,,#) ww1 ww2 ww3 -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () ww1 ww2 ww3) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 10627272c3a33adab5a98e89070ce3b8 $fFixpointHashSet_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# ";"#) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointInt :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Int DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Types.Int Language.Fixpoint.Types.PrettyPrint.$fFixpointInt_$ctoFix Language.Fixpoint.Types.PrettyPrint.$fFixpointInt_$csimplify -} 0dc5bb5109edf175818ede29738112c2 $fFixpointInt_$csimplify :: GHC.Types.Int -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (GHC.Base.id @ GHC.Types.Int) -} bdbc2c835bb90b71afb62b4c5de87d75 $fFixpointInt_$ctoFix :: GHC.Types.Int -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: GHC.Types.Int) -> case w of ww { GHC.Types.I# ww1 -> case Language.Fixpoint.Types.PrettyPrint.$w$ctoFix3 ww1 of ww2 { (#,#) ww3 ww4 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww3 ww4) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointInteger :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Integer.Type.Integer DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Integer.Type.Integer Text.PrettyPrint.HughesPJ.integer Language.Fixpoint.Types.PrettyPrint.$fFixpointInteger_$csimplify -} 6b49a13c2444436fc9313b8e665dd36c $fFixpointInteger_$csimplify :: GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (GHC.Base.id @ GHC.Integer.Type.Integer) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointMaybe :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (GHC.Base.Maybe a) DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a). @ (GHC.Base.Maybe a) (Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe_$ctoFix @ a $dFixpoint) (Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe_$csimplify @ a $dFixpoint) -} 5f78c9155e3bbaa1722e251246a36544 $fFixpointMaybe1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} c8c66c468ad2044f3c264e14a27df50f $fFixpointMaybe2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe_s) -} e726acd7a9f9b85e885598b3880ceb81 $fFixpointMaybe3 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe_s1 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe4 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} ce6a5cf51cce042699926260b3688ceb $fFixpointMaybe4 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe_s1) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointMaybe_$csimplify :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Base.Maybe a -> GHC.Base.Maybe a {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: GHC.Base.Maybe a) -> case eta of wild { GHC.Base.Nothing -> GHC.Base.Nothing @ a GHC.Base.Just x -> GHC.Base.Just @ a (Language.Fixpoint.Types.PrettyPrint.simplify @ a $dFixpoint x) }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpointMaybe_$ctoFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Base.Maybe a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: GHC.Base.Maybe a) -> case eta of wild { GHC.Base.Nothing -> Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe3 GHC.Base.Just x -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a $dFixpoint x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe1 } }) -} eba917c0660d780626c95ba8a013c5ef $fFixpointMaybe_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "Just"#) -} e7c09c6eddce434d531d93f74d05e1c3 $fFixpointMaybe_s1 :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "Nothing"#) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint[] :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint [a] DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a). @ [a] (Language.Fixpoint.Types.PrettyPrint.$fFixpoint[]_$ctoFix @ a $dFixpoint) (Language.Fixpoint.Types.PrettyPrint.$fFixpoint[]_$csimplify @ a $dFixpoint) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint[]_$csimplify :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => [a] -> [a] {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: [a]) -> GHC.Base.build @ a (\ @ b1 (c :: a -> b1 -> b1)[OneShot] (n :: b1)[OneShot] -> GHC.Base.foldr @ a @ b1 (GHC.Base.mapFB @ a @ b1 @ a c (Language.Fixpoint.Types.PrettyPrint.simplify @ a $dFixpoint)) n eta)) -} cc7bdd91c6c79c1473a4d48904d3bc29 $fFixpoint[]_$ctoFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => [a] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: m7, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a (w :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w1 :: [a]) -> case Language.Fixpoint.Types.PrettyPrint.$w$ctoFix4 @ a w w1 of ww { (#,,#) ww1 ww2 ww3 -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () ww1 ww2 ww3) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 1983262d60a6608966f615360ce51628 $fMonoidDocTable :: GHC.Base.Monoid Language.Fixpoint.Types.PrettyPrint.DocTable DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.PrettyPrint.DocTable (GHC.Types.[] @ (Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc)) `cast` (Sym (Language.Fixpoint.Types.PrettyPrint.N:DocTable[0])) Language.Fixpoint.Types.PrettyPrint.$fMonoidDocTable_$cmappend Language.Fixpoint.Types.PrettyPrint.$fMonoidDocTable_$cmconcat -} 1983262d60a6608966f615360ce51628 $fMonoidDocTable_$cmappend :: Language.Fixpoint.Types.PrettyPrint.DocTable -> Language.Fixpoint.Types.PrettyPrint.DocTable -> Language.Fixpoint.Types.PrettyPrint.DocTable {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) (GHC.Base.++ @ (Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc)) `cast` (Sym (Language.Fixpoint.Types.PrettyPrint.N:DocTable[0]) ->_R Sym (Language.Fixpoint.Types.PrettyPrint.N:DocTable[0]) ->_R Sym (Language.Fixpoint.Types.PrettyPrint.N:DocTable[0])) -} 1983262d60a6608966f615360ce51628 $fMonoidDocTable_$cmconcat :: [Language.Fixpoint.Types.PrettyPrint.DocTable] -> Language.Fixpoint.Types.PrettyPrint.DocTable {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: (\ (eta :: [Language.Fixpoint.Types.PrettyPrint.DocTable]) -> Language.Fixpoint.Types.PrettyPrint.$fMonoidDocTable_go eta) -} 1983262d60a6608966f615360ce51628 $fMonoidDocTable_go :: [Language.Fixpoint.Types.PrettyPrint.DocTable] -> Language.Fixpoint.Types.PrettyPrint.DocTable {- Arity: 1, HasNoCafRefs, Strictness: -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy :: GHC.Classes.Ord Language.Fixpoint.Types.PrettyPrint.Tidy DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.PrettyPrint.Tidy Language.Fixpoint.Types.PrettyPrint.$fEqTidy Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$ccompare Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$c< Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$c<= Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$c> Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$c>= Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$cmax Language.Fixpoint.Types.PrettyPrint.$fOrdTidy_$cmin -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$c< :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Types.PrettyPrint.Tidy) (b :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case a of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.False Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.True } Language.Fixpoint.Types.PrettyPrint.Full -> case b of wild1 { DEFAULT -> GHC.Types.False } }) -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$c<= :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Types.PrettyPrint.Tidy) (b :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case a of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case b of wild1 { DEFAULT -> GHC.Types.True } Language.Fixpoint.Types.PrettyPrint.Full -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.False Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.True } }) -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$c> :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Types.PrettyPrint.Tidy) (b :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case a of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case b of wild1 { DEFAULT -> GHC.Types.False } Language.Fixpoint.Types.PrettyPrint.Full -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.True Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.False } }) -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$c>= :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Types.PrettyPrint.Tidy) (b :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case a of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.True Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.False } Language.Fixpoint.Types.PrettyPrint.Full -> case b of wild1 { DEFAULT -> GHC.Types.True } }) -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$ccompare :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Ordering {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (a :: Language.Fixpoint.Types.PrettyPrint.Tidy) (b :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case a of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.EQ Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.LT } Language.Fixpoint.Types.PrettyPrint.Full -> case b of wild1 { Language.Fixpoint.Types.PrettyPrint.Lossy -> GHC.Types.GT Language.Fixpoint.Types.PrettyPrint.Full -> GHC.Types.EQ } }) -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$cmax :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Types.PrettyPrint.Tidy) (y :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case x of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> y Language.Fixpoint.Types.PrettyPrint.Full -> case y of wild1 { DEFAULT -> Language.Fixpoint.Types.PrettyPrint.Full } }) -} 6fdc633788cc0508dea7c363965cb87c $fOrdTidy_$cmin :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.Tidy {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Types.PrettyPrint.Tidy) (y :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> case x of wild { Language.Fixpoint.Types.PrettyPrint.Lossy -> case y of wild1 { DEFAULT -> Language.Fixpoint.Types.PrettyPrint.Lossy } Language.Fixpoint.Types.PrettyPrint.Full -> y }) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint() :: Language.Fixpoint.Types.PrettyPrint.PPrint () DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ () Language.Fixpoint.Types.PrettyPrint.$fPPrint()_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrint()_$cpprintPrec -} 9a9099b1b91b73184ad63e8cbe9ae6f1 $fPPrint()1 :: () -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: ()) -> case w of w1 { () -> case GHC.List.$wlenAcc @ GHC.Types.Char GHC.Show.shows16 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str GHC.Show.shows16) ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} 480533ecdb777012475c0cdceeeae48d $fPPrint()_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> () -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrint()_$cpprintTidy eta) -} 392f6599482a0e55422a6eb387ccb352 $fPPrint()_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> () -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: ()) -> Language.Fixpoint.Types.PrettyPrint.$fPPrint()1 eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint(,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b) DFunId {- Arity: 2, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a @ b ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b). @ (a, b) (Language.Fixpoint.Types.PrettyPrint.$fPPrint(,)_$cpprintTidy @ a @ b $dPPrint $dPPrint1) (Language.Fixpoint.Types.PrettyPrint.$fPPrint(,)_$cpprintPrec @ a @ b $dPPrint $dPPrint1) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint(,)_$cpprintPrec :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> (a, b) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 5, Strictness: , Unfolding: InlineRule (5, True, True) (\ @ a @ b ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: (a, b)) -> Language.Fixpoint.Types.PrettyPrint.$fPPrint(,)_$cpprintTidy @ a @ b $dPPrint $dPPrint1 eta eta1) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint(,)_$cpprintTidy :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.Tidy -> (a, b) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ a @ b (w :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (w2 :: Language.Fixpoint.Types.PrettyPrint.Tidy) (w3 :: (a, b)) -> case w3 of ww { (,) ww1 ww2 -> Language.Fixpoint.Types.PrettyPrint.$w$cpprintTidy @ a @ b w w1 w2 ww1 ww2 }) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint(,,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b, c) DFunId {- Arity: 3, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a @ b @ c ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) ($dPPrint2 :: Language.Fixpoint.Types.PrettyPrint.PPrint c). @ (a, b, c) (Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_$cpprintTidy @ a @ b @ c $dPPrint $dPPrint1 $dPPrint2) (Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_$cpprintPrec @ a @ b @ c $dPPrint $dPPrint1 $dPPrint2) -} a7a13808cafe3c33b7d0ac69e874683e $fPPrint(,,)1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} cd8709925e27aa3d7f4315e69d51bd2b $fPPrint(,,)2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_s) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint(,,)_$cpprintPrec :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c) => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> (a, b, c) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 6, Strictness: m7, Unfolding: InlineRule (6, True, True) (\ @ a @ b @ c ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) ($dPPrint2 :: Language.Fixpoint.Types.PrettyPrint.PPrint c) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: (a, b, c)) -> Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)_$cpprintTidy @ a @ b @ c $dPPrint $dPPrint1 $dPPrint2 eta eta1) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint(,,)_$cpprintTidy :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c) => Language.Fixpoint.Types.PrettyPrint.Tidy -> (a, b, c) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 5, Strictness: m7, Inline: INLINE[0], Unfolding: InlineRule (5, True, False) (\ @ a @ b @ c (w :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (w2 :: Language.Fixpoint.Types.PrettyPrint.PPrint c) (w3 :: Language.Fixpoint.Types.PrettyPrint.Tidy) (w4 :: (a, b, c)) -> case w4 of ww { (,,) ww1 ww2 ww3 -> case Language.Fixpoint.Types.PrettyPrint.$w$cpprintTidy1 @ a @ b @ c w w1 w2 w3 ww1 ww2 ww3 of ww4 { (#,,#) ww5 ww6 ww7 -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () ww5 ww6 ww7) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} 094bdf1f5aaf1b78a69f85f88a03a6fa $fPPrint(,,)_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# ","#) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintBool :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Bool DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Types.Bool Language.Fixpoint.Types.PrettyPrint.$fPPrintBool_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintBool_$cpprintPrec -} 613283ffb8d2f3f81e47507929ae344a $fPPrintBool1 :: GHC.Types.Bool -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: GHC.Types.Bool) -> let { s :: GHC.Base.String = case w of wild { GHC.Types.False -> GHC.Show.shows18 GHC.Types.True -> GHC.Show.shows17 } } 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])) }) -} f95a3c4ca83abde482cd99d533f21a2c $fPPrintBool_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintBool_$cpprintTidy eta) -} ca0aca3da52084de8860aee0f9bd3038 $fPPrintBool_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Bool -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: GHC.Types.Bool) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintBool1 eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintDoc :: Language.Fixpoint.Types.PrettyPrint.PPrint Text.PrettyPrint.HughesPJ.Doc DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Text.PrettyPrint.HughesPJ.Doc Language.Fixpoint.Types.PrettyPrint.$fPPrintDoc_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintDoc_$cpprintPrec -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintDocTable :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.PrettyPrint.DocTable DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.PrettyPrint.DocTable Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable_$cpprintPrec -} 7d3a6fcb68d9ea9fac24579127c6d58d $fPPrintDocTable1 :: Text.PrettyPrint.Boxes.Box {- HasNoCafRefs, Unfolding: (Text.PrettyPrint.Boxes.Box Text.PrettyPrint.Boxes.$fShowContent2 Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable2 Text.PrettyPrint.Boxes.Blank) -} 731254a5a2034fc7a1350703864f2a6d $fPPrintDocTable2 :: GHC.Types.Int {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.I# 1#) -} 37b40c8c587f83705c6ed0f14f7bb814 $fPPrintDocTable_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.DocTable -> 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.Types.PrettyPrint.DocTable) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable_$cpprintTidy eta eta1) -} cee672dd6642a024d203a359f9ce9ffc $fPPrintDocTable_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.PrettyPrint.DocTable -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.PrettyPrint.Tidy) (w1 :: Language.Fixpoint.Types.PrettyPrint.DocTable) -> case Language.Fixpoint.Types.PrettyPrint.$w$cpprintTidy2 w1 of ww { (#,#) ww1 ww2 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww1 ww2) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 01f10e448a4b6aed84f148ac8190a78f $fPPrintDoc_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintDoc_$cpprintTidy eta) -} 180f7007ca61d66b351e597275a7ef96 $fPPrintDoc_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Text.PrettyPrint.HughesPJ.Doc) -> GHC.Base.id @ Text.PrettyPrint.HughesPJ.Doc eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintFloat :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Float DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Types.Float Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat_$cpprintPrec -} b02230c3e6addff7cc3adc1bcf77535a $fPPrintFloat1 :: GHC.Types.Float -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: GHC.Types.Float) -> case w of ww { GHC.Types.F# ww1 -> let { s :: GHC.Base.String = GHC.Float.$w$sshowSignedFloat1 GHC.Float.$fShowFloat_$sshowFloat GHC.Show.shows22 ww1 (GHC.Types.[] @ GHC.Types.Char) } 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])) } }) -} 3b1f0233b305db27f5afb49ef0e8b851 $fPPrintFloat_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Float -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat_$cpprintTidy eta) -} a737d1ab66d93e767d4bfa78f46d3f13 $fPPrintFloat_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Float -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: GHC.Types.Float) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat1 eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashMap :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (Data.HashMap.Base.HashMap a b) DFunId {- Arity: 2, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a @ b ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b). @ (Data.HashMap.Base.HashMap a b) (Language.Fixpoint.Types.PrettyPrint.$fPPrintHashMap_$cpprintTidy @ a @ b $dPPrint $dPPrint1) (Language.Fixpoint.Types.PrettyPrint.$fPPrintHashMap_$cpprintPrec @ a @ b $dPPrint $dPPrint1) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashMap_$cpprintPrec :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Data.HashMap.Base.HashMap a b -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 5, Strictness: , Unfolding: InlineRule (4, True, True) (\ @ a @ b ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: Data.HashMap.Base.HashMap a b) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashMap_$cpprintTidy @ a @ b $dPPrint $dPPrint1 eta eta1) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashMap_$cpprintTidy :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.Tidy -> Data.HashMap.Base.HashMap a b -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, Strictness: , Unfolding: InlineRule (4, True, False) (\ @ a @ b ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (k :: Language.Fixpoint.Types.PrettyPrint.Tidy) (x :: Data.HashMap.Base.HashMap a b) -> Language.Fixpoint.Types.PrettyPrint.pprintKVs @ a @ b $dPPrint $dPPrint1 k (Data.HashMap.Base.toList @ a @ b x)) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashSet :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Data.HashSet.HashSet a) DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a). @ (Data.HashSet.HashSet a) (Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy @ a $dPPrint) (Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintPrec @ a $dPPrint) -} 0d8b51fa87e4d79b10e16b4b9bfbce3a $fPPrintHashSet1 :: Text.PrettyPrint.Annotated.HughesPJ.Doc () {- HasNoCafRefs, Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.brackets4 GHC.Types.False Text.PrettyPrint.HughesPJ.brackets1) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashSet_$cpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Data.HashSet.HashSet a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (2, True, True) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy @ a $dPPrint eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashSet_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> Data.HashSet.HashSet a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (k :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> let { f :: [a] -> Text.PrettyPrint.HughesPJ.Doc = Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy1 @ a $dPPrint k } in \ (x :: Data.HashSet.HashSet a) -> f (Data.HashSet.toList @ a x)) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintHashSet_$cpprintTidy1 :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> [a] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (k :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> let { g :: a -> Text.PrettyPrint.HughesPJ.Doc = Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a $dPPrint k } in letrec { go1 :: [a] -> [Text.PrettyPrint.Annotated.HughesPJ.Doc ()] {- Arity: 1, Strictness: -} = \ (ds :: [a]) -> case ds of wild { [] -> GHC.Types.[] @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) : y ys -> GHC.Types.: @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) (g y) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (go1 ys) } } in \ (x :: [a]) -> case Text.PrettyPrint.Annotated.HughesPJ.punctuate @ () Text.PrettyPrint.HughesPJ.comma1 (go1 x) of wild { [] -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) : p ps -> case Text.PrettyPrint.Annotated.HughesPJ.$wsep1 @ () GHC.Types.True (Text.PrettyPrint.Annotated.HughesPJ.reduceDoc @ () p) 0# ps of wild1 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.brackets4 GHC.Types.False wild1) GHC.Types.False Text.PrettyPrint.HughesPJ.brackets1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintInt :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Int DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Types.Int Language.Fixpoint.Types.PrettyPrint.$fPPrintInt_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintInt_$cpprintPrec -} 4d5a687cedc415aab4b4ab1d9b1c4f3a $fPPrintInt1 :: GHC.Types.Int -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: GHC.Types.Int) -> case w of ww { GHC.Types.I# ww1 -> case Language.Fixpoint.Types.PrettyPrint.$wlvl ww1 of ww2 { (#,#) ww3 ww4 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww3 ww4) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} d37feb62c6bbd42774a3f718beb27e41 $fPPrintInt_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Int -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintInt_$cpprintTidy eta) -} 7330097952b00e6469557eaa76229354 $fPPrintInt_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Types.Int -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: GHC.Types.Int) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintInt1 eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintInteger :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Integer.Type.Integer DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ GHC.Integer.Type.Integer Language.Fixpoint.Types.PrettyPrint.$fPPrintInteger_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintInteger_$cpprintPrec -} a80747214953072dfbacdc4d515d1834 $fPPrintInteger_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Integer.Type.Integer -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintInteger_$cpprintTidy eta) -} 3070ba17547772a78f958d7d237ec5e6 $fPPrintInteger_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Integer.Type.Integer -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: GHC.Integer.Type.Integer) -> Text.PrettyPrint.HughesPJ.integer eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintMaybe :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (GHC.Base.Maybe a) DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a). @ (GHC.Base.Maybe a) (Language.Fixpoint.Types.PrettyPrint.$fPPrintMaybe_$cpprintTidy @ a $dPPrint) (Language.Fixpoint.Types.PrettyPrint.$fPPrintMaybe_$cpprintPrec @ a $dPPrint) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintMaybe_$cpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Base.Maybe a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, True) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintMaybe_$cpprintTidy @ a $dPPrint eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintMaybe_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> GHC.Base.Maybe a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (k :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> let { g :: a -> Text.PrettyPrint.HughesPJ.Doc = Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a $dPPrint k } in \ (ds1 :: GHC.Base.Maybe a) -> case ds1 of wild { GHC.Base.Nothing -> Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe3 GHC.Base.Just x -> case (g x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe1 } }) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrintText :: Language.Fixpoint.Types.PrettyPrint.PPrint Data.Text.Internal.Text DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Data.Text.Internal.Text Language.Fixpoint.Types.PrettyPrint.$fPPrintText_$cpprintTidy Language.Fixpoint.Types.PrettyPrint.$fPPrintText_$cpprintPrec -} daf6d4aa0644ce6a409251f77615c51f $fPPrintText1 :: Data.Text.Internal.Text -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Data.Text.Internal.Text) -> case w of ww { Data.Text.Internal.Text ww1 ww2 ww3 -> case Language.Fixpoint.Types.PrettyPrint.$wlvl1 ww1 ww2 ww3 of ww4 { (#,#) ww5 ww6 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww5 ww6) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} 8dcd4e30ac81de3a618584bbd0707154 $fPPrintText_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Data.Text.Internal.Text -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintText_$cpprintTidy eta) -} 1c38c18efc80a952ff662739631d873e $fPPrintText_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Data.Text.Internal.Text -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Data.Text.Internal.Text) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintText1 eta) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint[] :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint [a] DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a). @ [a] (Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy1 @ a $dPPrint) (Language.Fixpoint.Types.PrettyPrint.$fPPrint[]_$cpprintPrec @ a $dPPrint) -} f926efd2d44310d1ff99c4868d82bc97 $fPPrint[]_$cpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> [a] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, True) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet_$cpprintTidy1 @ a $dPPrint eta) -} f40a9d5c1fd2ab7622d76afec65c667a $tc'C:Fixpoint :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 3480375457339714873## 8413079098572764025## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tc'C:Fixpoint1) -} f69139bdbe4817d150b87ff0958c521c $tc'C:Fixpoint1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'C:Fixpoint"#) -} d32c75e88497c7ca8ffebe27b23f57b9 $tc'C:PPrint :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 12705788457100681109## 12391311005464134154## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tc'C:PPrint1) -} 99d59780d31a5a32f642e2b44c3feed5 $tc'C:PPrint1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'C:PPrint"#) -} 301d68c634116d7df155429f0fc912c8 $tc'C:PTable :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 16543468977259343176## 12204853844651996613## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tc'C:PTable1) -} 6a1c6e7617a92b4530816eedcdbe1196 $tc'C:PTable1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'C:PTable"#) -} 6fc33845531f887bfdef56d7a081aa8d $tc'DocTable :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 10720926827269941229## 11140701366624306166## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tc'DocTable1) -} 0f6a95eb7ebc4b4b249186dfa7c71efd $tc'DocTable1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'DocTable"#) -} 026d39b7d791586e5436269b11c52d2d $tc'Full :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 12416053811499359863## 1378966993215936538## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tc'Full1) -} 98cb6bf77463c71057271f3ac01c0bb2 $tc'Full1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Full"#) -} af918191236e302d445603f016cba5ac $tc'Lossy :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 1154572863817588707## 12455311205797527825## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tc'Lossy1) -} f23d74e37dcfe64850a2b66ab436d053 $tc'Lossy1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Lossy"#) -} 6f20de1d1b2ff413c1f48ceb47d30fb3 $tcDocTable :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 6010415119671162312## 4632040785313142821## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tcDocTable1) -} 928a7071180d662090a4c5f862eba037 $tcDocTable1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "DocTable"#) -} f30c7a37ae573eb5a8260f042687b578 $tcFixpoint :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 13488198139254069495## 5996424168830308273## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tcFixpoint1) -} cc6120df0ef58db8fa31f666e153a8f6 $tcFixpoint1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Fixpoint"#) -} 982861b193f165c2d38608fc0769c4ae $tcPPrint :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 8260364991512979700## 16280176250899259602## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tcPPrint1) -} da12bf75b6994fc314a801ac3e416c2d $tcPPrint1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "PPrint"#) -} 40a200d131c2291d8c05275a6752a949 $tcPTable :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 7484113556867690471## 3862987735936612111## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tcPTable1) -} 7b55015221728c973150d71969fcdc6b $tcPTable1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "PTable"#) -} 8cb5ca122d8c3fa02cbc4629ea5a630e $tcTidy :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 1627332649137169778## 10635071454718447502## Language.Fixpoint.Types.PrettyPrint.$trModule Language.Fixpoint.Types.PrettyPrint.$tcTidy1) -} 007be8b55fd1bf3a4fadd55cdb930e63 $tcTidy1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Tidy"#) -} 2bd50a8f80eb6d07a292070356879c33 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Types.PrettyPrint.$trModule2 Language.Fixpoint.Types.PrettyPrint.$trModule1) -} d9b757284c28b8ca13d2d5bdc1f63e11 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Types.PrettyPrint"#) -} b1fcd3945c4112eb9e61ad7de326633a $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} f926efd2d44310d1ff99c4868d82bc97 $w$cpprintTidy :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> b -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ a @ b (w :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (w2 :: Language.Fixpoint.Types.PrettyPrint.Tidy) (ww :: a) (ww1 :: b) -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ b w1 w2 ww1) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w2 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w2 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w2 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w2 ww } }) -} f926efd2d44310d1ff99c4868d82bc97 $w$cpprintTidy1 :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c) => Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> b -> c -> (# Text.PrettyPrint.Annotated.HughesPJ.Doc (), GHC.Types.Bool, Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ a @ b @ c (w :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.PPrint b) (w2 :: Language.Fixpoint.Types.PrettyPrint.PPrint c) (w3 :: Language.Fixpoint.Types.PrettyPrint.Tidy) (ww :: a) (ww1 :: b) (ww2 :: c) -> let { p :: Text.PrettyPrint.Annotated.HughesPJ.Doc () = case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ b w1 w3 ww1) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w3 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.False wild1) GHC.Types.True wild Text.PrettyPrint.Annotated.HughesPJ.Empty -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.True wild } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w3 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w3 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.False wild1 Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 } Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a w w3 ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) } } } in case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ c w2 w3 ww2) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case p of wild2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.False wild1) GHC.Types.True wild), GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.True wild), GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case p of wild2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild), GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False wild, GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case p of wild2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.False wild1), GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False wild1, GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case p of wild2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.lparen1 GHC.Types.False wild2, GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (# Text.PrettyPrint.HughesPJ.lparen1, GHC.Types.False, Text.PrettyPrint.HughesPJ.parens1 #) } } }) -} 07043851d1bd3f624f75eaabac41681e $w$cpprintTidy2 :: Language.Fixpoint.Types.PrettyPrint.DocTable -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 1, Strictness: , Inline: [0], Unfolding: (\ (w :: Language.Fixpoint.Types.PrettyPrint.DocTable) -> case Text.PrettyPrint.Boxes.$whcat Text.PrettyPrint.Boxes.AlignFirst (let { ds :: ([Text.PrettyPrint.HughesPJ.Doc], [Text.PrettyPrint.HughesPJ.Doc]) = case Language.Fixpoint.Types.PrettyPrint.$wgo w `cast` (Language.Fixpoint.Types.PrettyPrint.N:DocTable[0]) of ww { (#,#) ww1 ww2 -> (ww1, ww2) } } in GHC.Types.: @ Text.PrettyPrint.Boxes.Box (case Text.PrettyPrint.Boxes.$wvcat Text.PrettyPrint.Boxes.AlignFirst (case ds of wild { (,) ks vs -> GHC.Base.map @ Text.PrettyPrint.HughesPJ.Doc @ Text.PrettyPrint.Boxes.Box Language.Fixpoint.Types.PrettyPrint.docBox ks }) of ww { (#,,#) ww1 ww2 ww3 -> Text.PrettyPrint.Boxes.Box ww1 ww2 ww3 }) (Data.OldList.prependToAll @ Text.PrettyPrint.Boxes.Box Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable1 (GHC.Types.: @ Text.PrettyPrint.Boxes.Box (case Text.PrettyPrint.Boxes.$wvcat Text.PrettyPrint.Boxes.AlignFirst (case GHC.List.$wlenAcc @ (Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc) w `cast` (Language.Fixpoint.Types.PrettyPrint.N:DocTable[0]) 0# of ww2 { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# 0# ww2) of wild { GHC.Types.False -> GHC.Types.[] @ Text.PrettyPrint.Boxes.Box GHC.Types.True -> Language.Fixpoint.Types.PrettyPrint.$wxs ww2 } }) of ww { (#,,#) ww1 ww2 ww3 -> Text.PrettyPrint.Boxes.Box ww1 ww2 ww3 }) (GHC.Types.: @ Text.PrettyPrint.Boxes.Box (case Text.PrettyPrint.Boxes.$wvcat Text.PrettyPrint.Boxes.AlignLast (case ds of wild { (,) ks vs -> GHC.Base.map @ Text.PrettyPrint.HughesPJ.Doc @ Text.PrettyPrint.Boxes.Box Language.Fixpoint.Types.PrettyPrint.docBox vs }) of ww { (#,,#) ww1 ww2 ww3 -> Text.PrettyPrint.Boxes.Box ww1 ww2 ww3 }) (GHC.Types.[] @ Text.PrettyPrint.Boxes.Box))))) of ww { (#,,#) ww1 ww2 ww3 -> let { s :: GHC.Base.String = Data.OldList.unlines (Text.PrettyPrint.Boxes.$wrenderBox ww1 ww2 ww3) } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww4 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww4, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) } }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $w$ctoFix :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b) => a -> b -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, Strictness: , Inline: [0], Unfolding: (\ @ a @ b (w :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) (ww :: a) (ww1 :: b) -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ b w1 ww1) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww } }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $w$ctoFix1 :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b, Language.Fixpoint.Types.PrettyPrint.Fixpoint c) => a -> b -> c -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ a @ b @ c (w :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint b) (w2 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint c) (ww :: a) (ww1 :: b) (ww2 :: c) -> let { p :: Text.PrettyPrint.Annotated.HughesPJ.Doc () = case (Language.Fixpoint.Types.PrettyPrint.toFix @ b w1 ww1) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) GHC.Types.True wild Text.PrettyPrint.Annotated.HughesPJ.Empty -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.True wild } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1 Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 } Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Language.Fixpoint.Types.PrettyPrint.toFix @ a w ww) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) } } } in case (Language.Fixpoint.Types.PrettyPrint.toFix @ c w2 ww2) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case p of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild1 GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case p of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,)1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case p of wild2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } Text.PrettyPrint.Annotated.HughesPJ.Empty -> p `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $w$ctoFix2 :: (GHC.Classes.Ord a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Data.HashSet.HashSet a -> (# Text.PrettyPrint.Annotated.HughesPJ.Doc (), GHC.Types.Bool, Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: GHC.Classes.Ord a) (w1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w2 :: Data.HashSet.HashSet a) -> let { f :: a -> Text.PrettyPrint.HughesPJ.Doc = Language.Fixpoint.Types.PrettyPrint.toFix @ a w1 } in letrec { go1 :: [a] -> [Text.PrettyPrint.Annotated.HughesPJ.Doc ()] {- Arity: 1, Strictness: -} = \ (ds :: [a]) -> case ds of wild { [] -> GHC.Types.[] @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) : y ys -> GHC.Types.: @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) (f y) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (go1 ys) } } in case Text.PrettyPrint.Annotated.HughesPJ.punctuate @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet5 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (go1 (Data.OldList.sortBy @ a (GHC.Classes.compare @ a w) (Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet1 @ a (GHC.Types.[] @ a) w2 `cast` (Data.HashSet.N:HashSet[0] _N)))) of wild { [] -> (# Text.PrettyPrint.HughesPJ.brackets4, GHC.Types.False, Text.PrettyPrint.HughesPJ.brackets1 #) : p ps -> case Text.PrettyPrint.Annotated.HughesPJ.$wsep1 @ () GHC.Types.True (Text.PrettyPrint.Annotated.HughesPJ.reduceDoc @ () p) 0# ps of wild1 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.brackets4 GHC.Types.False wild1, GHC.Types.False, Text.PrettyPrint.HughesPJ.brackets1 #) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (# Text.PrettyPrint.HughesPJ.brackets4, GHC.Types.False, Text.PrettyPrint.HughesPJ.brackets1 #) } }) -} 1ac14f96fcc64238ac02c3a41cf5845b $w$ctoFix3 :: GHC.Prim.Int# -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 1, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) -> case GHC.Show.$wshowSignedInt 0# ww (GHC.Types.[] @ GHC.Types.Char) of ww4 { (#,#) ww5 ww6 -> let { s :: GHC.Base.String = GHC.Types.: @ GHC.Types.Char ww5 ww6 } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww2, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) } }) -} cc7bdd91c6c79c1473a4d48904d3bc29 $w$ctoFix4 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => [a] -> (# Text.PrettyPrint.Annotated.HughesPJ.Doc (), GHC.Types.Bool, Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 2, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (w1 :: [a]) -> let { f :: a -> Text.PrettyPrint.HughesPJ.Doc = Language.Fixpoint.Types.PrettyPrint.toFix @ a w } in letrec { go1 :: [a] -> [Text.PrettyPrint.Annotated.HughesPJ.Doc ()] {- Arity: 1, Strictness: -} = \ (ds :: [a]) -> case ds of wild { [] -> GHC.Types.[] @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) : y ys -> GHC.Types.: @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) (f y) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (go1 ys) } } in case Text.PrettyPrint.Annotated.HughesPJ.punctuate @ () Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet5 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (go1 w1) of wild { [] -> (# Text.PrettyPrint.HughesPJ.brackets4, GHC.Types.False, Text.PrettyPrint.HughesPJ.brackets1 #) : p ps -> case Text.PrettyPrint.Annotated.HughesPJ.$wsep1 @ () GHC.Types.True (Text.PrettyPrint.Annotated.HughesPJ.reduceDoc @ () p) 0# ps of wild1 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.Beside @ () Text.PrettyPrint.HughesPJ.brackets4 GHC.Types.False wild1, GHC.Types.False, Text.PrettyPrint.HughesPJ.brackets1 #) Text.PrettyPrint.Annotated.HughesPJ.Empty -> (# Text.PrettyPrint.HughesPJ.brackets4, GHC.Types.False, Text.PrettyPrint.HughesPJ.brackets1 #) } }) -} 7105318a6fda96dda2c28c7f8773b312 $wboxHSep :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 2, Strictness: , Inline: [0], Unfolding: (\ (w :: Text.PrettyPrint.HughesPJ.Doc) (w1 :: Text.PrettyPrint.HughesPJ.Doc) -> case Text.PrettyPrint.Boxes.$whcat Text.PrettyPrint.Boxes.AlignFirst (GHC.Types.: @ Text.PrettyPrint.Boxes.Box (Language.Fixpoint.Types.PrettyPrint.docBox w) (GHC.Types.: @ Text.PrettyPrint.Boxes.Box (Language.Fixpoint.Types.PrettyPrint.docBox w1) (GHC.Types.[] @ Text.PrettyPrint.Boxes.Box))) of ww { (#,,#) ww1 ww2 ww3 -> let { s :: GHC.Base.String = Data.OldList.unlines (Text.PrettyPrint.Boxes.$wrenderBox ww1 ww2 ww3) } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww4 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww4, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) } }) -} cba126ca3950ed0ab7351bf25034059f $wgo :: [(Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc)] -> (# [Text.PrettyPrint.HughesPJ.Doc], [Text.PrettyPrint.HughesPJ.Doc] #) {- Arity: 1, HasNoCafRefs, Strictness: , Inline: [0] -} 3be9e24cdace6f0bd348681c99aac800 $wlvl :: GHC.Prim.Int# -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 1, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) -> case GHC.Show.$wshowSignedInt 0# ww (GHC.Types.[] @ GHC.Types.Char) of ww4 { (#,#) ww5 ww6 -> let { s :: GHC.Base.String = GHC.Types.: @ GHC.Types.Char ww5 ww6 } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww2, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) } }) -} de2583acee625d94ab3b2ae9c8c89fa4 $wlvl1 :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> let { end :: GHC.Prim.Int# = GHC.Prim.+# ww1 ww2 } in letrec { $wunfold :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww3 end) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww ww3 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# ww (GHC.Prim.+# ww3 1#) of r#1 { DEFAULT -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#))) ($wunfold (GHC.Prim.+# ww3 2#)) } } } } GHC.Types.True -> GHC.Types.[] @ GHC.Types.Char } } in let { s :: GHC.Base.String = $wunfold ww1 } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww3 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww3, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) }) -} e8ef3797186ca6db5bc4b1f982e15292 $wxs :: GHC.Prim.Int# -> [Text.PrettyPrint.Boxes.Box] {- Arity: 1, Strictness: , Inline: [0] -} 1983262d60a6608966f615360ce51628 newtype DocTable = DocTable [(Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc)] cc7bdd91c6c79c1473a4d48904d3bc29 class Fixpoint a where toFix :: a -> Text.PrettyPrint.HughesPJ.Doc simplify :: a -> a {-# MINIMAL toFix #-} f926efd2d44310d1ff99c4868d82bc97 class PPrint a where pprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc pprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc f56e84dc8639a434ea5dee7210b75707 class PTable a where ptable :: a -> Language.Fixpoint.Types.PrettyPrint.DocTable {-# MINIMAL ptable #-} 6fdc633788cc0508dea7c363965cb87c data Tidy = Lossy | Full 8d4d7741ce77338fbce0d5df13fb179b boxDoc :: Text.PrettyPrint.Boxes.Box -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Text.PrettyPrint.Boxes.Box) -> case w of ww { Text.PrettyPrint.Boxes.Box ww1 ww2 ww3 -> let { s :: GHC.Base.String = Data.OldList.unlines (Text.PrettyPrint.Boxes.$wrenderBox ww1 ww2 ww3) } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww4 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww4) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} 8a92cb9508820b080061dc0c237e0c4f boxHSep :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Text.PrettyPrint.HughesPJ.Doc) (w1 :: Text.PrettyPrint.HughesPJ.Doc) -> case Language.Fixpoint.Types.PrettyPrint.$wboxHSep w w1 of ww { (#,#) ww1 ww2 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww1 ww2) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} ff2593195f41a1cde2feeee3eac42483 docBox :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.Boxes.Box {- Arity: 1, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Text.PrettyPrint.HughesPJ.Doc) -> let { t :: GHC.Base.String = 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.Types.PrettyPrint.docBox1 (GHC.Types.[] @ GHC.Types.Char) w `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) } in Text.PrettyPrint.Boxes.Box Text.PrettyPrint.Boxes.text1 (case GHC.List.$wlenAcc @ GHC.Types.Char t 0# of ww2 { DEFAULT -> GHC.Types.I# ww2 }) (Text.PrettyPrint.Boxes.Text t)) -} 2c20183fd941101a579c684bf819a4e7 docBox1 :: 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 s dt1 -> case s of wild1 { Text.PrettyPrint.Annotated.HughesPJ.Chr dt -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# dt) eta Text.PrettyPrint.Annotated.HughesPJ.Str s1 -> GHC.Base.++ @ GHC.Types.Char s1 eta Text.PrettyPrint.Annotated.HughesPJ.PStr s1 -> GHC.Base.++ @ GHC.Types.Char s1 eta } }) -} 23093b339d9413532997992b94a8c483 notracepp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Base.String -> a -> a {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, True) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (ds :: GHC.Base.String) (x :: a) -> x) -} 3b1416a258327e319f3edde9b9e2d64e pprint :: Language.Fixpoint.Types.PrettyPrint.PPrint a => a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) -> Language.Fixpoint.Types.PrettyPrint.pprintPrec @ a $dPPrint Language.Fixpoint.Types.PrettyPrint.pprint1 Language.Fixpoint.Types.PrettyPrint.Full) -} 0a777858d7529dca1a76030f737c344b pprint1 :: GHC.Types.Int {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.I# 0#) -} f926efd2d44310d1ff99c4868d82bc97 pprintKVs :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint v) => Language.Fixpoint.Types.PrettyPrint.Tidy -> [(k, v)] -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, Strictness: , Unfolding: (\ @ k @ v ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint k) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint v) (t :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: [(k, v)]) -> letrec { go1 :: [(k, v)] -> [Text.PrettyPrint.Annotated.HughesPJ.Doc ()] {- Arity: 1, Strictness: -} = \ (ds :: [(k, v)]) -> case ds of wild { [] -> GHC.Types.[] @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) : y ys -> GHC.Types.: @ (Text.PrettyPrint.Annotated.HughesPJ.Doc ()) (case y of wild1 { (,) x y1 -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ v $dPPrint1 t y1) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.pprintKVs3 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild3 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ k $dPPrint t x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild4 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () (Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild4 GHC.Types.True wild3) GHC.Types.True wild2 Text.PrettyPrint.Annotated.HughesPJ.Empty -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild3 GHC.Types.True wild2 } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ k $dPPrint t x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild4 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild4 GHC.Types.True wild2 Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild2 } } Text.PrettyPrint.Annotated.HughesPJ.Empty -> case Language.Fixpoint.Types.PrettyPrint.pprintKVs3 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild3 { DEFAULT -> case (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ k $dPPrint t x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild4 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild4 GHC.Types.True wild3 Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild3 } Text.PrettyPrint.Annotated.HughesPJ.Empty -> (Language.Fixpoint.Types.PrettyPrint.pprintTidy @ k $dPPrint t x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) } } }) (go1 ys) } } in case Text.PrettyPrint.Annotated.HughesPJ.$wreduceVert @ () (Text.PrettyPrint.Annotated.HughesPJ.vcat1 @ () (Text.PrettyPrint.Annotated.HughesPJ.punctuate @ () Language.Fixpoint.Types.PrettyPrint.pprintKVs1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) (go1 eta))) of ww { (#,#) ww1 ww2 -> ww2 `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 6f3a630162b48a1439d73aeafb0369f4 pprintKVs1 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.pprintKVs_s 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.pprintKVs2 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} d205d33eb802e6c3e0ad914df4acf7fd pprintKVs2 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.pprintKVs_s) -} 639c596d79304bbf01392ae2495950e1 pprintKVs3 :: Text.PrettyPrint.HughesPJ.Doc {- Unfolding: (case GHC.List.$wlenAcc @ GHC.Types.Char Language.Fixpoint.Types.PrettyPrint.pprintKVs_s1 0# of ww2 { DEFAULT -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () (Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () Language.Fixpoint.Types.PrettyPrint.pprintKVs4 ww2) (Text.PrettyPrint.Annotated.HughesPJ.Empty @ ())) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 86cd6c38173e47b2c2add14d72232647 pprintKVs4 :: Text.PrettyPrint.Annotated.HughesPJ.TextDetails {- Unfolding: (Text.PrettyPrint.Annotated.HughesPJ.Str Language.Fixpoint.Types.PrettyPrint.pprintKVs_s1) -} 861647bf4c5916e0dd965dc5ffee235d pprintKVs_s :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# "\n"#) -} 12b2f43911dafb66312460b5edb061d5 pprintKVs_s1 :: GHC.Base.String {- Unfolding: (GHC.CString.unpackCString# ":="#) -} 096da0098f8a576a024913fb9c478e62 showFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => a -> GHC.Base.String {- Arity: 2, Strictness: , Unfolding: (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: a) -> 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.Types.PrettyPrint.docBox1 (GHC.Types.[] @ GHC.Types.Char) (Language.Fixpoint.Types.PrettyPrint.toFix @ a $dFixpoint eta) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0])) -} d49681911c1e0ff007381860bbf21a4a showTable :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint v) => Language.Fixpoint.Types.PrettyPrint.Tidy -> [(k, v)] -> GHC.Base.String {- Arity: 4, Strictness: , Unfolding: (\ @ k @ v ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint k) ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint v) (k1 :: Language.Fixpoint.Types.PrettyPrint.Tidy) (x :: [(k, v)]) -> 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.Types.PrettyPrint.docBox1 (GHC.Types.[] @ GHC.Types.Char) (Language.Fixpoint.Types.PrettyPrint.pprintKVs @ k @ v $dPPrint $dPPrint1 k1 x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0])) -} 0da0198db560727e041326beddb9a8d5 showpp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => a -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) -> let { g :: a -> Text.PrettyPrint.HughesPJ.Doc = Language.Fixpoint.Types.PrettyPrint.pprintPrec @ a $dPPrint Language.Fixpoint.Types.PrettyPrint.pprint1 Language.Fixpoint.Types.PrettyPrint.Full } in \ (x :: a) -> 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.Types.PrettyPrint.docBox1 (GHC.Types.[] @ GHC.Types.Char) (g x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0])) -} ebd506346d0bbbd9a53ce9b07728df00 traceFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Base.String -> a -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (s :: GHC.Base.String) (x :: a) -> Debug.Trace.trace @ a (GHC.CString.unpackAppendCString# "\n\ \Trace: ["# (GHC.Base.++ @ GHC.Types.Char s (GHC.CString.unpackAppendCString# "] : "# (Language.Fixpoint.Types.PrettyPrint.showFix @ a $dFixpoint x)))) x) -} 7724a9ed27c3c4f8119ffb64ffeb17d8 tracepp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Base.String -> a -> a {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (s :: GHC.Base.String) (x :: a) -> Debug.Trace.trace @ a (GHC.CString.unpackAppendCString# "\n\ \Trace: ["# (GHC.Base.++ @ GHC.Types.Char s (GHC.CString.unpackAppendCString# "] : "# (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.Types.PrettyPrint.docBox1 (GHC.Types.[] @ GHC.Types.Char) (Language.Fixpoint.Types.PrettyPrint.pprintPrec @ a $dPPrint Language.Fixpoint.Types.PrettyPrint.pprint1 Language.Fixpoint.Types.PrettyPrint.Full x) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]))))) x) -} instance GHC.Classes.Eq [Language.Fixpoint.Types.PrettyPrint.Tidy] = Language.Fixpoint.Types.PrettyPrint.$fEqTidy instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [()] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint() instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [(,)] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,) instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [(,,)] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,,) instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Types.Bool] = Language.Fixpoint.Types.PrettyPrint.$fFixpointBool instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Types.Double] = Language.Fixpoint.Types.PrettyPrint.$fFixpointDouble instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Data.HashSet.HashSet] = Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Types.Int] = Language.Fixpoint.Types.PrettyPrint.$fFixpointInt instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Integer.Type.Integer] = Language.Fixpoint.Types.PrettyPrint.$fFixpointInteger instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Base.Maybe] = Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [[]] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint[] instance GHC.Base.Monoid [Language.Fixpoint.Types.PrettyPrint.DocTable] = Language.Fixpoint.Types.PrettyPrint.$fMonoidDocTable instance GHC.Classes.Ord [Language.Fixpoint.Types.PrettyPrint.Tidy] = Language.Fixpoint.Types.PrettyPrint.$fOrdTidy instance Language.Fixpoint.Types.PrettyPrint.PPrint [()] = Language.Fixpoint.Types.PrettyPrint.$fPPrint() instance Language.Fixpoint.Types.PrettyPrint.PPrint [(,)] = Language.Fixpoint.Types.PrettyPrint.$fPPrint(,) instance Language.Fixpoint.Types.PrettyPrint.PPrint [(,,)] = Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,) instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Types.Bool] = Language.Fixpoint.Types.PrettyPrint.$fPPrintBool instance Language.Fixpoint.Types.PrettyPrint.PPrint [Text.PrettyPrint.HughesPJ.Doc] = Language.Fixpoint.Types.PrettyPrint.$fPPrintDoc instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.PrettyPrint.DocTable] = Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Types.Float] = Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.PrettyPrint.$fPPrintHashMap instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.HashSet.HashSet] = Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Types.Int] = Language.Fixpoint.Types.PrettyPrint.$fPPrintInt instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Integer.Type.Integer] = Language.Fixpoint.Types.PrettyPrint.$fPPrintInteger instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Base.Maybe] = Language.Fixpoint.Types.PrettyPrint.$fPPrintMaybe instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.Text.Internal.Text] = Language.Fixpoint.Types.PrettyPrint.$fPPrintText instance Language.Fixpoint.Types.PrettyPrint.PPrint [[]] = Language.Fixpoint.Types.PrettyPrint.$fPPrint[] vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False