==================== FINAL INTERFACE ==================== 2019-09-22 14:52:25.350703 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans [orphan module] [family instance module] 8065 interface hash: b78c88fc21201c1b433656ce525b02b9 ABI hash: df3b309e6511df6300a1db0ccd338062 export-list hash: 9e9118ba5257e743a1e1c46db3e4cd33 orphan hash: 49449c227da8a58a69aae053dcd6b926 flag hash: a11e1b2911cb886c01d81cfd252e8523 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 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.panicSpan Language.Fixpoint.Types.Spans.sourcePosElts Language.Fixpoint.Types.Spans.srcLine Language.Fixpoint.Types.Spans.toSourcePos 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 Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 time-1.8.0.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Data.Data 2949b01dc3799f9122535900668dfcef import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.String fa00d4c51cd8d22ee4f54a25f9e9c97d import -/ base-4.12.0.0:Data.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 import -/ base-4.12.0.0:Data.Typeable 1095be85dd9009a6503a3981a259490e import -/ base-4.12.0.0:Data.Typeable.Internal e1cb15df401654131814917774d4d7ed import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:Text.Printf d9e1f32eb8aa55bafa1cf4360210b275 import -/ binary-0.8.6.0:Data.Binary 47a89cefaa44e49e7fd21d133fce6a7e import -/ binary-0.8.6.0:Data.Binary.Class 4a00b809573ad7c27e489f5b66886719 import -/ cereal-0.5.8.0:Data.Serialize 46eea0b64631e6bfa7ec81b0118ba8ea import -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprintTidy bf75bee99d55ab15929b450195e64f3c toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ parsec-3.1.13.0:Text.Parsec.Pos 61aa6625e3bc17c83ef95500ead7d960 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ syb-0.7:Data.Generics f4bddd07fe7227d2509acad55f9ff82d 98c2e3118bdcfbfec2dfd5f953f55cfd $fBinaryLocated :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Spans.Located a) DFunId 2c62550fcce7e3d0cc34a79128d68deb $fBinarySourcePos :: Data.Binary.Class.Binary Text.Parsec.Pos.SourcePos DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fDataLocated :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Types.Spans.Located a) DFunId 30cdf4122b891cc575df90039bdcbecb $fDataSrcSpan :: Data.Data.Data Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fEqLocated :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Spans.Located a) DFunId 30cdf4122b891cc575df90039bdcbecb $fEqSrcSpan :: GHC.Classes.Eq Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fFixpointLocated :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Spans.Located a) DFunId 97808256aa534c30c156e1db4ce6db7d $fFixpointSourcePos :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Text.Parsec.Pos.SourcePos DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fFoldableLocated :: Data.Foldable.Foldable Language.Fixpoint.Types.Spans.Located DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fFunctorLocated :: GHC.Base.Functor Language.Fixpoint.Types.Spans.Located DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fGenericLocated :: GHC.Generics.Generic (Language.Fixpoint.Types.Spans.Located a) DFunId 30cdf4122b891cc575df90039bdcbecb $fGenericSrcSpan :: GHC.Generics.Generic Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fHashableLocated :: Data.Hashable.Class.Hashable a => Data.Hashable.Class.Hashable (Language.Fixpoint.Types.Spans.Located a) DFunId 2bb67df438ffcf6fc9839e9a6916b318 $fHashableSourcePos :: Data.Hashable.Class.Hashable Text.Parsec.Pos.SourcePos DFunId 30cdf4122b891cc575df90039bdcbecb $fHashableSrcSpan :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fIsStringLocated :: Data.String.IsString a => Data.String.IsString (Language.Fixpoint.Types.Spans.Located a) DFunId 4962bb0bc274d9001b974c3326b63480 $fLoc() :: Language.Fixpoint.Types.Spans.Loc () DFunId 4962bb0bc274d9001b974c3326b63480 $fLocLocated :: Language.Fixpoint.Types.Spans.Loc (Language.Fixpoint.Types.Spans.Located a) DFunId 4962bb0bc274d9001b974c3326b63480 $fLocSourcePos :: Language.Fixpoint.Types.Spans.Loc Text.Parsec.Pos.SourcePos DFunId 4962bb0bc274d9001b974c3326b63480 $fLocSrcSpan :: Language.Fixpoint.Types.Spans.Loc Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fNFDataLocated :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Spans.Located a) DFunId a62e5792d7ff7a4b77cdfa5a87b13f13 $fNFDataSourcePos :: Control.DeepSeq.NFData Text.Parsec.Pos.SourcePos DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fOrdLocated :: GHC.Classes.Ord a => GHC.Classes.Ord (Language.Fixpoint.Types.Spans.Located a) DFunId 30cdf4122b891cc575df90039bdcbecb $fOrdSrcSpan :: GHC.Classes.Ord Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fPPrintLocated :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Spans.Located a) DFunId d67ccac94b75a95e6b77157ff7733c93 $fPPrintSourcePos :: Language.Fixpoint.Types.PrettyPrint.PPrint Text.Parsec.Pos.SourcePos DFunId 30cdf4122b891cc575df90039bdcbecb $fPPrintSrcSpan :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Spans.SrcSpan DFunId 49a4d9ee22eb815ebef0b447c8479609 $fSerializeSourcePos :: Data.Serialize.Serialize Text.Parsec.Pos.SourcePos DFunId 30cdf4122b891cc575df90039bdcbecb $fSerializeSrcSpan :: Data.Serialize.Serialize Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fShowLocated :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Spans.Located a) DFunId 30cdf4122b891cc575df90039bdcbecb $fShowSrcSpan :: GHC.Show.Show Language.Fixpoint.Types.Spans.SrcSpan DFunId 98c2e3118bdcfbfec2dfd5f953f55cfd $fTraversableLocated :: Data.Traversable.Traversable Language.Fixpoint.Types.Spans.Located DFunId 283ec2fd3b01f97411cbc2cd996a9340 $tc'C:Loc :: GHC.Types.TyCon 6fad27dfd64a3ebf770fa69161e6d587 $tc'Loc :: GHC.Types.TyCon 00b007f2df7c7ddc262d8478b60f9e4a $tc'SS :: GHC.Types.TyCon 849a90025fbf2a5bc5f7a3113d139b9b $tcLoc :: GHC.Types.TyCon 7253af796acc7d553716009bce9e7153 $tcLocated :: GHC.Types.TyCon 0fc70d62b9c59710b5e7a4bc6ffbe516 $tcSrcSpan :: GHC.Types.TyCon e849ff3ff8b62920d2b41effdafe2c47 $trModule :: GHC.Types.Module 4962bb0bc274d9001b974c3326b63480 class Loc a where srcSpan :: a -> Language.Fixpoint.Types.Spans.SrcSpan {-# MINIMAL srcSpan #-} 98c2e3118bdcfbfec2dfd5f953f55cfd data Located a = Loc {loc :: !Text.Parsec.Pos.SourcePos, locE :: !Text.Parsec.Pos.SourcePos, val :: !a} 98c2e3118bdcfbfec2dfd5f953f55cfd axiom Language.Fixpoint.Types.Spans.Rep_Located:: GHC.Generics.Rep (Language.Fixpoint.Types.Spans.Located a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Located" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Loc" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.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.Maybe.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.Maybe.Just "val") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 a)))) 30cdf4122b891cc575df90039bdcbecb axiom Language.Fixpoint.Types.Spans.Rep_SrcSpan:: GHC.Generics.Rep Language.Fixpoint.Types.Spans.SrcSpan = GHC.Generics.D1 ('GHC.Generics.MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.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.Maybe.Just "sp_stop") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos))) 30cdf4122b891cc575df90039bdcbecb data SrcSpan = SS {sp_start :: !Text.Parsec.Pos.SourcePos, sp_stop :: !Text.Parsec.Pos.SourcePos} 1d33f99909507b18efe9f42abbbb5952 atLoc :: Language.Fixpoint.Types.Spans.Loc l => l -> b -> Language.Fixpoint.Types.Spans.Located b 69f648f1c60987f6ccbe57104041fd71 dummyLoc :: a -> Language.Fixpoint.Types.Spans.Located a cec780948f0543a3aa56a856d0978b96 dummyPos :: GHC.Base.String -> Text.Parsec.Pos.SourcePos 4c3a1f24b19908507cae45f533bfffe9 dummySpan :: Language.Fixpoint.Types.Spans.SrcSpan 98c2e3118bdcfbfec2dfd5f953f55cfd loc :: Language.Fixpoint.Types.Spans.Located a -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.Located 1236793dd545dd57dc332f3a463d437c locAt :: GHC.Base.String -> a -> Language.Fixpoint.Types.Spans.Located a 98c2e3118bdcfbfec2dfd5f953f55cfd locE :: Language.Fixpoint.Types.Spans.Located a -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.Located d3af73fa8bf2e90a4b0e843d56f553e6 panicSpan :: GHC.Base.String -> Language.Fixpoint.Types.Spans.SrcSpan 7b9ace6ed7c9c38d2ddfa2f617e1a2d5 sourcePosElts :: Text.Parsec.Pos.SourcePos -> (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column) 30cdf4122b891cc575df90039bdcbecb sp_start :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.SrcSpan 30cdf4122b891cc575df90039bdcbecb sp_stop :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.SrcSpan 47a043c390d048496b40f51356ff8384 srcLine :: Language.Fixpoint.Types.Spans.Loc a => a -> GHC.Types.Int d78052d3b064337bc822cf68e5d2fd66 toSourcePos :: (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column) -> Text.Parsec.Pos.SourcePos 98c2e3118bdcfbfec2dfd5f953f55cfd val :: Language.Fixpoint.Types.Spans.Located a -> a RecSel Left Language.Fixpoint.Types.Spans.Located instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fBinaryLocated instance [orphan] 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 [orphan] 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 [orphan] 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.$fLoc() instance Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fLocLocated instance Language.Fixpoint.Types.Spans.Loc [Text.Parsec.Pos.SourcePos] = Language.Fixpoint.Types.Spans.$fLocSourcePos instance Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Spans.$fLocSrcSpan instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Spans.$fNFDataLocated instance [orphan] 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 [orphan] 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 [orphan] 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 trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: