==================== FINAL INTERFACE ==================== 2017-05-02 18:35:47.886079 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans [orphan module] [family instance module] 8002 interface hash: 5e1116584c1d5f93de173eb418304946 ABI hash: 914694383547ac6e05961eac2448df52 export-list hash: 7fe5850227a6e738b3508defc057da0b orphan hash: be281d7c61d48c5d9603129f0c789640 flag hash: e95999e1c8e5e49e4aef4724d8cd8def sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Spans.atLoc Language.Fixpoint.Types.Spans.dummyLoc Language.Fixpoint.Types.Spans.dummyPos Language.Fixpoint.Types.Spans.dummySpan Language.Fixpoint.Types.Spans.locAt Language.Fixpoint.Types.Spans.sourcePosElts Language.Fixpoint.Types.Spans.Loc{Language.Fixpoint.Types.Spans.srcSpan} Language.Fixpoint.Types.Spans.Located{Language.Fixpoint.Types.Spans.Loc loc locE val} Language.Fixpoint.Types.Spans.SrcSpan{Language.Fixpoint.Types.Spans.SS sp_start sp_stop} Text.Parsec.Pos.SourcePos module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.PrettyPrint package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 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 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 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 syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base 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.Data da440c60016500822a3d4307ca5dea66 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.String b34df69c7b6358cd40a379c8a0a78dcf import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:Data.Typeable 9257e47d10882145c67c5b489965cfb7 import -/ base-4.9.1.0:Data.Typeable.Internal 0e9bdefa4325a0112d8e73b5e1e1f85d import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:Text.Printf 6701574960cd2af960fec5d940be0c25 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary 68bf10cd9cced43ad785ce79fc9157c3 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Class 74e43ac8c719b63390fb5224488bc2fa import -/ cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e:Data.Serialize bfa0e727b662cbdba896c0b5c0142f5d import -/ deepseq-1.4.2.0@deepseq-1.4.2.0:Control.DeepSeq 0a99763cf6016b16bbf55422778a79b2 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 -/ Language.Fixpoint.Types.PrettyPrint 9f8ba54128c047c2f5df631a58152645 exports: 8280ba96c3b943538085a23e8c114f93 Fixpoint cc7bdd91c6c79c1473a4d48904d3bc29 PPrint f926efd2d44310d1ff99c4868d82bc97 pprintTidy 51116c55bcc153b0498f02ab688dd904 toFix adc72af29f82382843f845a7caada087 import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Pos 722d2dd11f7d41778d1cb0c7e9424b8c import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics ea99a8062a9608312218ffd7309b5391 ef0db2a31e195b670dd5f30272ca625f $cBEMzUOgtw1j9Aw6XX5qeXe :: Data.Data.Constr 3f2056793c43e02f2ff3a6d5a5ca0ece $cEQNJ5yZQ7j0HQqD1jb9GSg :: Data.Data.Constr 3326b791adf9e0911edd64707c0fed2a $fBinaryLocated :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dBinary :: Data.Binary.Class.Binary a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fBinaryLocated_$cput @ a $dBinary) (Language.Fixpoint.Types.Spans.$fBinaryLocated_$cget @ a $dBinary) (Language.Fixpoint.Types.Spans.$fBinaryLocated_$cputList @ a $dBinary) -} 3326b791adf9e0911edd64707c0fed2a $fBinaryLocated1 :: Data.Binary.Class.Binary a => forall r. Data.ByteString.Internal.ByteString -> Data.Binary.Get.Internal.Success (Language.Fixpoint.Types.Spans.Located a) r -> Data.Binary.Get.Internal.Decoder r {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a (w :: Data.Binary.Class.Binary a) @ r (w1 :: Data.ByteString.Internal.ByteString) (w2 :: Data.Binary.Get.Internal.Success (Language.Fixpoint.Types.Spans.Located a) r) -> case w1 of ww { Data.ByteString.Internal.PS ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Spans.$w$cget @ a w @ r ww1 ww2 ww3 ww4 w2 }) -} 3326b791adf9e0911edd64707c0fed2a $fBinaryLocated_$cget :: Data.Binary.Class.Binary a => Data.Binary.Get.Internal.Get (Language.Fixpoint.Types.Spans.Located a) {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fBinaryLocated1 `cast` (forall (a :: <*>_N). _R ->_R Sym (Data.Binary.Get.Internal.N:Get[0] _R)) -} 3326b791adf9e0911edd64707c0fed2a $fBinaryLocated_$cput :: Data.Binary.Class.Binary a => Language.Fixpoint.Types.Spans.Located a -> Data.Binary.Put.Put {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a (w :: Data.Binary.Class.Binary a) (w1 :: Language.Fixpoint.Types.Spans.Located a) -> case w1 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> case ww1 of ww4 { Text.Parsec.Pos.SourcePos ww5 ww6 ww7 -> case ww2 of ww8 { Text.Parsec.Pos.SourcePos ww9 ww10 ww11 -> case Language.Fixpoint.Types.Spans.$w$cput @ a w ww5 ww6 ww7 ww9 ww10 ww11 ww3 of ww12 { (#,#) ww13 ww14 -> (Data.Binary.Put.PairS @ () ww13 ww14) `cast` (Sym (Data.Binary.Put.N:PutM[0]) <()>_N) } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fBinaryLocated_$cputList :: Data.Binary.Class.Binary a => [Language.Fixpoint.Types.Spans.Located a] -> Data.Binary.Put.Put {- Arity: 1, Strictness: -} a57eb1c4a008b6f354f3040b01a30a71 $fBinarySourcePos :: Data.Binary.Class.Binary Text.Parsec.Pos.SourcePos DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Text.Parsec.Pos.SourcePos Language.Fixpoint.Types.Spans.$fBinarySourcePos_$cput Language.Fixpoint.Types.Spans.$fBinarySourcePos_$cget Language.Fixpoint.Types.Spans.$fBinarySourcePos_$cputList -} 6e4d2332241ecdc08cd81f43451393b8 $fBinarySourcePos1 :: Data.ByteString.Internal.ByteString -> Data.Binary.Get.Internal.Success Text.Parsec.Pos.SourcePos r -> Data.Binary.Get.Internal.Decoder r {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ r (w :: Data.ByteString.Internal.ByteString) (w1 :: Data.Binary.Get.Internal.Success Text.Parsec.Pos.SourcePos r) -> case w of ww { Data.ByteString.Internal.PS ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Spans.$w$cget1 @ r ww1 ww2 ww3 ww4 w1 }) -} c12a8261e336f5447c2dd6e4c4f7664d $fBinarySourcePos2 :: Text.Parsec.Pos.SourcePos -> Data.Binary.Put.PairS () {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Text.Parsec.Pos.SourcePos) -> case Language.Fixpoint.Types.Spans.$w$cput1 w of ww { (#,#) ww1 ww2 -> Data.Binary.Put.PairS @ () ww1 ww2 }) -} 274470323e2be7b2f2b0203b520207f4 $fBinarySourcePos_$cget :: Data.Binary.Get.Internal.Get Text.Parsec.Pos.SourcePos {- Arity: 2, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fBinarySourcePos1 `cast` (Sym (Data.Binary.Get.Internal.N:Get[0] _R)) -} 191ee60f787adc7e111d7b4468eaf616 $fBinarySourcePos_$cput :: Text.Parsec.Pos.SourcePos -> Data.Binary.Put.Put {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fBinarySourcePos2 `cast` (_R ->_R Sym (Data.Binary.Put.N:PutM[0]) <()>_N) -} 238939d0f91acabe26dd0a102d791918 $fBinarySourcePos_$cputList :: [Text.Parsec.Pos.SourcePos] -> Data.Binary.Put.Put {- Arity: 1 -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, Strictness: , Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dData :: Data.Data.Data a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fDataLocated_$cp1Data @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgfoldl @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgunfold @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$ctoConstr @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cdataTypeOf @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cdataCast1 @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cdataCast2 @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapT @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapQl @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapQr @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapQ @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapQi @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapM @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapMp @ a $dData) (Language.Fixpoint.Types.Spans.$fDataLocated_$cgmapMo @ a $dData) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated1 :: (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a, GHC.Types.Bool) {- HasNoCafRefs, Unfolding: (\ @ a -> (Language.Fixpoint.Types.Spans.$WLoc @ a, GHC.Types.False)) -} 49806f47310f943213afd6badd49c681 $fDataLocated2 :: Data.Typeable.Internal.TypeRep {- Unfolding: (case Data.Typeable.Internal.typeRepFingerprints (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) of kt_fps { DEFAULT -> case GHC.Fingerprint.fingerprintFingerprints (GHC.Types.: @ GHC.Fingerprint.Type.Fingerprint Language.Fixpoint.Types.Spans.$fDataLocated3 kt_fps) of dt { GHC.Fingerprint.Type.Fingerprint dt1 dt2 -> Data.Typeable.Internal.TypeRep dt1 dt2 Language.Fixpoint.Types.Spans.$tcLocated (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) } }) -} 6ae09181f9f0041e99e497436e7f81e6 $fDataLocated3 :: GHC.Fingerprint.Type.Fingerprint {- HasNoCafRefs, Unfolding: (GHC.Fingerprint.Type.Fingerprint 11711989137260920405## 3225057830536678298##) -} b59f74b8d6330027606dc4761f9a2120 $fDataLocated4 :: Data.Data.DataRep {- Strictness: m1, Unfolding: (Data.Data.AlgRep Language.Fixpoint.Types.Spans.$fDataLocated5) -} 674827a4b3b3f7045267e1dd94fae31f $fDataLocated5 :: [Data.Data.Constr] {- Strictness: m2, Unfolding: (GHC.Types.: @ Data.Data.Constr Language.Fixpoint.Types.Spans.$cEQNJ5yZQ7j0HQqD1jb9GSg (GHC.Types.[] @ Data.Data.Constr)) -} a475bfe2e4c9a85166df18cbeef7ac87 $fDataLocated6 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Located"#) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cdataCast1 :: Data.Data.Data a => forall (t :: * -> *) (c :: * -> *). Data.Typeable.Internal.Typeable t => (forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Maybe (c (Language.Fixpoint.Types.Spans.Located a)) {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dData :: Data.Data.Data a) @ (t :: * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (f :: forall d. Data.Data.Data d => c (t d)) -> case $dTypeable `cast` (Data.Typeable.Internal.N:Typeable[0] <* -> *>_N _N) (GHC.Prim.proxy# @ (* -> *) @ t) of wild { Data.Typeable.Internal.TypeRep dt dt1 ds2 ds3 ds4 -> case Language.Fixpoint.Types.Spans.$fDataLocated2 of wild1 { Data.Typeable.Internal.TypeRep dt2 dt3 ds5 ds6 ds7 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.eqWord# dt dt2) of wild2 { GHC.Types.False -> GHC.Base.Nothing @ (c (Language.Fixpoint.Types.Spans.Located a)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.eqWord# dt1 dt3) of wild4 { GHC.Types.False -> GHC.Base.Nothing @ (c (Language.Fixpoint.Types.Spans.Located a)) GHC.Types.True -> GHC.Base.Just @ (c (Language.Fixpoint.Types.Spans.Located a)) (f @ a $dData) `cast` (_R (UnsafeCo nominal t Language.Fixpoint.Types.Spans.Located _N)) } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cdataCast2 :: Data.Data.Data a => forall (t :: * -> * -> *) (c :: * -> *). Data.Typeable.Internal.Typeable t => (forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Maybe (c (Language.Fixpoint.Types.Spans.Located a)) {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, True) (\ @ a ($dData :: Data.Data.Data a) @ (t :: * -> * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Nothing @ (c (Language.Fixpoint.Types.Spans.Located a))) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cdataTypeOf :: Data.Data.Data a => Language.Fixpoint.Types.Spans.Located a -> Data.Data.DataType {- Arity: 2, Strictness: m, Unfolding: InlineRule (2, True, True) (\ @ a ($dData :: Data.Data.Data a) (ds :: Language.Fixpoint.Types.Spans.Located a) -> Language.Fixpoint.Types.Spans.$tJhDnuonFSChJGPkHkwy5l0) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgfoldl :: Data.Data.Data a => forall (c :: * -> *). (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Language.Fixpoint.Types.Spans.Located a -> c (Language.Fixpoint.Types.Spans.Located a) {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ a (w :: Data.Data.Data a) @ (c :: * -> *) (w1 :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w2 :: forall g. g -> c g) (w3 :: Language.Fixpoint.Types.Spans.Located a) -> case w3 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> Language.Fixpoint.Types.Spans.$w$cgfoldl @ a w @ c w1 w2 ww1 ww2 ww3 }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapM :: Data.Data.Data a => forall (m :: * -> *). GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Spans.Located a -> m (Language.Fixpoint.Types.Spans.Located a) {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ a (w :: Data.Data.Data a) @ (m :: * -> *) (w1 :: GHC.Base.Monad m) (w2 :: forall d. Data.Data.Data d => d -> m d) (w3 :: Language.Fixpoint.Types.Spans.Located a) -> case w3 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> Language.Fixpoint.Types.Spans.$w$cgmapM @ a w @ m w1 w2 ww1 ww2 ww3 }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapMo :: Data.Data.Data a => forall (m :: * -> *). GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Spans.Located a -> m (Language.Fixpoint.Types.Spans.Located a) {- Arity: 4, Strictness: -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapMp :: Data.Data.Data a => forall (m :: * -> *). GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Spans.Located a -> m (Language.Fixpoint.Types.Spans.Located a) {- Arity: 4, Strictness: , Unfolding: (\ @ a ($dData :: Data.Data.Data a) @ (m :: * -> *) ($dMonadPlus :: GHC.Base.MonadPlus m) (ds :: forall d. Data.Data.Data d => d -> m d) (eta :: Language.Fixpoint.Types.Spans.Located a) -> let { $dMonad :: GHC.Base.Monad m = GHC.Base.$p2MonadPlus @ m $dMonadPlus } in let { lvl20 :: m (Language.Fixpoint.Types.Spans.Located a) = GHC.Base.mzero @ m $dMonadPlus @ (Language.Fixpoint.Types.Spans.Located a) } in GHC.Base.>>= @ m $dMonad @ (Language.Fixpoint.Types.Spans.Located a, GHC.Types.Bool) @ (Language.Fixpoint.Types.Spans.Located a) (case eta of wild { Language.Fixpoint.Types.Spans.Loc a1 a2 a3 -> let { k :: forall d b. Data.Data.Data d => Data.Data.Mp m (d -> b) -> d -> m (b, GHC.Types.Bool) {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (ds1 :: Data.Data.Mp m (d -> b))[OneShot] (y :: d)[OneShot] -> let { lvl21 :: m d = ds @ d $dData1 y } in GHC.Base.>>= @ m $dMonad @ (d -> b, GHC.Types.Bool) @ (b, GHC.Types.Bool) ds1 `cast` (Data.Data.N:Mp[0] _R b>_N) (\ (ds2 :: (d -> b, GHC.Types.Bool)) -> case ds2 of wild1 { (,) h b1 -> GHC.Base.mplus @ m $dMonadPlus @ (b, GHC.Types.Bool) (GHC.Base.>>= @ m $dMonad @ d @ (b, GHC.Types.Bool) lvl21 (\ (y' :: d) -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y', GHC.Types.True))) (GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, b1)) }) } in k @ a @ (Language.Fixpoint.Types.Spans.Located a) $dData (k @ Text.Parsec.Pos.SourcePos @ (a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (GHC.Base.return @ m $dMonad @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a, GHC.Types.Bool) (Language.Fixpoint.Types.Spans.$fDataLocated1 @ a)) `cast` (Sym (Data.Data.N:Mp[0] _R Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a>_N)) a1) `cast` (Sym (Data.Data.N:Mp[0] _R a -> Language.Fixpoint.Types.Spans.Located a>_N)) a2) `cast` (Sym (Data.Data.N:Mp[0] _R Language.Fixpoint.Types.Spans.Located a>_N)) a3 }) (\ (ds1 :: (Language.Fixpoint.Types.Spans.Located a, GHC.Types.Bool)) -> case ds1 of wild { (,) x' b -> case b of wild1 { GHC.Types.False -> lvl20 GHC.Types.True -> GHC.Base.return @ m $dMonad @ (Language.Fixpoint.Types.Spans.Located a) x' } })) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapQ :: Data.Data.Data a => forall u. (forall d. Data.Data.Data d => d -> u) -> Language.Fixpoint.Types.Spans.Located a -> [u] {- Arity: 3, Strictness: m2, Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a (w :: Data.Data.Data a) @ u (w1 :: forall d. Data.Data.Data d => d -> u) (w2 :: Language.Fixpoint.Types.Spans.Located a) -> case w2 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> GHC.Types.: @ u (w1 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1) (GHC.Types.: @ u (w1 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww2) (GHC.Types.: @ u (w1 @ a w ww3) (GHC.Types.[] @ u))) }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapQi :: Data.Data.Data a => forall u. GHC.Types.Int -> (forall d. Data.Data.Data d => d -> u) -> Language.Fixpoint.Types.Spans.Located a -> u {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ a (w :: Data.Data.Data a) @ u (w1 :: GHC.Types.Int) (w2 :: forall d. Data.Data.Data d => d -> u) (w3 :: Language.Fixpoint.Types.Spans.Located a) -> case w1 of ww { GHC.Types.I# ww1 -> case w3 of ww2 { Language.Fixpoint.Types.Spans.Loc ww3 ww4 ww5 -> case ww1 of wild { DEFAULT -> Data.Maybe.fromJust1 @ u 0# -> w2 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww3 1# -> w2 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww4 2# -> w2 @ a w ww5 } } }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapQl :: Data.Data.Data a => forall r r'. (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Language.Fixpoint.Types.Spans.Located a -> r {- Arity: 5, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (5, True, False) (\ @ a (w :: Data.Data.Data a) @ r @ r' (w1 :: r -> r' -> r) (w2 :: r) (w3 :: forall d. Data.Data.Data d => d -> r') (w4 :: Language.Fixpoint.Types.Spans.Located a) -> case w4 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> Language.Fixpoint.Types.Spans.$w$cgmapQl @ a w @ r @ r' w1 w2 w3 ww1 ww2 ww3 }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapQr :: Data.Data.Data a => forall r r'. (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Language.Fixpoint.Types.Spans.Located a -> r {- Arity: 5, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (5, True, False) (\ @ a (w :: Data.Data.Data a) @ r @ r' (w1 :: r' -> r -> r) (w2 :: r) (w3 :: forall d. Data.Data.Data d => d -> r') (w4 :: Language.Fixpoint.Types.Spans.Located a) -> case w4 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> Language.Fixpoint.Types.Spans.$w$cgmapQr @ a w @ r @ r' w1 w2 w3 ww1 ww2 ww3 }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgmapT :: Data.Data.Data a => (forall b. Data.Data.Data b => b -> b) -> Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a {- Arity: 3, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a (w :: Data.Data.Data a) (w1 :: forall b. Data.Data.Data b => b -> b) (w2 :: Language.Fixpoint.Types.Spans.Located a) -> case w2 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> case w1 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1 of dt { Text.Parsec.Pos.SourcePos ipv ipv1 ipv2 -> case w1 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww2 of dt1 { Text.Parsec.Pos.SourcePos ipv3 ipv4 ipv5 -> case w1 @ a w ww3 of dt2 { DEFAULT -> Language.Fixpoint.Types.Spans.Loc @ a dt dt1 dt2 } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cgunfold :: Data.Data.Data a => forall (c :: * -> *). (forall b r. Data.Data.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Data.Data.Constr -> c (Language.Fixpoint.Types.Spans.Located a) {- Arity: 4, Strictness: , Unfolding: InlineRule (4, True, False) (\ @ a ($dData :: Data.Data.Data a) @ (c :: * -> *) (k :: forall b r. Data.Data.Data b => c (b -> r) -> c r) (z :: forall r. r -> c r) (ds :: Data.Data.Constr) -> k @ a @ (Language.Fixpoint.Types.Spans.Located a) $dData (k @ Text.Parsec.Pos.SourcePos @ (a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (z @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$WLoc @ a))))) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$cp1Data :: Data.Data.Data a => Data.Typeable.Internal.Typeable (Language.Fixpoint.Types.Spans.Located a) {- Arity: 1, Strictness: , Unfolding: (\ @ a ($dData :: Data.Data.Data a) -> let { ds :: Data.Typeable.Internal.TypeRep = case Language.Fixpoint.Types.Spans.$fDataLocated2 of wild { Data.Typeable.Internal.TypeRep dt dt1 tc ks trs -> let { types :: [Data.Typeable.Internal.TypeRep] = GHC.Base.++ @ Data.Typeable.Internal.TypeRep trs (GHC.Types.: @ Data.Typeable.Internal.TypeRep ((Data.Data.$p1Data @ a $dData) `cast` (Data.Typeable.Internal.N:Typeable[0] <*>_N _N) (GHC.Prim.proxy# @ * @ a)) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep)) } in case Data.Typeable.Internal.typeRepFingerprints ks types of kt_fps { DEFAULT -> case GHC.Fingerprint.fingerprintFingerprints (GHC.Types.: @ GHC.Fingerprint.Type.Fingerprint (Data.Typeable.Internal.tyConFingerprint tc) kt_fps) of dt2 { GHC.Fingerprint.Type.Fingerprint dt3 dt4 -> Data.Typeable.Internal.TypeRep dt3 dt4 tc ks types } } } } in (\ (wild :: GHC.Prim.Proxy# (Language.Fixpoint.Types.Spans.Located a)) -> ds) `cast` (Sym (Data.Typeable.Internal.N:Typeable[0] <*>_N _N))) -} 3326b791adf9e0911edd64707c0fed2a $fDataLocated_$ctoConstr :: Data.Data.Data a => Language.Fixpoint.Types.Spans.Located a -> Data.Data.Constr {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dData :: Data.Data.Data a) (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 ds3 -> Language.Fixpoint.Types.Spans.$cEQNJ5yZQ7j0HQqD1jb9GSg }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan :: Data.Data.Data Language.Fixpoint.Types.Spans.SrcSpan DFunId {- Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cp1Data Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgfoldl Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgunfold Language.Fixpoint.Types.Spans.$fDataSrcSpan_$ctoConstr Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cdataTypeOf Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cdataCast1 Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cdataCast2 Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapT Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapQl Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapQr Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapQ Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapQi Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapM Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapMp Language.Fixpoint.Types.Spans.$fDataSrcSpan_$cgmapMo -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan1 :: (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool) {- HasNoCafRefs, Unfolding: ((Language.Fixpoint.Types.Spans.$WSS, GHC.Types.False)) -} ef1bf0612693b4a1d8cf66e0caca15cd $fDataSrcSpan2 :: Data.Data.DataRep {- Strictness: m1, Unfolding: (Data.Data.AlgRep Language.Fixpoint.Types.Spans.$fDataSrcSpan3) -} 367185032804a0b270e58b70a596ae20 $fDataSrcSpan3 :: [Data.Data.Constr] {- Strictness: m2, Unfolding: (GHC.Types.: @ Data.Data.Constr Language.Fixpoint.Types.Spans.$cBEMzUOgtw1j9Aw6XX5qeXe (GHC.Types.[] @ Data.Data.Constr)) -} 11e7817e966c68c01e4b5fa0b99ae92c $fDataSrcSpan4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "SrcSpan"#) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan5 :: GHC.Prim.Proxy# Language.Fixpoint.Types.Spans.SrcSpan -> Data.Typeable.Internal.TypeRep {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, True) (\ (wild :: GHC.Prim.Proxy# Language.Fixpoint.Types.Spans.SrcSpan) -> Language.Fixpoint.Types.Spans.$fDataSrcSpan6) -} 49e9e1b4a3d2608d33769c609f7a5b17 $fDataSrcSpan6 :: Data.Typeable.Internal.TypeRep {- Unfolding: (case Data.Typeable.Internal.typeRepFingerprints (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) of kt_fps { DEFAULT -> case GHC.Fingerprint.fingerprintFingerprints (GHC.Types.: @ GHC.Fingerprint.Type.Fingerprint Language.Fixpoint.Types.Spans.$fDataSrcSpan7 kt_fps) of dt { GHC.Fingerprint.Type.Fingerprint dt1 dt2 -> Data.Typeable.Internal.TypeRep dt1 dt2 Language.Fixpoint.Types.Spans.$tcSrcSpan (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) } }) -} 387244ee529a89f549831ab38a00bde3 $fDataSrcSpan7 :: GHC.Fingerprint.Type.Fingerprint {- HasNoCafRefs, Unfolding: (GHC.Fingerprint.Type.Fingerprint 16495729787624148680## 10819508590848038093##) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cdataCast1 :: Data.Typeable.Internal.Typeable t => (forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Maybe (c Language.Fixpoint.Types.Spans.SrcSpan) {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, True) (\ @ (t :: * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Nothing @ (c Language.Fixpoint.Types.Spans.SrcSpan)) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cdataCast2 :: Data.Typeable.Internal.Typeable t => (forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Maybe (c Language.Fixpoint.Types.Spans.SrcSpan) {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, True) (\ @ (t :: * -> * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Nothing @ (c Language.Fixpoint.Types.Spans.SrcSpan)) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cdataTypeOf :: Language.Fixpoint.Types.Spans.SrcSpan -> Data.Data.DataType {- Arity: 1, Strictness: m, Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.Spans.SrcSpan) -> Language.Fixpoint.Types.Spans.$t42RKcBSP3Cr8SwBmLTMGby) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgfoldl :: (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Language.Fixpoint.Types.Spans.SrcSpan -> c Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (c :: * -> *) (w :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w1 :: forall g. g -> c g) (w2 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w2 of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> w @ Text.Parsec.Pos.SourcePos @ Language.Fixpoint.Types.Spans.SrcSpan Text.Parsec.Pos.$fDataSourcePos (w @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Text.Parsec.Pos.$fDataSourcePos (w1 @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Language.Fixpoint.Types.Spans.$WSS) ww1) ww2 }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapM :: GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Spans.SrcSpan -> m Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (m :: * -> *) (w :: GHC.Base.Monad m) (w1 :: forall d. Data.Data.Data d => d -> m d) (w2 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w2 of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> Language.Fixpoint.Types.Spans.$w$cgmapM1 @ m w w1 ww1 ww2 }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapMo :: GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Spans.SrcSpan -> m Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 3, Strictness: , Unfolding: (\ @ (m :: * -> *) ($dMonadPlus :: GHC.Base.MonadPlus m) (ds :: forall d. Data.Data.Data d => d -> m d) (eta1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> let { $dMonad :: GHC.Base.Monad m = GHC.Base.$p2MonadPlus @ m $dMonadPlus } in let { lvl20 :: m Language.Fixpoint.Types.Spans.SrcSpan = GHC.Base.mzero @ m $dMonadPlus @ Language.Fixpoint.Types.Spans.SrcSpan } in GHC.Base.>>= @ m $dMonad @ (Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool) @ Language.Fixpoint.Types.Spans.SrcSpan (case eta1 of wild { Language.Fixpoint.Types.Spans.SS a1 a2 -> let { k :: forall d b. Data.Data.Data d => Data.Data.Mp m (d -> b) -> d -> m (b, GHC.Types.Bool) {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (ds1 :: Data.Data.Mp m (d -> b))[OneShot] (y :: d)[OneShot] -> let { lvl21 :: m d = ds @ d $dData1 y } in GHC.Base.>>= @ m $dMonad @ (d -> b, GHC.Types.Bool) @ (b, GHC.Types.Bool) ds1 `cast` (Data.Data.N:Mp[0] _R b>_N) (\ (ds2 :: (d -> b, GHC.Types.Bool)) -> case ds2 of wild1 { (,) h b1 -> case b1 of wild2 { GHC.Types.False -> GHC.Base.mplus @ m $dMonadPlus @ (b, GHC.Types.Bool) (GHC.Base.>>= @ m $dMonad @ d @ (b, GHC.Types.Bool) lvl21 (\ (y' :: d) -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y', GHC.Types.True))) (GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, GHC.Types.False)) GHC.Types.True -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, GHC.Types.True) } }) } in k @ Text.Parsec.Pos.SourcePos @ Language.Fixpoint.Types.Spans.SrcSpan Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Text.Parsec.Pos.$fDataSourcePos (GHC.Base.return @ m $dMonad @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool) Language.Fixpoint.Types.Spans.$fDataSrcSpan1) `cast` (Sym (Data.Data.N:Mp[0] _R Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan>_N)) a1) `cast` (Sym (Data.Data.N:Mp[0] _R Language.Fixpoint.Types.Spans.SrcSpan>_N)) a2 }) (\ (ds1 :: (Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool)) -> case ds1 of wild { (,) x' b -> case b of wild1 { GHC.Types.False -> lvl20 GHC.Types.True -> GHC.Base.return @ m $dMonad @ Language.Fixpoint.Types.Spans.SrcSpan x' } })) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapMp :: GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Spans.SrcSpan -> m Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 3, Strictness: , Unfolding: (\ @ (m :: * -> *) ($dMonadPlus :: GHC.Base.MonadPlus m) (ds :: forall d. Data.Data.Data d => d -> m d) (eta1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> let { $dMonad :: GHC.Base.Monad m = GHC.Base.$p2MonadPlus @ m $dMonadPlus } in let { lvl20 :: m Language.Fixpoint.Types.Spans.SrcSpan = GHC.Base.mzero @ m $dMonadPlus @ Language.Fixpoint.Types.Spans.SrcSpan } in GHC.Base.>>= @ m $dMonad @ (Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool) @ Language.Fixpoint.Types.Spans.SrcSpan (case eta1 of wild { Language.Fixpoint.Types.Spans.SS a1 a2 -> let { k :: forall d b. Data.Data.Data d => Data.Data.Mp m (d -> b) -> d -> m (b, GHC.Types.Bool) {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (ds1 :: Data.Data.Mp m (d -> b))[OneShot] (y :: d)[OneShot] -> let { lvl21 :: m d = ds @ d $dData1 y } in GHC.Base.>>= @ m $dMonad @ (d -> b, GHC.Types.Bool) @ (b, GHC.Types.Bool) ds1 `cast` (Data.Data.N:Mp[0] _R b>_N) (\ (ds2 :: (d -> b, GHC.Types.Bool)) -> case ds2 of wild1 { (,) h b1 -> GHC.Base.mplus @ m $dMonadPlus @ (b, GHC.Types.Bool) (GHC.Base.>>= @ m $dMonad @ d @ (b, GHC.Types.Bool) lvl21 (\ (y' :: d) -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y', GHC.Types.True))) (GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, b1)) }) } in k @ Text.Parsec.Pos.SourcePos @ Language.Fixpoint.Types.Spans.SrcSpan Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Text.Parsec.Pos.$fDataSourcePos (GHC.Base.return @ m $dMonad @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool) Language.Fixpoint.Types.Spans.$fDataSrcSpan1) `cast` (Sym (Data.Data.N:Mp[0] _R Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan>_N)) a1) `cast` (Sym (Data.Data.N:Mp[0] _R Language.Fixpoint.Types.Spans.SrcSpan>_N)) a2 }) (\ (ds1 :: (Language.Fixpoint.Types.Spans.SrcSpan, GHC.Types.Bool)) -> case ds1 of wild { (,) x' b -> case b of wild1 { GHC.Types.False -> lvl20 GHC.Types.True -> GHC.Base.return @ m $dMonad @ Language.Fixpoint.Types.Spans.SrcSpan x' } })) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapQ :: (forall d. Data.Data.Data d => d -> u) -> Language.Fixpoint.Types.Spans.SrcSpan -> [u] {- Arity: 2, Strictness: m2, Unfolding: InlineRule (2, True, False) (\ @ u (ds :: forall d. Data.Data.Data d => d -> u) (x0 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case x0 of wild { Language.Fixpoint.Types.Spans.SS a1 a2 -> GHC.Types.: @ u (ds @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos a1) (GHC.Types.: @ u (ds @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos a2) (GHC.Types.[] @ u)) }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapQi :: GHC.Types.Int -> (forall d. Data.Data.Data d => d -> u) -> Language.Fixpoint.Types.Spans.SrcSpan -> u {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ u (w :: GHC.Types.Int) (w1 :: forall d. Data.Data.Data d => d -> u) (w2 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { GHC.Types.I# ww1 -> case w2 of ww2 { Language.Fixpoint.Types.Spans.SS ww3 ww4 -> case ww1 of wild { DEFAULT -> Data.Maybe.fromJust1 @ u 0# -> w1 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww3 1# -> w1 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww4 } } }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapQl :: (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Language.Fixpoint.Types.Spans.SrcSpan -> r {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ r @ r' (w :: r -> r' -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (w3 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w3 of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> w (w w1 (w2 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1)) (w2 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww2) }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapQr :: (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Language.Fixpoint.Types.Spans.SrcSpan -> r {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ r @ r' (w :: r' -> r -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (w3 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w3 of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> w (w2 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1) (w (w2 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww2) w1) }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgmapT :: (forall b. Data.Data.Data b => b -> b) -> Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 2, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: forall b. Data.Data.Data b => b -> b) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w1 of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case w @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1 of dt { Text.Parsec.Pos.SourcePos ipv ipv1 ipv2 -> case w @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww2 of dt1 { Text.Parsec.Pos.SourcePos ipv3 ipv4 ipv5 -> Language.Fixpoint.Types.Spans.SS dt dt1 } } }) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cgunfold :: (forall b r. Data.Data.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Data.Data.Constr -> c Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ (c :: * -> *) (k :: forall b r. Data.Data.Data b => c (b -> r) -> c r) (z :: forall r. r -> c r) (ds :: Data.Data.Constr) -> k @ Text.Parsec.Pos.SourcePos @ Language.Fixpoint.Types.Spans.SrcSpan Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Text.Parsec.Pos.$fDataSourcePos (z @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Language.Fixpoint.Types.Spans.$WSS))) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$cp1Data :: Data.Typeable.Internal.Typeable Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fDataSrcSpan5 `cast` (Sym (Data.Typeable.Internal.N:Typeable[0] <*>_N _N)) -} 78175b19733acaa6a468bb3dc2117709 $fDataSrcSpan_$ctoConstr :: Language.Fixpoint.Types.Spans.SrcSpan -> Data.Data.Constr {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Spans.SrcSpan) -> case ds of wild { Language.Fixpoint.Types.Spans.SS ds1 ds2 -> Language.Fixpoint.Types.Spans.$cBEMzUOgtw1j9Aw6XX5qeXe }) -} 3326b791adf9e0911edd64707c0fed2a $fEqLocated :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dEq :: GHC.Classes.Eq a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fEqLocated_$c== @ a $dEq) (Language.Fixpoint.Types.Spans.$fEqLocated_$c/= @ a $dEq) -} 3326b791adf9e0911edd64707c0fed2a $fEqLocated_$c/= :: GHC.Classes.Eq a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 3, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=2), Unfolding: InlineRule (3, False, False) (\ @ a ($dEq :: GHC.Classes.Eq a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> GHC.Classes.not (Language.Fixpoint.Types.Spans.$fEqLocated_$c== @ a $dEq x y)) -} 3326b791adf9e0911edd64707c0fed2a $fEqLocated_$c== :: GHC.Classes.Eq a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dEq :: GHC.Classes.Eq a) (ds :: Language.Fixpoint.Types.Spans.Located a) (ds1 :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds2 ds3 x -> case ds1 of wild1 { Language.Fixpoint.Types.Spans.Loc ds4 ds5 y -> GHC.Classes.== @ a $dEq x y } }) -} 78175b19733acaa6a468bb3dc2117709 $fEqSrcSpan :: GHC.Classes.Eq Language.Fixpoint.Types.Spans.SrcSpan DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fEqSrcSpan_$c== Language.Fixpoint.Types.Spans.$fEqSrcSpan_$c/= -} 78175b19733acaa6a468bb3dc2117709 $fEqSrcSpan_$c/= :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$c/= ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fEqSrcSpan_$c== :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$c== ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fFixpointLocated :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fFixpointLocated_$ctoFix @ a $dFixpoint) (Language.Fixpoint.Types.Spans.$fFixpointLocated_$csimplify @ a $dFixpoint) -} 3326b791adf9e0911edd64707c0fed2a $fFixpointLocated_$csimplify :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, True) (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: Language.Fixpoint.Types.Spans.Located a) -> eta) -} 3326b791adf9e0911edd64707c0fed2a $fFixpointLocated_$ctoFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Spans.Located a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a) (eta :: Language.Fixpoint.Types.Spans.Located a) -> Language.Fixpoint.Types.PrettyPrint.toFix @ a $dFixpoint (case eta of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 })) -} e8137ca5b4de88c9c6ed8a54c6a9ae8e $fFixpointSourcePos :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Text.Parsec.Pos.SourcePos DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Text.Parsec.Pos.SourcePos Language.Fixpoint.Types.Spans.$fFixpointSourcePos_$ctoFix Language.Fixpoint.Types.Spans.$fFixpointSourcePos_$csimplify -} cdf0fd05906395407d014a6f5501d77e $fFixpointSourcePos_$csimplify :: Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, True) (\ (eta :: Text.Parsec.Pos.SourcePos) -> eta) -} 07e948972ff33ae2f5fdbe11e960e0bb $fFixpointSourcePos_$ctoFix :: Text.Parsec.Pos.SourcePos -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Text.Parsec.Pos.SourcePos) -> case w of ww { Text.Parsec.Pos.SourcePos ww1 ww2 ww3 -> let { s :: GHC.Base.String = Text.Parsec.Pos.$w$cshow 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])) } }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated :: Data.Foldable.Foldable Language.Fixpoint.Types.Spans.Located DFunId {- HasNoCafRefs, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfold Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldMap Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldr' Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldr' Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldl Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldl Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldl1 Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldl1 Language.Fixpoint.Types.Spans.$fFoldableLocated_$ctoList Language.Fixpoint.Types.Spans.$fFoldableLocated_$cnull Language.Fixpoint.Types.Spans.$fFoldableLocated_$clength Language.Fixpoint.Types.Spans.$fFoldableLocated_$celem Language.Fixpoint.Types.Spans.$fFoldableLocated_$cminimum Language.Fixpoint.Types.Spans.$fFoldableLocated_$cminimum Language.Fixpoint.Types.Spans.$fFoldableLocated_$cproduct Language.Fixpoint.Types.Spans.$fFoldableLocated_$cproduct -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$celem :: GHC.Classes.Eq a => a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dEq :: GHC.Classes.Eq a) (eta :: a) -> let { f :: a -> GHC.Types.Bool = GHC.Classes.== @ a $dEq eta } in (\ (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 x -> (f x) `cast` (Sym (Data.Monoid.N:Any[0])) }) `cast` (_R ->_R Data.Monoid.N:Any[0])) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cfold :: GHC.Base.Monoid m => Language.Fixpoint.Types.Spans.Located m -> m {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ m ($dMonoid :: GHC.Base.Monoid m) (ds :: Language.Fixpoint.Types.Spans.Located m) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 x -> x }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cfoldMap :: GHC.Base.Monoid m => (a -> m) -> Language.Fixpoint.Types.Spans.Located a -> m {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ m @ a ($dMonoid :: GHC.Base.Monoid m) (f :: a -> m) (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 x -> f x }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cfoldl :: (b -> a -> b) -> b -> Language.Fixpoint.Types.Spans.Located a -> b {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ b @ a (f :: b -> a -> b) (z :: b) (t1 :: Language.Fixpoint.Types.Spans.Located a) -> case t1 of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> f z x }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cfoldl1 :: (a -> a -> a) -> Language.Fixpoint.Types.Spans.Located a -> a {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a (f :: a -> a -> a) (xs :: Language.Fixpoint.Types.Spans.Located a) -> case xs of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> x }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cfoldr' :: (a -> b -> b) -> b -> Language.Fixpoint.Types.Spans.Located a -> b {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a @ b (f :: a -> b -> b) (z0 :: b) (xs :: Language.Fixpoint.Types.Spans.Located a) -> case xs of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> f x z0 }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$clength :: Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a (xs :: Language.Fixpoint.Types.Spans.Located a) -> case xs of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> GHC.Types.I# 1# }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cminimum :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> a {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (eta :: Language.Fixpoint.Types.Spans.Located a) -> case eta of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> x }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cnull :: Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a (t1 :: Language.Fixpoint.Types.Spans.Located a) -> case t1 of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> GHC.Types.False }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$cproduct :: GHC.Num.Num a => Language.Fixpoint.Types.Spans.Located a -> a {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dNum :: GHC.Num.Num a) (eta :: Language.Fixpoint.Types.Spans.Located a) -> case eta of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 x -> x }) -} 3326b791adf9e0911edd64707c0fed2a $fFoldableLocated_$ctoList :: Language.Fixpoint.Types.Spans.Located a -> [a] {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=1), Unfolding: InlineRule (1, False, False) (\ @ a (t1 :: Language.Fixpoint.Types.Spans.Located a) -> GHC.Base.build @ a (\ @ b (c :: a -> b -> b)[OneShot] (n :: b)[OneShot] -> Language.Fixpoint.Types.Spans.$fFoldableLocated_$cfoldr' @ a @ b c n t1)) -} 3326b791adf9e0911edd64707c0fed2a $fFunctorLocated :: GHC.Base.Functor Language.Fixpoint.Types.Spans.Located DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Spans.$fFunctorLocated_$cfmap Language.Fixpoint.Types.Spans.$fFunctorLocated_$c<$ -} 3326b791adf9e0911edd64707c0fed2a $fFunctorLocated_$c<$ :: a -> Language.Fixpoint.Types.Spans.Located b -> Language.Fixpoint.Types.Spans.Located a {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ a @ b (eta :: a) (ds :: Language.Fixpoint.Types.Spans.Located b) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc l l' x -> case eta of dt { DEFAULT -> Language.Fixpoint.Types.Spans.Loc @ a l l' dt } }) -} 3326b791adf9e0911edd64707c0fed2a $fFunctorLocated_$cfmap :: (a -> b) -> Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located b {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ a @ b (f :: a -> b) (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc l l' x -> case f x of dt { DEFAULT -> Language.Fixpoint.Types.Spans.Loc @ b l l' dt } }) -} 3326b791adf9e0911edd64707c0fed2a $fGenericLocated :: GHC.Generics.Generic (Language.Fixpoint.Types.Spans.Located a) DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a. @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fGenericLocated_$cfrom @ a) (Language.Fixpoint.Types.Spans.$fGenericLocated_$cto @ a) -} 3326b791adf9e0911edd64707c0fed2a $fGenericLocated1 :: Language.Fixpoint.Types.Spans.Located a -> GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Loc" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "loc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R a))) x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a @ x (x1 :: Language.Fixpoint.Types.Spans.Located a) -> case x1 of wild { Language.Fixpoint.Types.Spans.Loc g1 g2 g3 -> (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "loc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R a)) @ x g1 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "loc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N)) (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R a)) @ x g2 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N)) g3 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N)))) `cast` (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Loc" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R) _N) }) -} 3326b791adf9e0911edd64707c0fed2a $fGenericLocated_$cfrom :: Language.Fixpoint.Types.Spans.Located a -> GHC.Generics.Rep (Language.Fixpoint.Types.Spans.Located a) x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fGenericLocated1 `cast` (forall (a :: <*>_N) (x :: _N). _R ->_R Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Located" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R)) (Sub (Sym (Language.Fixpoint.Types.Spans.Rep_Located[0] _N))) _N) -} 3326b791adf9e0911edd64707c0fed2a $fGenericLocated_$cto :: GHC.Generics.Rep (Language.Fixpoint.Types.Spans.Located a) x -> Language.Fixpoint.Types.Spans.Located a {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a @ x (ds :: GHC.Generics.Rep (Language.Fixpoint.Types.Spans.Located a) x) -> case ds `cast` (Trans (Sub (Language.Fixpoint.Types.Spans.Rep_Located[0] _N)) (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Located" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Loc" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R)) _N) of wild { GHC.Generics.:*: ds1 ds2 -> case ds2 of wild1 { GHC.Generics.:*: ds3 ds4 -> Language.Fixpoint.Types.Spans.$WLoc @ a ds1 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "loc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) ds3 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) ds4 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) } }) -} 78175b19733acaa6a468bb3dc2117709 $fGenericSrcSpan :: GHC.Generics.Generic Language.Fixpoint.Types.Spans.SrcSpan DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fGenericSrcSpan_$cfrom Language.Fixpoint.Types.Spans.$fGenericSrcSpan_$cto -} 78175b19733acaa6a468bb3dc2117709 $fGenericSrcSpan1 :: Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos)) x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ x (x1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case x1 of wild { Language.Fixpoint.Types.Spans.SS g1 g2 -> (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Text.Parsec.Pos.SourcePos)) @ x g1 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N)) g2 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N))) `cast` (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R) _N) }) -} 78175b19733acaa6a468bb3dc2117709 $fGenericSrcSpan_$cfrom :: Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Generics.Rep Language.Fixpoint.Types.Spans.SrcSpan x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fGenericSrcSpan1 `cast` (forall (x :: _N). _R ->_R Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R)) (Sub (Sym (Language.Fixpoint.Types.Spans.Rep_SrcSpan[0]))) _N) -} 78175b19733acaa6a468bb3dc2117709 $fGenericSrcSpan_$cto :: GHC.Generics.Rep Language.Fixpoint.Types.Spans.SrcSpan x -> Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ x (ds :: GHC.Generics.Rep Language.Fixpoint.Types.Spans.SrcSpan x) -> case ds `cast` (Trans (Sub (Language.Fixpoint.Types.Spans.Rep_SrcSpan[0])) (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R)) _N) of wild { GHC.Generics.:*: ds1 ds2 -> Language.Fixpoint.Types.Spans.$WSS ds1 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) ds2 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) }) -} 3326b791adf9e0911edd64707c0fed2a $fHashableLocated :: Data.Hashable.Class.Hashable a => Data.Hashable.Class.Hashable (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dHashable :: Data.Hashable.Class.Hashable a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fHashableLocated_$chashWithSalt @ a $dHashable) (Language.Fixpoint.Types.Spans.$fHashableLocated_$chash @ a $dHashable) -} 3326b791adf9e0911edd64707c0fed2a $fHashableLocated_$chash :: Data.Hashable.Class.Hashable a => Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a ($dHashable :: Data.Hashable.Class.Hashable a) -> Language.Fixpoint.Types.Spans.$fHashableLocated_$chashWithSalt @ a $dHashable Data.Hashable.Class.defaultSalt) -} 3326b791adf9e0911edd64707c0fed2a $fHashableLocated_$chashWithSalt :: Data.Hashable.Class.Hashable a => GHC.Types.Int -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Int {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dHashable :: Data.Hashable.Class.Hashable a) (i :: GHC.Types.Int) -> let { f :: a -> GHC.Types.Int = Data.Hashable.Class.hashWithSalt @ a $dHashable i } in \ (x :: Language.Fixpoint.Types.Spans.Located a) -> f (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 })) -} e36e02d9b1b5023897623c796e639da9 $fHashableSourcePos :: Data.Hashable.Class.Hashable Text.Parsec.Pos.SourcePos DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Text.Parsec.Pos.SourcePos Language.Fixpoint.Types.Spans.$fHashableSourcePos_$chashWithSalt Language.Fixpoint.Types.Spans.$fHashableSourcePos_$chash -} 87fa6913049529f45556a53f5f08250b $fHashableSourcePos_$chash :: Text.Parsec.Pos.SourcePos -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Unfolding: (Language.Fixpoint.Types.Spans.$fHashableSourcePos_$chashWithSalt Data.Hashable.Class.defaultSalt) -} 726579ca8b1d0ddaf9b41ceea7a48cee $fHashableSourcePos_$chashWithSalt :: GHC.Types.Int -> Text.Parsec.Pos.SourcePos -> GHC.Types.Int {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Text.Parsec.Pos.SourcePos) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Text.Parsec.Pos.SourcePos ww3 ww4 ww5 -> case Language.Fixpoint.Types.Spans.$wgo4 ww3 ww1 0# of ww6 { (#,#) ww7 ww8 -> GHC.Types.I# (GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# ww7 16777619#) ww8) 16777619#) ww4) 16777619#) ww5) } } }) -} 78175b19733acaa6a468bb3dc2117709 $fHashableSrcSpan :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Spans.SrcSpan DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fHashableSrcSpan_$chashWithSalt Language.Fixpoint.Types.Spans.$fHashableSrcSpan_$chash -} 78175b19733acaa6a468bb3dc2117709 $fHashableSrcSpan_$chash :: Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Unfolding: (Language.Fixpoint.Types.Spans.$fHashableSrcSpan_$chashWithSalt Data.Hashable.Class.defaultSalt) -} 78175b19733acaa6a468bb3dc2117709 $fHashableSrcSpan_$chashWithSalt :: GHC.Types.Int -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Int {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Types.Spans.SS ww3 ww4 -> case ww3 of ww5 { Text.Parsec.Pos.SourcePos ww6 ww7 ww8 -> case ww4 of ww9 { Text.Parsec.Pos.SourcePos ww10 ww11 ww12 -> case Language.Fixpoint.Types.Spans.$wgo4 ww6 ww1 0# of ww13 { (#,#) ww14 ww15 -> case Language.Fixpoint.Types.Spans.$wgo1 ww10 (GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# ww14 16777619#) ww15) 16777619#) ww7) 16777619#) ww8) 0# of ww16 { (#,#) ww17 ww18 -> GHC.Types.I# (GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# (GHC.Prim.xorI# (GHC.Prim.*# ww17 16777619#) ww18) 16777619#) ww11) 16777619#) ww12) } } } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fIsStringLocated :: Data.String.IsString a => Data.String.IsString (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 2, Strictness: m, Inline: INLINE (sat-args=0), Unfolding: InlineRule (1, False, True) Language.Fixpoint.Types.Spans.$fIsStringLocated_$cfromString `cast` (forall (a :: <*>_N). _R ->_R Sym (Data.String.N:IsString[0]) _N) -} 32aba2c15d0e901dbbe0eab5e05e2105 $fIsStringLocated1 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Fixpoint.Types.dummyLoc"#) -} 3326b791adf9e0911edd64707c0fed2a $fIsStringLocated_$cfromString :: Data.String.IsString a => GHC.Base.String -> Language.Fixpoint.Types.Spans.Located a {- Arity: 2, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ a ($dIsString :: Data.String.IsString a) (eta :: GHC.Base.String) -> case $dIsString `cast` (Data.String.N:IsString[0] _N) eta of dt { DEFAULT -> Language.Fixpoint.Types.Spans.Loc @ a Language.Fixpoint.Types.Spans.$fIsStringLocated_l Language.Fixpoint.Types.Spans.$fIsStringLocated_l dt }) -} e7db40f4d21cb666fba07366f186cef8 $fIsStringLocated_l :: Text.Parsec.Pos.SourcePos {- Strictness: m, Unfolding: (Text.Parsec.Pos.SourcePos Language.Fixpoint.Types.Spans.$fIsStringLocated1 0# 0#) -} 5c898e316073c02ed4de00d3c857e47e $fLocLocated :: Language.Fixpoint.Types.Spans.Loc (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Types.Spans.$fLocLocated_$csrcSpan `cast` (forall (a :: <*>_N). Sym (Language.Fixpoint.Types.Spans.N:Loc[0] _N)) -} da3be6579088a921bb15d90458b7ddbf $fLocLocated_$csrcSpan :: Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc l l' ds1 -> Language.Fixpoint.Types.Spans.SS l l' }) -} 3326b791adf9e0911edd64707c0fed2a $fNFDataLocated :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (1, False, True) Language.Fixpoint.Types.Spans.$fNFDataLocated_$crnf `cast` (forall (a :: <*>_N). _R ->_R Sym (Control.DeepSeq.N:NFData[0] _N)) -} 3326b791adf9e0911edd64707c0fed2a $fNFDataLocated_$crnf :: Control.DeepSeq.NFData a => Language.Fixpoint.Types.Spans.Located a -> () {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a (w :: Control.DeepSeq.NFData a) (w1 :: Language.Fixpoint.Types.Spans.Located a) -> case w1 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> case ww1 of ww4 { Text.Parsec.Pos.SourcePos ww5 ww6 ww7 -> case ww2 of ww8 { Text.Parsec.Pos.SourcePos ww9 ww10 ww11 -> case Control.DeepSeq.$fNFDataArray_$crnf1 @ GHC.Types.Char Control.DeepSeq.$fNFDataChar_$crnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) ww5 of wild1 { () -> case Control.DeepSeq.$fNFDataArray_$crnf1 @ GHC.Types.Char Control.DeepSeq.$fNFDataChar_$crnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) ww9 of wild2 { () -> w `cast` (Control.DeepSeq.N:NFData[0] _N) ww3 } } } } }) -} ee6fa252a3a3066f4c890ef78bfbf9c1 $fNFDataSourcePos :: Control.DeepSeq.NFData Text.Parsec.Pos.SourcePos DFunId {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Types.Spans.$fNFDataSourcePos_$crnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) -} 0d04f647a91333ff19f39a0091a3f841 $fNFDataSourcePos_$crnf :: Text.Parsec.Pos.SourcePos -> () {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Text.Parsec.Pos.SourcePos) -> case Control.DeepSeq.$fNFDataArray_$crnf1 @ GHC.Types.Char Control.DeepSeq.$fNFDataChar_$crnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) (Text.Parsec.Pos.sourceName x) of wild1 { () -> case x of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Tuple.() } }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated :: GHC.Classes.Ord a => GHC.Classes.Ord (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dOrd :: GHC.Classes.Ord a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fOrdLocated_$cp1Ord @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$ccompare @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$c< @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$c<= @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$c> @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$c>= @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$cmax @ a $dOrd) (Language.Fixpoint.Types.Spans.$fOrdLocated_$cmin @ a $dOrd) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$c< :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> case GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) of wild { DEFAULT -> GHC.Types.False GHC.Types.LT -> GHC.Types.True }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$c<= :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> case GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) of wild { DEFAULT -> GHC.Types.True GHC.Types.GT -> GHC.Types.False }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$c> :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> case GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) of wild { DEFAULT -> GHC.Types.False GHC.Types.GT -> GHC.Types.True }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$c>= :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Bool {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> case GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) of wild { DEFAULT -> GHC.Types.True GHC.Types.LT -> GHC.Types.False }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$ccompare :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> GHC.Types.Ordering {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 })) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$cmax :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> case GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) of wild { DEFAULT -> y GHC.Types.GT -> x }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$cmin :: GHC.Classes.Ord a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Spans.Located a {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) (x :: Language.Fixpoint.Types.Spans.Located a) (y :: Language.Fixpoint.Types.Spans.Located a) -> case GHC.Classes.compare @ a $dOrd (case x of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) (case y of wild { Language.Fixpoint.Types.Spans.Loc ds ds1 ds2 -> ds2 }) of wild { DEFAULT -> x GHC.Types.GT -> y }) -} 3326b791adf9e0911edd64707c0fed2a $fOrdLocated_$cp1Ord :: GHC.Classes.Ord a => GHC.Classes.Eq (Language.Fixpoint.Types.Spans.Located a) {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a ($dOrd :: GHC.Classes.Ord a) -> Language.Fixpoint.Types.Spans.$fEqLocated @ a (GHC.Classes.$p1Ord @ a $dOrd)) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan :: GHC.Classes.Ord Language.Fixpoint.Types.Spans.SrcSpan DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fEqSrcSpan Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$ccompare Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$c< Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$c<= Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$c> Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$c>= Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$cmax Language.Fixpoint.Types.Spans.$fOrdSrcSpan_$cmin -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$c< :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$c< ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$c<= :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$c<= ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$c> :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$c> ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$c>= :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$c>= ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$ccompare :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Types.Ordering {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> Language.Fixpoint.Types.Spans.$w$ccompare ww4 ww5 ww6 ww8 ww9 ww10 ww15 ww16 ww17 ww19 ww20 ww21 } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$cmax :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww4 ww15 of wild { GHC.Types.LT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww5 ww16) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww5 ww16) of wild2 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww6 ww17) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww6 ww17) of wild5 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) GHC.Types.True -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww8 ww19 of wild6 { GHC.Types.LT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww9 ww20) of wild7 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww9 ww20) of wild8 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# ww10 ww21) of wild9 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) } } GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) } GHC.Types.GT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) } } GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) } } GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) } GHC.Types.GT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) } } } } } } }) -} 78175b19733acaa6a468bb3dc2117709 $fOrdSrcSpan_$cmin :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> case w1 of ww11 { Language.Fixpoint.Types.Spans.SS ww12 ww13 -> case ww12 of ww14 { Text.Parsec.Pos.SourcePos ww15 ww16 ww17 -> case ww13 of ww18 { Text.Parsec.Pos.SourcePos ww19 ww20 ww21 -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww4 ww15 of wild { GHC.Types.LT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww5 ww16) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww5 ww16) of wild2 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww6 ww17) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww6 ww17) of wild5 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) GHC.Types.True -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww8 ww19 of wild6 { GHC.Types.LT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww9 ww20) of wild7 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww9 ww20) of wild8 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# ww10 ww21) of wild9 { GHC.Types.False -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) } } GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) } GHC.Types.GT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) } } GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) } } GHC.Types.True -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww4 ww5 ww6) (Text.Parsec.Pos.SourcePos ww8 ww9 ww10) } GHC.Types.GT -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos ww15 ww16 ww17) (Text.Parsec.Pos.SourcePos ww19 ww20 ww21) } } } } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fPPrintLocated :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fPPrintLocated_$cpprintTidy @ a $dPPrint) (Language.Fixpoint.Types.Spans.$fPPrintLocated_$cpprintPrec @ a $dPPrint) -} 3326b791adf9e0911edd64707c0fed2a $fPPrintLocated_$cpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Spans.Located a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 4, HasNoCafRefs, Strictness: , Unfolding: InlineRule (4, True, True) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: Language.Fixpoint.Types.Spans.Located a) -> Language.Fixpoint.Types.Spans.$fPPrintLocated_$cpprintTidy @ a $dPPrint eta eta1) -} 3326b791adf9e0911edd64707c0fed2a $fPPrintLocated_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Spans.Located a -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ a ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint a) (k :: Language.Fixpoint.Types.PrettyPrint.Tidy) (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 x -> Language.Fixpoint.Types.PrettyPrint.pprintTidy @ a $dPPrint k x }) -} 18171d65ae271d1eed7b0df0aeb94956 $fPPrintSourcePos :: Language.Fixpoint.Types.PrettyPrint.PPrint Text.Parsec.Pos.SourcePos DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Text.Parsec.Pos.SourcePos Language.Fixpoint.Types.Spans.$fPPrintSourcePos_$cpprintTidy Language.Fixpoint.Types.Spans.$fPPrintSourcePos_$cpprintPrec -} cf5e6ba6d970fbede76610a63f472bd5 $fPPrintSourcePos1 :: Text.Parsec.Pos.SourcePos -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Text.Parsec.Pos.SourcePos) -> case w of ww { Text.Parsec.Pos.SourcePos ww1 ww2 ww3 -> let { s :: GHC.Base.String = Text.Parsec.Pos.$w$cshow 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])) } }) -} 00b3025865f39f1808b4b76b1b7b5292 $fPPrintSourcePos_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Text.Parsec.Pos.SourcePos -> 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.Spans.$fPPrintSourcePos_$cpprintTidy eta) -} 487dab3fadaeae18d136508d6524368a $fPPrintSourcePos_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Text.Parsec.Pos.SourcePos -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Text.Parsec.Pos.SourcePos) -> Language.Fixpoint.Types.Spans.$fPPrintSourcePos1 eta) -} 78175b19733acaa6a468bb3dc2117709 $fPPrintSrcSpan :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Spans.SrcSpan DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fPPrintSrcSpan_$cpprintTidy Language.Fixpoint.Types.Spans.$fPPrintSrcSpan_$cpprintPrec -} ad0a58b4c0a9a324edd269300fec5763 $fPPrintSrcSpan1 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "%s:%d:%d-%d:%d"#) -} 95a781dcc6966d6115e4092a538ebfc9 $fPPrintSrcSpan2 :: GHC.Base.String -> [Text.Printf.UPrintf] -> GHC.Types.Int -> GHC.Types.Int -> [GHC.Types.Char] {- Arity: 4, Strictness: , Unfolding: (\ (fmts :: GHC.Base.String) (args :: [Text.Printf.UPrintf]) (a1 :: GHC.Types.Int) (eta :: GHC.Types.Int) -> GHC.Base.map @ GHC.Types.Char @ GHC.Types.Char Text.Printf.$fIsCharChar_$cfromChar (Text.Printf.uprintfs fmts (GHC.List.reverse1 @ Text.Printf.UPrintf (GHC.Types.: @ (Text.Printf.ModifierParser, Text.Printf.FieldFormatter) (Text.Printf.$wparseIntFormat @ GHC.Types.Int, Text.Printf.$fPrintfArgInt_$sformatInt eta) (GHC.Types.: @ (Text.Printf.ModifierParser, Text.Printf.FieldFormatter) (Text.Printf.$wparseIntFormat @ GHC.Types.Int, Text.Printf.$fPrintfArgInt_$sformatInt a1) args)) (GHC.Types.[] @ Text.Printf.UPrintf)) (GHC.Types.[] @ GHC.Types.Char))) -} 78175b19733acaa6a468bb3dc2117709 $fPPrintSrcSpan_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Spans.SrcSpan -> 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.Spans.$fPPrintSrcSpan_$cpprintTidy eta) -} 78175b19733acaa6a468bb3dc2117709 $fPPrintSrcSpan_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Spans.SrcSpan -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Language.Fixpoint.Types.Spans.SrcSpan) -> Language.Fixpoint.Types.Spans.ppSrcSpan eta) -} 8ad7c104a81faaf2708f2f423db0d88d $fPPrintSrcSpan_$s$fPrintfArg[]_$cparseFormat :: [GHC.Types.Char] -> Text.Printf.ModifierParser {- Arity: 2, Strictness: m, Unfolding: InlineRule (2, True, False) (\ (ds1 :: [GHC.Types.Char]) (ds2 :: [GHC.Types.Char]) -> case ds2 of wild { [] -> Text.Printf.errorShortFormat @ Text.Printf.FormatParse : c1 cs -> Text.Printf.FormatParse (GHC.Types.[] @ GHC.Types.Char) c1 cs }) -} 0ad3121342dcaf7299aaba5092852e51 $fSerializeSourcePos :: Data.Serialize.Serialize Text.Parsec.Pos.SourcePos DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Text.Parsec.Pos.SourcePos Language.Fixpoint.Types.Spans.$fSerializeSourcePos_$cput Language.Fixpoint.Types.Spans.$fSerializeSourcePos_$cget -} 6986c8d6b9b2dd8663f27e595e80776a $fSerializeSourcePos1 :: Data.Serialize.Get.Input -> Data.Serialize.Get.Buffer -> Data.Serialize.Get.More -> Data.Serialize.Get.Failure r -> Data.Serialize.Get.Success Text.Parsec.Pos.SourcePos r -> Data.Serialize.Get.Result r {- Arity: 5, Strictness: , Unfolding: (\ @ r (s0 :: Data.Serialize.Get.Input) (b0 :: Data.Serialize.Get.Buffer) (m0 :: Data.Serialize.Get.More) (kf :: Data.Serialize.Get.Failure r) (ks :: Data.Serialize.Get.Success Text.Parsec.Pos.SourcePos r) -> Data.Serialize.$fSerialize(,,)1 @ [GHC.Types.Char] @ GHC.Types.Int @ GHC.Types.Int Language.Fixpoint.Types.Spans.$fSerializeSourcePos_$s$fSerialize[] Data.Serialize.$fSerializeInt Data.Serialize.$fSerializeInt @ r s0 b0 m0 kf (\ (s1 :: Data.Serialize.Get.Input) (b1 :: Data.Serialize.Get.Buffer)[OneShot] (m1 :: Data.Serialize.Get.More)[OneShot] (a1 :: (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column))[OneShot] -> ks s1 b1 m1 (case a1 of wild { (,,) f l c -> Text.Parsec.Pos.$WSourcePos f l c }))) -} 072af9d3918bebcf6d66bf3fdeec7d17 $fSerializeSourcePos_$cget :: Data.Serialize.Get.Get Text.Parsec.Pos.SourcePos {- Arity: 5, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fSerializeSourcePos1 `cast` (Sym (Data.Serialize.Get.N:Get[0] _R)) -} 99b26c730314bb015d632a4b62137cdd $fSerializeSourcePos_$cput :: Data.Serialize.Put.Putter Text.Parsec.Pos.SourcePos {- Arity: 1, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Text.Parsec.Pos.SourcePos) -> case Language.Fixpoint.Types.Spans.$w$cput2 w of ww { (#,#) ww1 ww2 -> (Data.Serialize.Put.PairS @ () ww1 ww2) `cast` (Sym (Data.Serialize.Put.N:PutM[0]) <()>_N) }) -} ffd97752c6862137b7655c33b43b24be $fSerializeSourcePos_$s$fSerialize[] :: Data.Serialize.Serialize [GHC.Types.Char] {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ [GHC.Types.Char] (Data.Serialize.$fSerialize[]_$cput @ GHC.Types.Char Data.Serialize.$fSerializeChar) (Data.Serialize.$fSerializeNatural_$cget1 @ GHC.Types.Char Data.Serialize.$fSerializeChar) -} 78175b19733acaa6a468bb3dc2117709 $fSerializeSrcSpan :: Data.Serialize.Serialize Language.Fixpoint.Types.Spans.SrcSpan DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fSerializeSrcSpan_$s$dmput Language.Fixpoint.Types.Spans.$fSerializeSrcSpan_$cget -} 78175b19733acaa6a468bb3dc2117709 $fSerializeSrcSpan1 :: Data.Serialize.Get.Input -> Data.Serialize.Get.Buffer -> Data.Serialize.Get.More -> Data.Serialize.Get.Failure r -> Data.Serialize.Get.Success Language.Fixpoint.Types.Spans.SrcSpan r -> Data.Serialize.Get.Result r {- Arity: 5, Strictness: , Unfolding: (\ @ r (eta :: Data.Serialize.Get.Input) (eta1 :: Data.Serialize.Get.Buffer) (eta2 :: Data.Serialize.Get.More) (eta3 :: Data.Serialize.Get.Failure r) (eta4 :: Data.Serialize.Get.Success Language.Fixpoint.Types.Spans.SrcSpan r) -> Data.Serialize.$fSerialize(,,)1 @ [GHC.Types.Char] @ GHC.Types.Int @ GHC.Types.Int Language.Fixpoint.Types.Spans.$fSerializeSourcePos_$s$fSerialize[] Data.Serialize.$fSerializeInt Data.Serialize.$fSerializeInt @ r eta eta1 eta2 eta3 (\ (s1 :: Data.Serialize.Get.Input) (b1 :: Data.Serialize.Get.Buffer)[OneShot] (m1 :: Data.Serialize.Get.More)[OneShot] (a1 :: (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column))[OneShot] -> Data.Serialize.$fSerialize(,,)1 @ [GHC.Types.Char] @ GHC.Types.Int @ GHC.Types.Int Language.Fixpoint.Types.Spans.$fSerializeSourcePos_$s$fSerialize[] Data.Serialize.$fSerializeInt Data.Serialize.$fSerializeInt @ r s1 b1 m1 eta3 (\ (s2 :: Data.Serialize.Get.Input) (b2 :: Data.Serialize.Get.Buffer)[OneShot] (m2 :: Data.Serialize.Get.More)[OneShot] (a2 :: (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column))[OneShot] -> eta4 s2 b2 m2 (case a1 of wild { (,,) f l c -> case l of dt { GHC.Types.I# dt1 -> case c of dt2 { GHC.Types.I# dt3 -> case a2 of wild1 { (,,) f1 l1 c1 -> case l1 of dt4 { GHC.Types.I# dt5 -> case c1 of dt6 { GHC.Types.I# dt7 -> Language.Fixpoint.Types.Spans.SS (Text.Parsec.Pos.SourcePos f dt1 dt3) (Text.Parsec.Pos.SourcePos f1 dt5 dt7) } } } } } })))) -} 30a9b2a4305fa9735ba8ccadeb9d94de $fSerializeSrcSpan2 :: Data.Serialize.GSerializePut (GHC.Generics.D1 ('GHC.Generics.MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos)))) {- Arity: 1, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fSerializeSrcSpan3 `cast` (Trans (forall (a1 :: <*>_N). Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) _N ->_R _R) (Sym (Data.Serialize.N:GSerializePut[0] _N))) -} 769d1634f5b25f7db45014d2532f3cd1 $fSerializeSrcSpan3 :: GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos)) a1 -> Data.Serialize.Put.Put {- Arity: 1, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ @ a1 (w :: GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos)) a1) -> case w `cast` (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R _N) of ww { GHC.Generics.:*: ww1 ww2 -> case Language.Fixpoint.Types.Spans.$w$dGSerializePut @ a1 ww1 ww2 of ww3 { (#,#) ww4 ww5 -> (Data.Serialize.Put.PairS @ () ww4 ww5) `cast` (Sym (Data.Serialize.Put.N:PutM[0]) <()>_N) } }) -} 78175b19733acaa6a468bb3dc2117709 $fSerializeSrcSpan_$cget :: Data.Serialize.Get.Get Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 5, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Spans.$fSerializeSrcSpan1 `cast` (Sym (Data.Serialize.Get.N:Get[0] _R)) -} 78175b19733acaa6a468bb3dc2117709 $fSerializeSrcSpan_$s$dmput :: Data.Serialize.Put.Putter Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 1, Strictness: m, Unfolding: InlineRule (-3, True, False) (\ (eta :: Language.Fixpoint.Types.Spans.SrcSpan) -> Language.Fixpoint.Types.Spans.$fSerializeSrcSpan2 `cast` (Data.Serialize.N:GSerializePut[0] (Sym (Language.Fixpoint.Types.Spans.Rep_SrcSpan[0]))) @ GHC.Prim.Any (Language.Fixpoint.Types.Spans.$fGenericSrcSpan_$cfrom @ GHC.Prim.Any eta)) -} 3326b791adf9e0911edd64707c0fed2a $fShowLocated :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 1, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun: @ a ($dShow :: GHC.Show.Show a). @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$fShowLocated_$cshowsPrec @ a $dShow) (Language.Fixpoint.Types.Spans.$fShowLocated_$cshow @ a $dShow) (Language.Fixpoint.Types.Spans.$fShowLocated_$cshowList @ a $dShow) -} f8bb1823dcea4c7918f8ff8717adfa1b $fShowLocated1 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# " (dummyLoc)"#) -} 3326b791adf9e0911edd64707c0fed2a $fShowLocated_$cshow :: GHC.Show.Show a => Language.Fixpoint.Types.Spans.Located a -> GHC.Base.String {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ a (w :: GHC.Show.Show a) (w1 :: Language.Fixpoint.Types.Spans.Located a) -> case w1 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> case ww1 of ww4 { Text.Parsec.Pos.SourcePos ww5 ww6 ww7 -> case ww2 of ww8 { Text.Parsec.Pos.SourcePos ww9 ww10 ww11 -> Language.Fixpoint.Types.Spans.$w$cshow @ a w ww5 ww6 ww7 ww9 ww10 ww11 ww3 } } }) -} 3326b791adf9e0911edd64707c0fed2a $fShowLocated_$cshowList :: GHC.Show.Show a => [Language.Fixpoint.Types.Spans.Located a] -> GHC.Show.ShowS {- Arity: 3, Strictness: , Unfolding: (\ @ a ($dShow :: GHC.Show.Show a) (ls :: [Language.Fixpoint.Types.Spans.Located a]) (s :: GHC.Base.String) -> GHC.Show.showList__ @ (Language.Fixpoint.Types.Spans.Located a) (\ (x :: Language.Fixpoint.Types.Spans.Located a) (s1 :: GHC.Base.String)[OneShot] -> case x of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> case ww1 of ww4 { Text.Parsec.Pos.SourcePos ww5 ww6 ww7 -> case ww2 of ww8 { Text.Parsec.Pos.SourcePos ww9 ww10 ww11 -> GHC.Base.++ @ GHC.Types.Char (Language.Fixpoint.Types.Spans.$w$cshow @ a $dShow ww5 ww6 ww7 ww9 ww10 ww11 ww3) s1 } } }) ls s) -} 3326b791adf9e0911edd64707c0fed2a $fShowLocated_$cshowsPrec :: GHC.Show.Show a => GHC.Types.Int -> Language.Fixpoint.Types.Spans.Located a -> GHC.Show.ShowS {- Arity: 4, Strictness: , Unfolding: InlineRule (4, True, False) (\ @ a ($dShow :: GHC.Show.Show a) (ds :: GHC.Types.Int) (x :: Language.Fixpoint.Types.Spans.Located a) (s :: GHC.Base.String) -> GHC.Base.augment @ GHC.Types.Char (\ @ b (c :: GHC.Types.Char -> b -> b)[OneShot] (n :: b)[OneShot] -> GHC.Base.foldr @ GHC.Types.Char @ b c n (Language.Fixpoint.Types.Spans.$fShowLocated_$cshow @ a $dShow x)) s) -} 78175b19733acaa6a468bb3dc2117709 $fShowSrcSpan :: GHC.Show.Show Language.Fixpoint.Types.Spans.SrcSpan DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fShowSrcSpan_$cshowsPrec Language.Fixpoint.Types.Spans.$fShowSrcSpan_$cshow Language.Fixpoint.Types.Spans.$fShowSrcSpan_$cshowList -} 78175b19733acaa6a468bb3dc2117709 $fShowSrcSpan1 :: Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Show.ShowS {- Arity: 2, Unfolding: (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) (w1 :: GHC.Base.String) -> case w of ww { Language.Fixpoint.Types.Spans.SS ww1 ww2 -> case ww1 of ww3 { Text.Parsec.Pos.SourcePos ww4 ww5 ww6 -> case ww2 of ww7 { Text.Parsec.Pos.SourcePos ww8 ww9 ww10 -> Language.Fixpoint.Types.Spans.$w$cshowsPrec 0# ww4 ww5 ww6 ww8 ww9 ww10 w1 } } }) -} 459e4bf304258dacedb8ff86bb474d5b $fShowSrcSpan2 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "}"#) -} 1de37a4190721571992c7495ec6496f5 $fShowSrcSpan3 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "sp_stop = "#) -} 6d83ac3838b274341a6b73fc997e0794 $fShowSrcSpan4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# ", "#) -} 27d961f83d86848a32687b100b4c25f3 $fShowSrcSpan5 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "sp_start = "#) -} ff55e7c5751b12b1fb310f56d85467a8 $fShowSrcSpan6 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "SS {"#) -} 78175b19733acaa6a468bb3dc2117709 $fShowSrcSpan_$cshow :: Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Types.Spans.SrcSpan) -> Language.Fixpoint.Types.Spans.$fShowSrcSpan_$cshowsPrec GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} 78175b19733acaa6a468bb3dc2117709 $fShowSrcSpan_$cshowList :: [Language.Fixpoint.Types.Spans.SrcSpan] -> GHC.Show.ShowS {- Arity: 2, Unfolding: (GHC.Show.showList__ @ Language.Fixpoint.Types.Spans.SrcSpan Language.Fixpoint.Types.Spans.$fShowSrcSpan1) -} 78175b19733acaa6a468bb3dc2117709 $fShowSrcSpan_$cshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Types.Spans.SrcSpan -> GHC.Show.ShowS {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Types.Spans.SrcSpan) (w2 :: GHC.Base.String) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Types.Spans.SS ww3 ww4 -> case ww3 of ww5 { Text.Parsec.Pos.SourcePos ww6 ww7 ww8 -> case ww4 of ww9 { Text.Parsec.Pos.SourcePos ww10 ww11 ww12 -> Language.Fixpoint.Types.Spans.$w$cshowsPrec ww1 ww6 ww7 ww8 ww10 ww11 ww12 w2 } } } }) -} 3326b791adf9e0911edd64707c0fed2a $fTraversableLocated :: Data.Traversable.Traversable Language.Fixpoint.Types.Spans.Located DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Spans.$fFunctorLocated Language.Fixpoint.Types.Spans.$fFoldableLocated Language.Fixpoint.Types.Spans.$fTraversableLocated_$ctraverse Language.Fixpoint.Types.Spans.$fTraversableLocated_$csequenceA Language.Fixpoint.Types.Spans.$fTraversableLocated_$cmapM Language.Fixpoint.Types.Spans.$fTraversableLocated_$csequence -} 3326b791adf9e0911edd64707c0fed2a $fTraversableLocated_$cmapM :: GHC.Base.Monad m => (a -> m b) -> Language.Fixpoint.Types.Spans.Located a -> m (Language.Fixpoint.Types.Spans.Located b) {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ (m :: * -> *) @ a @ b ($dMonad :: GHC.Base.Monad m) (eta :: a -> m b) (eta1 :: Language.Fixpoint.Types.Spans.Located a) -> Language.Fixpoint.Types.Spans.$fTraversableLocated_$ctraverse @ m @ a @ b (GHC.Base.$p1Monad @ m $dMonad) eta eta1) -} 3326b791adf9e0911edd64707c0fed2a $fTraversableLocated_$csequence :: GHC.Base.Monad m => Language.Fixpoint.Types.Spans.Located (m a) -> m (Language.Fixpoint.Types.Spans.Located a) {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ (m :: * -> *) @ a (w :: GHC.Base.Monad m) (w1 :: Language.Fixpoint.Types.Spans.Located (m a)) -> case w1 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> GHC.Base.fmap @ m (GHC.Base.$p1Applicative @ m (GHC.Base.$p1Monad @ m w)) @ a @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$WLoc @ a ww1 ww2) ww3 }) -} 3326b791adf9e0911edd64707c0fed2a $fTraversableLocated_$csequenceA :: GHC.Base.Applicative f => Language.Fixpoint.Types.Spans.Located (f a) -> f (Language.Fixpoint.Types.Spans.Located a) {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ (f :: * -> *) @ a (w :: GHC.Base.Applicative f) (w1 :: Language.Fixpoint.Types.Spans.Located (f a)) -> case w1 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> GHC.Base.fmap @ f (GHC.Base.$p1Applicative @ f w) @ a @ (Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$WLoc @ a ww1 ww2) ww3 }) -} 3326b791adf9e0911edd64707c0fed2a $fTraversableLocated_$ctraverse :: GHC.Base.Applicative f => (a -> f b) -> Language.Fixpoint.Types.Spans.Located a -> f (Language.Fixpoint.Types.Spans.Located b) {- Arity: 3, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (f :: * -> *) @ a @ b (w :: GHC.Base.Applicative f) (w1 :: a -> f b) (w2 :: Language.Fixpoint.Types.Spans.Located a) -> case w2 of ww { Language.Fixpoint.Types.Spans.Loc ww1 ww2 ww3 -> GHC.Base.fmap @ f (GHC.Base.$p1Applicative @ f w) @ b @ (Language.Fixpoint.Types.Spans.Located b) (Language.Fixpoint.Types.Spans.$WLoc @ b ww1 ww2) (w1 ww3) }) -} 720251df1757813b2058979fb31cb978 $t42RKcBSP3Cr8SwBmLTMGby :: Data.Data.DataType {- Strictness: m, Unfolding: (Data.Data.DataType Language.Fixpoint.Types.Spans.$fDataSrcSpan4 Language.Fixpoint.Types.Spans.$fDataSrcSpan2) -} 2602b963b0526b8163681f380fadfb8c $tJhDnuonFSChJGPkHkwy5l0 :: Data.Data.DataType {- Strictness: m, Unfolding: (Data.Data.DataType Language.Fixpoint.Types.Spans.$fDataLocated6 Language.Fixpoint.Types.Spans.$fDataLocated4) -} 7b383713945ad1b644bedfe9405081ef $tc'C:Loc :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 15607779196087557570## 12683268362814385443## Language.Fixpoint.Types.Spans.$trModule Language.Fixpoint.Types.Spans.$tc'C:Loc1) -} 0c5b32ac46432c5d1054ca29e2c0e27f $tc'C:Loc1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'C:Loc"#) -} 7be70c7a78f12e05c74d75e4e38243cb $tc'Loc :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 11470707191234826714## 7278582708074253692## Language.Fixpoint.Types.Spans.$trModule Language.Fixpoint.Types.Spans.$tc'Loc1) -} 07ebc105103aa96c82af471d1b398017 $tc'Loc1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Loc"#) -} 91422155b6c5bd40408f9876bee21f47 $tc'SS :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 9574454909373110890## 10006459098275382814## Language.Fixpoint.Types.Spans.$trModule Language.Fixpoint.Types.Spans.$tc'SS1) -} 7b6aad4df487f02215651d2ed98f16ca $tc'SS1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'SS"#) -} 352d8e2cf2b92b6813ad2a71cb53d97e $tcLoc :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 14540235522611395765## 1116109149257949023## Language.Fixpoint.Types.Spans.$trModule Language.Fixpoint.Types.Spans.$tcLoc1) -} 371ef529189c734d39d9bea002711372 $tcLoc1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Loc"#) -} 91dafcda7dcb702f806e2d8929c72502 $tcLocated :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 11711989137260920405## 3225057830536678298## Language.Fixpoint.Types.Spans.$trModule Language.Fixpoint.Types.Spans.$tcLocated1) -} 5bbb4b52f6128c668368e91c2ec60fa5 $tcLocated1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Located"#) -} d26765748478e3008f2c8ead94870523 $tcSrcSpan :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 16495729787624148680## 10819508590848038093## Language.Fixpoint.Types.Spans.$trModule Language.Fixpoint.Types.Spans.$tcSrcSpan1) -} 3ae1260461312a87cc4ef3433c98db66 $tcSrcSpan1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "SrcSpan"#) -} d51f64b4a75c180ab9c7043ee3c4638f $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Types.Spans.$trModule2 Language.Fixpoint.Types.Spans.$trModule1) -} e121dc128ece9e96dd70e233b38bf36a $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Types.Spans"#) -} 0e970c1af63a013ff59d7221ddb84cfc $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} a8d310e6d9b284b5fe157b689091b7fe $w$c/= :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Base.eqString ww ww6 of wild { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild1 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild2 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Base.eqString ww3 ww9 of wild3 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww4 ww10) of wild4 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww5 ww11) of wild5 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } } } } } }) -} 208fb5fd138471812883b63e1ae18808 $w$c< :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww ww6 of wild { GHC.Types.LT -> GHC.Types.True GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww1 ww7) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild2 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww2 ww8) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild5 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> Text.Parsec.Pos.$w$c< ww3 ww4 ww5 ww9 ww10 ww11 } GHC.Types.True -> GHC.Types.True } } GHC.Types.True -> GHC.Types.True } GHC.Types.GT -> GHC.Types.False }) -} f68cb3cfe07d293b0279eab92b5a9503 $w$c<= :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww ww6 of wild { GHC.Types.LT -> GHC.Types.True GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww1 ww7) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild2 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww2 ww8) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild5 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> Text.Parsec.Pos.$w$c<= ww3 ww4 ww5 ww9 ww10 ww11 } GHC.Types.True -> GHC.Types.True } } GHC.Types.True -> GHC.Types.True } GHC.Types.GT -> GHC.Types.False }) -} d1d796a57af9f7d658f301d2d53d12cc $w$c== :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Base.eqString ww ww6 of wild { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild1 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild2 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> Text.Parsec.Pos.$w$c== ww3 ww4 ww5 ww9 ww10 ww11 } } }) -} 37aa3848b4788e62f8037d27e00c83af $w$c> :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww ww6 of wild { GHC.Types.LT -> GHC.Types.False GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww1 ww7) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild2 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww2 ww8) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild5 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> Text.Parsec.Pos.$w$c> ww3 ww4 ww5 ww9 ww10 ww11 } GHC.Types.True -> GHC.Types.False } } GHC.Types.True -> GHC.Types.False } GHC.Types.GT -> GHC.Types.True }) -} 244f284b86f2311f2492413193f179ce $w$c>= :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww ww6 of wild { GHC.Types.LT -> GHC.Types.False GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww1 ww7) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild2 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww2 ww8) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild5 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> Text.Parsec.Pos.$w$c>= ww3 ww4 ww5 ww9 ww10 ww11 } GHC.Types.True -> GHC.Types.False } } GHC.Types.True -> GHC.Types.False } GHC.Types.GT -> GHC.Types.True }) -} bd1b8ef3717166dfa6c427142a48775f $w$ccompare :: Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Ordering {- Arity: 12, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: Text.Parsec.Pos.SourceName) (ww7 :: GHC.Prim.Int#) (ww8 :: GHC.Prim.Int#) (ww9 :: Text.Parsec.Pos.SourceName) (ww10 :: GHC.Prim.Int#) (ww11 :: GHC.Prim.Int#) -> case GHC.Classes.$fOrd[]_$s$ccompare1 ww ww6 of wild { GHC.Types.LT -> GHC.Types.LT GHC.Types.EQ -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww1 ww7) of wild1 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww7) of wild2 { GHC.Types.False -> GHC.Types.GT GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# ww2 ww8) of wild4 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww8) of wild5 { GHC.Types.False -> GHC.Types.GT GHC.Types.True -> Text.Parsec.Pos.$w$ccompare ww3 ww4 ww5 ww9 ww10 ww11 } GHC.Types.True -> GHC.Types.LT } } GHC.Types.True -> GHC.Types.LT } GHC.Types.GT -> GHC.Types.GT }) -} 3326b791adf9e0911edd64707c0fed2a $w$cget :: Data.Binary.Class.Binary a => forall r. GHC.Prim.Addr# -> GHC.ForeignPtr.ForeignPtrContents -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Binary.Get.Internal.Success (Language.Fixpoint.Types.Spans.Located a) r -> Data.Binary.Get.Internal.Decoder r {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Data.Binary.Class.Binary a) @ r (ww :: GHC.Prim.Addr#) (ww1 :: GHC.ForeignPtr.ForeignPtrContents) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (w1 :: Data.Binary.Get.Internal.Success (Language.Fixpoint.Types.Spans.Located a) r) -> Language.Fixpoint.Types.Spans.$w$cget1 @ r ww ww1 ww2 ww3 (\ (i' :: Data.ByteString.Internal.ByteString) (a1 :: Text.Parsec.Pos.SourcePos)[OneShot] -> case i' of ww4 { Data.ByteString.Internal.PS ww5 ww6 ww7 ww8 -> Language.Fixpoint.Types.Spans.$w$cget1 @ r ww5 ww6 ww7 ww8 (\ (i'1 :: Data.ByteString.Internal.ByteString) (a2 :: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Prim.Any)[OneShot] -> (Data.Binary.Class.get @ a w) `cast` (Data.Binary.Get.Internal.N:Get[0] _R) @ r i'1 (\ (i'2 :: Data.ByteString.Internal.ByteString) (a3 :: a) -> w1 i'2 (Language.Fixpoint.Types.Spans.$WLoc @ a a1 a2 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) a3))) `cast` (_R ->_R Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P) ->_R _R) })) -} c90d2569526b89f9575ac1f8694ee46a $w$cget1 :: GHC.Prim.Addr# -> GHC.ForeignPtr.ForeignPtrContents -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Binary.Get.Internal.Success Text.Parsec.Pos.SourcePos r -> Data.Binary.Get.Internal.Decoder r {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ r (ww :: GHC.Prim.Addr#) (ww1 :: GHC.ForeignPtr.ForeignPtrContents) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (w :: Data.Binary.Get.Internal.Success Text.Parsec.Pos.SourcePos r) -> Data.Binary.Class.$w$cget10 @ GHC.Types.Char Data.Binary.Class.$fBinaryChar @ r ww ww1 ww2 ww3 (\ (i' :: Data.ByteString.Internal.ByteString) (a1 :: [GHC.Types.Char])[OneShot] -> case i' of ww4 { Data.ByteString.Internal.PS ww5 ww6 ww7 ww8 -> Data.Binary.Class.$w$cget9 @ r ww5 ww6 ww7 ww8 (\ (i'1 :: Data.ByteString.Internal.ByteString) (a2 :: GHC.Types.Int)[OneShot] -> case i'1 of ww9 { Data.ByteString.Internal.PS ww10 ww11 ww12 ww13 -> Data.Binary.Class.$w$cget9 @ r ww10 ww11 ww12 ww13 (\ (i'2 :: Data.ByteString.Internal.ByteString) (a3 :: GHC.Types.Int)[OneShot] -> w i'2 (Text.Parsec.Pos.$WSourcePos a1 a2 a3)) }) })) -} 3326b791adf9e0911edd64707c0fed2a $w$cgfoldl :: Data.Data.Data a => forall (c :: * -> *). (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> c (Language.Fixpoint.Types.Spans.Located a) {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Data.Data.Data a) @ (c :: * -> *) (w1 :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w2 :: forall g. g -> c g) (ww :: Text.Parsec.Pos.SourcePos) (ww1 :: Text.Parsec.Pos.SourcePos) (ww2 :: a) -> w1 @ a @ (Language.Fixpoint.Types.Spans.Located a) w (w1 @ Text.Parsec.Pos.SourcePos @ (a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (w1 @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (w2 @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$WLoc @ a)) ww) ww1) ww2) -} 3326b791adf9e0911edd64707c0fed2a $w$cgmapM :: Data.Data.Data a => forall (m :: * -> *). GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> m (Language.Fixpoint.Types.Spans.Located a) {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Data.Data.Data a) @ (m :: * -> *) (w1 :: GHC.Base.Monad m) (w2 :: forall d. Data.Data.Data d => d -> m d) (ww :: Text.Parsec.Pos.SourcePos) (ww1 :: Text.Parsec.Pos.SourcePos) (ww2 :: a) -> let { k :: forall d b. Data.Data.Data d => m (d -> b) -> d -> m b {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (c :: m (d -> b))[OneShot] (x :: d)[OneShot] -> let { lvl20 :: m d = w2 @ d $dData1 x } in GHC.Base.>>= @ m w1 @ (d -> b) @ b c (\ (c' :: d -> b) -> GHC.Base.>>= @ m w1 @ d @ b lvl20 (\ (x' :: d) -> GHC.Base.return @ m w1 @ b (c' x'))) } in k @ a @ (Language.Fixpoint.Types.Spans.Located a) w (k @ Text.Parsec.Pos.SourcePos @ (a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) Text.Parsec.Pos.$fDataSourcePos (GHC.Base.return @ m w1 @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> Language.Fixpoint.Types.Spans.Located a) (Language.Fixpoint.Types.Spans.$WLoc @ a)) ww) ww1) ww2) -} 78175b19733acaa6a468bb3dc2117709 $w$cgmapM1 :: GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> m Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 4, Strictness: , Inline: [0], Unfolding: (\ @ (m :: * -> *) (w :: GHC.Base.Monad m) (w1 :: forall d. Data.Data.Data d => d -> m d) (ww :: Text.Parsec.Pos.SourcePos) (ww1 :: Text.Parsec.Pos.SourcePos) -> let { k :: forall d b. Data.Data.Data d => m (d -> b) -> d -> m b {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (c :: m (d -> b))[OneShot] (x :: d)[OneShot] -> let { lvl20 :: m d = w1 @ d $dData1 x } in GHC.Base.>>= @ m w @ (d -> b) @ b c (\ (c' :: d -> b) -> GHC.Base.>>= @ m w @ d @ b lvl20 (\ (x' :: d) -> GHC.Base.return @ m w @ b (c' x'))) } in k @ Text.Parsec.Pos.SourcePos @ Language.Fixpoint.Types.Spans.SrcSpan Text.Parsec.Pos.$fDataSourcePos (k @ Text.Parsec.Pos.SourcePos @ (Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Text.Parsec.Pos.$fDataSourcePos (GHC.Base.return @ m w @ (Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Spans.SrcSpan) Language.Fixpoint.Types.Spans.$WSS) ww) ww1) -} fe930cda1eb888be74751bea5ded1e3b $w$cgmapQl :: Data.Data.Data a => forall r r'. (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> r {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Data.Data.Data a) @ r @ r' (w1 :: r -> r' -> r) (w2 :: r) (w3 :: forall d. Data.Data.Data d => d -> r') (ww :: Text.Parsec.Pos.SourcePos) (ww1 :: Text.Parsec.Pos.SourcePos) (ww2 :: a) -> w1 (w1 (w1 w2 (w3 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww)) (w3 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1)) (w3 @ a w ww2)) -} 0b5b338aacd7900f304d30642cb83f38 $w$cgmapQr :: Data.Data.Data a => forall r r'. (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Text.Parsec.Pos.SourcePos -> Text.Parsec.Pos.SourcePos -> a -> r {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Data.Data.Data a) @ r @ r' (w1 :: r' -> r -> r) (w2 :: r) (w3 :: forall d. Data.Data.Data d => d -> r') (ww :: Text.Parsec.Pos.SourcePos) (ww1 :: Text.Parsec.Pos.SourcePos) (ww2 :: a) -> w1 (w3 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww) (w1 (w3 @ Text.Parsec.Pos.SourcePos Text.Parsec.Pos.$fDataSourcePos ww1) (w1 (w3 @ a w ww2) w2))) -} 18754a44a860cdc6959fffae570e583b $w$cput :: Data.Binary.Class.Binary a => Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> a -> (# (), Data.ByteString.Builder.Internal.Builder #) {- Arity: 8, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Data.Binary.Class.Binary a) (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: a) -> (# GHC.Tuple.(), let { ds1 :: Data.ByteString.Builder.Internal.Builder = case (Data.Binary.Class.put @ a w ww6) `cast` (Data.Binary.Put.N:PutM[0] <()>_N) of wild { Data.Binary.Put.PairS ds w' -> w' } } in let { ds :: Data.ByteString.Builder.Internal.Builder = case Language.Fixpoint.Types.Spans.$w$cput1 (Text.Parsec.Pos.SourcePos ww3 ww4 ww5) of ww7 { (#,#) ww8 ww9 -> ww9 } } in let { ds2 :: Data.ByteString.Builder.Internal.Builder = case Language.Fixpoint.Types.Spans.$w$cput1 (Text.Parsec.Pos.SourcePos ww ww1 ww2) of ww7 { (#,#) ww8 ww9 -> ww9 } } in (\ @ r (eta :: Data.ByteString.Builder.Internal.BuildStep r) -> ds2 `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (ds `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (ds1 `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r eta))) `cast` (Sym (Data.ByteString.Builder.Internal.N:Builder[0])) #)) -} 9272b8fe82fce190a608ecc383f76b6a $w$cput1 :: Text.Parsec.Pos.SourcePos -> (# (), Data.ByteString.Builder.Internal.Builder #) {- Arity: 1, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (w :: Text.Parsec.Pos.SourcePos) -> (# GHC.Tuple.(), let { ds :: Data.ByteString.Builder.Internal.Builder = case Data.Binary.Class.$w$cputList (case w of wild { Text.Parsec.Pos.SourcePos name dt dt1 -> name }) of ww { (#,#) ww1 ww2 -> ww2 } } in let { ds1 :: Data.ByteString.Builder.Internal.Builder = case Data.Binary.Class.$w$cput1 (case w of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Types.I# dt }) of ww { (#,#) ww1 ww2 -> ww2 } } in let { ds2 :: Data.ByteString.Builder.Internal.Builder = case Data.Binary.Class.$w$cput1 (case w of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Types.I# dt1 }) of ww { (#,#) ww1 ww2 -> ww2 } } in (\ @ r (eta :: Data.ByteString.Builder.Internal.BuildStep r) -> ds `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (ds1 `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (ds2 `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r eta))) `cast` (Sym (Data.ByteString.Builder.Internal.N:Builder[0])) #)) -} f4e31b6a8a2ffee3a18b783e51db11fc $w$cput2 :: Text.Parsec.Pos.SourcePos -> (# (), Data.ByteString.Builder.Internal.Builder #) {- Arity: 1, Strictness: , Inline: [0], Unfolding: (\ (w :: Text.Parsec.Pos.SourcePos) -> let { ds :: Data.Serialize.Put.Put = case Data.Serialize.$w$cput16 (case w of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Types.I# dt1 }) of ww { (#,#) ww1 ww2 -> (Data.Serialize.Put.PairS @ () ww1 ww2) `cast` (Sym (Data.Serialize.Put.N:PutM[0]) <()>_N) } } in (# case ds `cast` (Data.Serialize.Put.N:PutM[0] <()>_N) of wild { Data.Serialize.Put.PairS b1 w' -> b1 }, let { ds1 :: Data.ByteString.Builder.Internal.Builder = case Data.Serialize.$w$cput28 @ GHC.Types.Char Data.Serialize.$fSerializeChar (case w of wild { Text.Parsec.Pos.SourcePos name dt dt1 -> name }) of ww { (#,#) ww1 ww2 -> ww2 } } in let { ds2 :: Data.ByteString.Builder.Internal.Builder = case Data.Serialize.$w$cput16 (case w of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Types.I# dt }) of ww { (#,#) ww1 ww2 -> ww2 } } in (\ @ r (eta :: Data.ByteString.Builder.Internal.BuildStep r) -> ds1 `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (ds2 `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (case ds `cast` (Data.Serialize.Put.N:PutM[0] <()>_N) of wild { Data.Serialize.Put.PairS b1 w' -> w' `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r eta }))) `cast` (Sym (Data.ByteString.Builder.Internal.N:Builder[0])) #)) -} 5d3f3ed1b80183f02c12ba1466c3c882 $w$cshow :: GHC.Show.Show a => Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> a -> GHC.Base.String {- Arity: 8, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: GHC.Show.Show a) (ww :: Text.Parsec.Pos.SourceName) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: Text.Parsec.Pos.SourceName) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) (ww6 :: a) -> let { $j :: GHC.Prim.Void# -> [GHC.Types.Char] {- Arity: 1, Strictness: -} = \ (w1 :: GHC.Prim.Void#)[OneShot] -> GHC.Base.++ @ GHC.Types.Char (GHC.Show.show @ a w ww6) (GHC.CString.unpackAppendCString# " defined from: "# (GHC.Base.++ @ GHC.Types.Char (Text.Parsec.Pos.$w$cshow ww ww1 ww2) (GHC.CString.unpackAppendCString# " to: "# (Text.Parsec.Pos.$w$cshow ww3 ww4 ww5)))) } in case GHC.Base.eqString ww ww3 of wild { GHC.Types.False -> $j GHC.Prim.void# GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww1 ww4) of wild1 { GHC.Types.False -> $j GHC.Prim.void# GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww5) of wild2 { GHC.Types.False -> $j GHC.Prim.void# GHC.Types.True -> case GHC.Base.eqString ww Language.Fixpoint.Types.Spans.$fIsStringLocated1 of wild3 { GHC.Types.False -> $j GHC.Prim.void# GHC.Types.True -> case ww1 of wild4 { DEFAULT -> $j GHC.Prim.void# 0# -> case ww2 of wild5 { DEFAULT -> $j GHC.Prim.void# 0# -> GHC.Base.++ @ GHC.Types.Char (GHC.Show.show @ a w ww6) Language.Fixpoint.Types.Spans.$fShowLocated1 } } } } } }) -} a8991bfa3c93961b9f2408fc9ba87bf8 $w$cshowsPrec :: GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> Text.Parsec.Pos.SourceName -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.String -> GHC.Base.String {- Arity: 8, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (ww1 :: Text.Parsec.Pos.SourceName) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (ww4 :: Text.Parsec.Pos.SourceName) (ww5 :: GHC.Prim.Int#) (ww6 :: GHC.Prim.Int#) (w :: GHC.Base.String) -> let { p :: GHC.Show.ShowS {- Arity: 1, Strictness: -} = \ (x :: GHC.Base.String)[OneShot] -> GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Types.Spans.$fShowSrcSpan6 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Types.Spans.$fShowSrcSpan5 (GHC.Base.++ @ GHC.Types.Char (Text.Parsec.Pos.$w$cshow ww1 ww2 ww3) (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Types.Spans.$fShowSrcSpan4 (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Types.Spans.$fShowSrcSpan3 (GHC.Base.++ @ GHC.Types.Char (Text.Parsec.Pos.$w$cshow ww4 ww5 ww6) (GHC.Base.++ @ GHC.Types.Char Language.Fixpoint.Types.Spans.$fShowSrcSpan2 x)))))) } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww 11#) of wild { GHC.Types.False -> p w GHC.Types.True -> GHC.Types.: @ GHC.Types.Char GHC.Show.shows7 (p (GHC.Types.: @ GHC.Types.Char GHC.Show.shows4 w)) }) -} 2a2d8362dc7e6454774ab465ace310d6 $w$dGSerializePut :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) a1 -> GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) a1 -> (# (), Data.ByteString.Builder.Internal.Builder #) {- Arity: 2, Strictness: , Inline: [0], Unfolding: (\ @ a1 (ww :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) a1) (ww1 :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) a1) -> let { ds1 :: Data.Serialize.Put.Put = case Language.Fixpoint.Types.Spans.$w$cput2 ww1 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) of ww2 { (#,#) ww3 ww4 -> (Data.Serialize.Put.PairS @ () ww3 ww4) `cast` (Sym (Data.Serialize.Put.N:PutM[0]) <()>_N) } } in (# case ds1 `cast` (Data.Serialize.Put.N:PutM[0] <()>_N) of wild1 { Data.Serialize.Put.PairS b2 w' -> b2 }, let { ds :: Data.ByteString.Builder.Internal.Builder = case Language.Fixpoint.Types.Spans.$w$cput2 ww `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) of ww2 { (#,#) ww3 ww4 -> ww4 } } in (\ @ r (eta :: Data.ByteString.Builder.Internal.BuildStep r) -> ds `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r (case ds1 `cast` (Data.Serialize.Put.N:PutM[0] <()>_N) of wild1 { Data.Serialize.Put.PairS b2 w' -> w' `cast` (Data.ByteString.Builder.Internal.N:Builder[0]) @ r eta })) `cast` (Sym (Data.ByteString.Builder.Internal.N:Builder[0])) #)) -} 7d1ee7ff58490b4002d4ebf11752d14c $wgo1 :: [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# GHC.Prim.Int#, GHC.Prim.Int# #) {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0] -} 11b009d868dbdf300c3da9cb11a21cdb $wgo4 :: [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# GHC.Prim.Int#, GHC.Prim.Int# #) {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0] -} 78175b19733acaa6a468bb3dc2117709 $wppSrcSpan :: Language.Fixpoint.Types.Spans.SrcSpan -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 1, Strictness: , Inline: [0], Unfolding: (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) -> let { s :: Text.Parsec.Pos.SourcePos = case w of wild { Language.Fixpoint.Types.Spans.SS ds ds1 -> ds1 } } in let { s1 :: Text.Parsec.Pos.SourcePos = case w of wild { Language.Fixpoint.Types.Spans.SS ds ds1 -> ds } } in let { ds :: Text.Parsec.Pos.SourceName = case s1 of wild { Text.Parsec.Pos.SourcePos name dt dt1 -> name } } in let { s2 :: GHC.Base.String = Language.Fixpoint.Types.Spans.$fPPrintSrcSpan2 Language.Fixpoint.Types.Spans.$fPPrintSrcSpan1 (GHC.Types.: @ (Text.Printf.ModifierParser, Text.Printf.FieldFormatter) (Text.Printf.$wparseIntFormat @ GHC.Types.Int, let { w1 :: GHC.Types.Int = case s1 of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Types.I# dt1 } } in \ (w2 :: Text.Printf.FieldFormat) -> case w2 of ww { Text.Printf.FieldFormat ww1 ww2 ww3 ww4 ww5 ww6 ww7 -> case ww7 of ww8 { GHC.Types.C# ww9 -> Text.Printf.$w$sformatInt w1 ww1 ww2 ww3 ww4 ww5 ww6 ww9 } }) (GHC.Types.: @ (Text.Printf.ModifierParser, Text.Printf.FieldFormatter) (Text.Printf.$wparseIntFormat @ GHC.Types.Int, let { w1 :: GHC.Types.Int = case s1 of wild { Text.Parsec.Pos.SourcePos _name dt dt1 -> GHC.Types.I# dt } } in \ (w2 :: Text.Printf.FieldFormat) -> case w2 of ww { Text.Printf.FieldFormat ww1 ww2 ww3 ww4 ww5 ww6 ww7 -> case ww7 of ww8 { GHC.Types.C# ww9 -> Text.Printf.$w$sformatInt w1 ww1 ww2 ww3 ww4 ww5 ww6 ww9 } }) (GHC.Types.: @ (Text.Printf.ModifierParser, Text.Printf.FieldFormatter) (Language.Fixpoint.Types.Spans.$fPPrintSrcSpan_$s$fPrintfArg[]_$cparseFormat ds, \ (w2 :: Text.Printf.FieldFormat) -> case w2 of ww { Text.Printf.FieldFormat ww1 ww2 ww3 ww4 ww5 ww6 ww7 -> case ww7 of ww8 { GHC.Types.C# ww9 -> Text.Printf.$wformatString @ GHC.Types.Char Text.Printf.$fIsCharChar ds ww1 ww2 ww3 ww9 } }) (GHC.Types.[] @ Text.Printf.UPrintf)))) (Text.Parsec.Pos.sourceLine s) (Text.Parsec.Pos.sourceColumn s) } in case GHC.List.$wlenAcc @ GHC.Types.Char s2 0# of ww2 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s2) ww2, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) }) -} 5c898e316073c02ed4de00d3c857e47e class Loc a where srcSpan :: a -> Language.Fixpoint.Types.Spans.SrcSpan {-# MINIMAL srcSpan #-} 3326b791adf9e0911edd64707c0fed2a data Located a = Loc {loc :: !Text.Parsec.Pos.SourcePos, locE :: !Text.Parsec.Pos.SourcePos, val :: !a} 3326b791adf9e0911edd64707c0fed2a axiom Rep_Located:: [a] GHC.Generics.Rep (Language.Fixpoint.Types.Spans.Located a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Located" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Loc" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "loc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "locE") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 a)))) 78175b19733acaa6a468bb3dc2117709 axiom Rep_SrcSpan:: GHC.Generics.Rep Language.Fixpoint.Types.Spans.SrcSpan = GHC.Generics.D1 ('GHC.Generics.MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_start") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos))) 78175b19733acaa6a468bb3dc2117709 data SrcSpan = SS {sp_start :: !Text.Parsec.Pos.SourcePos, sp_stop :: !Text.Parsec.Pos.SourcePos} 1a8353ae38c3784917c1312ef9069e6e atLoc :: Language.Fixpoint.Types.Spans.Located a -> b -> Language.Fixpoint.Types.Spans.Located b {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ a @ b (ds :: Language.Fixpoint.Types.Spans.Located a) (eta :: b) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc l l' ds1 -> case eta of dt { DEFAULT -> Language.Fixpoint.Types.Spans.Loc @ b l l' dt } }) -} 6a5341e3e7c769f139b8c25d5592734b dummyLoc :: a -> Language.Fixpoint.Types.Spans.Located a {- Arity: 1, Unfolding: (\ @ a -> Language.Fixpoint.Types.Spans.$WLoc @ a Language.Fixpoint.Types.Spans.$fIsStringLocated_l Language.Fixpoint.Types.Spans.$fIsStringLocated_l) -} e32aab89d7fc10cc795bd688f402a6ee dummyPos :: GHC.Base.String -> Text.Parsec.Pos.SourcePos {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (s :: GHC.Base.String) -> Text.Parsec.Pos.SourcePos s 0# 0#) -} 0a9a460d1a0c849b90ebbbabded90215 dummySpan :: Language.Fixpoint.Types.Spans.SrcSpan {- HasNoCafRefs, Strictness: m, Unfolding: (Language.Fixpoint.Types.Spans.SS Language.Fixpoint.Types.Spans.dummySpan_l Language.Fixpoint.Types.Spans.dummySpan_l) -} 028c880765161e0e82b3dcec7364d0a2 dummySpan_l :: Text.Parsec.Pos.SourcePos {- HasNoCafRefs, Strictness: m, Unfolding: (Text.Parsec.Pos.SourcePos (GHC.Types.[] @ GHC.Types.Char) 1# 1#) -} c6f10c8419386acc7423cddd0148af63 loc :: Language.Fixpoint.Types.Spans.Located a -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.Located {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 ds3 -> ds1 }) -} 6922a27f4af2481145388cc9f35b2ad5 locAt :: GHC.Base.String -> a -> Language.Fixpoint.Types.Spans.Located a {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ @ a (s :: GHC.Base.String) (eta :: a) -> case eta of dt { DEFAULT -> let { l :: Text.Parsec.Pos.SourcePos = Text.Parsec.Pos.SourcePos s 0# 0# } in Language.Fixpoint.Types.Spans.Loc @ a l l dt }) -} 1bb6165f5c9ac9b994b30b60db58afcd locE :: Language.Fixpoint.Types.Spans.Located a -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.Located {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ a (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 ds3 -> ds2 }) -} 78175b19733acaa6a468bb3dc2117709 ppSrcSpan :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Spans.SrcSpan) -> case Language.Fixpoint.Types.Spans.$wppSrcSpan w of ww { (#,#) ww1 ww2 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww1 ww2) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) }) -} 206f4217a89e76ad2874ab86ab0ff653 sourcePosElts :: Text.Parsec.Pos.SourcePos -> (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column) {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (s :: Text.Parsec.Pos.SourcePos) -> (Text.Parsec.Pos.sourceName s, Text.Parsec.Pos.sourceLine s, Text.Parsec.Pos.sourceColumn s)) -} 66a78cde7fda67c47ad8854704384b7a sp_start :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Spans.SrcSpan) -> case ds of wild { Language.Fixpoint.Types.Spans.SS ds1 ds2 -> ds1 }) -} 2a61f2810d77eadb616ccfe78300b944 sp_stop :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.SrcSpan {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Spans.SrcSpan) -> case ds of wild { Language.Fixpoint.Types.Spans.SS ds1 ds2 -> ds2 }) -} a3c4cf7922f79de46237eef8822a75ce val :: Language.Fixpoint.Types.Spans.Located a -> a RecSel Left Language.Fixpoint.Types.Spans.Located {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ a (ds :: Language.Fixpoint.Types.Spans.Located a) -> case ds of wild { Language.Fixpoint.Types.Spans.Loc ds1 ds2 ds3 -> ds3 }) -} instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fBinaryLocated instance Data.Binary.Class.Binary [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fBinarySourcePos instance Data.Data.Data [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fDataLocated instance Data.Data.Data [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fDataSrcSpan instance GHC.Classes.Eq [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fEqLocated instance GHC.Classes.Eq [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fEqSrcSpan instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fFixpointLocated instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fFixpointSourcePos instance Data.Foldable.Foldable [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fFoldableLocated instance GHC.Base.Functor [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fFunctorLocated instance GHC.Generics.Generic [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fGenericLocated instance GHC.Generics.Generic [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fGenericSrcSpan instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fHashableLocated instance Data.Hashable.Class.Hashable [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fHashableSourcePos instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fHashableSrcSpan instance Data.String.IsString [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fIsStringLocated instance Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fLocLocated instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fNFDataLocated instance Control.DeepSeq.NFData [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fNFDataSourcePos instance GHC.Classes.Ord [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fOrdLocated instance GHC.Classes.Ord [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fOrdSrcSpan instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fPPrintLocated instance Language.Fixpoint.Types.PrettyPrint.PPrint [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fPPrintSourcePos instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fPPrintSrcSpan instance Data.Serialize.Serialize [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fSerializeSourcePos instance Data.Serialize.Serialize [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fSerializeSrcSpan instance GHC.Show.Show [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fShowLocated instance GHC.Show.Show [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fShowSrcSpan instance Data.Traversable.Traversable [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fTraversableLocated family instance GHC.Generics.Rep [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.Rep_SrcSpan family instance GHC.Generics.Rep [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.Rep_Located "SPEC/Language.Fixpoint.Types.Spans $dmput @ SrcSpan" [ALWAYS] forall ($dGSerializePut :: Data.Serialize.GSerializePut (GHC.Generics.Rep Language.Fixpoint.Types.Spans.SrcSpan)) ($dGeneric :: GHC.Generics.Generic Language.Fixpoint.Types.Spans.SrcSpan) ($dSerialize :: Data.Serialize.Serialize Language.Fixpoint.Types.Spans.SrcSpan) Data.Serialize.$dmput @ Language.Fixpoint.Types.Spans.SrcSpan $dSerialize $dGeneric $dGSerializePut = Language.Fixpoint.Types.Spans.$fSerializeSrcSpan_$s$dmput "SPEC/Language.Fixpoint.Types.Spans $fPrintfArg[]_$cparseFormat @ Char" [ALWAYS] forall ($dIsChar :: Text.Printf.IsChar GHC.Types.Char) Text.Printf.$fPrintfArg[]_$cparseFormat @ GHC.Types.Char $dIsChar = Language.Fixpoint.Types.Spans.$fPPrintSrcSpan_$s$fPrintfArg[]_$cparseFormat "SPEC/Language.Fixpoint.Types.Spans $fSerialize[] @ Char" [ALWAYS] forall ($dSerialize :: Data.Serialize.Serialize GHC.Types.Char) Data.Serialize.$fSerialize[] @ GHC.Types.Char $dSerialize = Language.Fixpoint.Types.Spans.$fSerializeSourcePos_$s$fSerialize[] vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False