==================== FINAL INTERFACE ==================== 2017-05-08 17:10:56.571407 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans [orphan module] [family instance module] 8002 interface hash: 98a06da6854d7c82f510bcbcd692b131 ABI hash: 1fc6b25ff5984c11eae379e71fc71312 export-list hash: 464bc9758a033004e0503ec01433df74 orphan hash: 4318d5bd8cf731c57c768fe431c462f8 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.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 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 eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 PPrint 78b520d4c3718d2e8c30eba678b273b4 pprintTidy 80cf56bafb9576f5b408b84cf399259a toFix d9f32a4a16e6f96a8d0d9b2cb68e0532 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 3776dcc969376081bef9e6f9cda8b19a $fBinaryLocated :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Spans.Located a) DFunId 2e2c26cb848f37b0c3cf8da965ab4cea $fBinarySourcePos :: Data.Binary.Class.Binary Text.Parsec.Pos.SourcePos DFunId 3776dcc969376081bef9e6f9cda8b19a $fDataLocated :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Types.Spans.Located a) DFunId f21a066d73255c1d9f84525a474c4a07 $fDataSrcSpan :: Data.Data.Data Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fEqLocated :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Spans.Located a) DFunId f21a066d73255c1d9f84525a474c4a07 $fEqSrcSpan :: GHC.Classes.Eq Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fFixpointLocated :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Spans.Located a) DFunId 8bb2cc12ec9e2368b5456fce7633f0e9 $fFixpointSourcePos :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Text.Parsec.Pos.SourcePos DFunId 3776dcc969376081bef9e6f9cda8b19a $fFoldableLocated :: Data.Foldable.Foldable Language.Fixpoint.Types.Spans.Located DFunId 3776dcc969376081bef9e6f9cda8b19a $fFunctorLocated :: GHC.Base.Functor Language.Fixpoint.Types.Spans.Located DFunId 3776dcc969376081bef9e6f9cda8b19a $fGenericLocated :: GHC.Generics.Generic (Language.Fixpoint.Types.Spans.Located a) DFunId f21a066d73255c1d9f84525a474c4a07 $fGenericSrcSpan :: GHC.Generics.Generic Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fHashableLocated :: Data.Hashable.Class.Hashable a => Data.Hashable.Class.Hashable (Language.Fixpoint.Types.Spans.Located a) DFunId e6cafe8351fd054f463ff4f37a0308f8 $fHashableSourcePos :: Data.Hashable.Class.Hashable Text.Parsec.Pos.SourcePos DFunId f21a066d73255c1d9f84525a474c4a07 $fHashableSrcSpan :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fIsStringLocated :: Data.String.IsString a => Data.String.IsString (Language.Fixpoint.Types.Spans.Located a) DFunId 24f8dfbf29d330a063d2617ecd6e6eb5 $fLoc() :: Language.Fixpoint.Types.Spans.Loc () DFunId 24f8dfbf29d330a063d2617ecd6e6eb5 $fLocLocated :: Language.Fixpoint.Types.Spans.Loc (Language.Fixpoint.Types.Spans.Located a) DFunId 3776dcc969376081bef9e6f9cda8b19a $fNFDataLocated :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Spans.Located a) DFunId 960c490acdea19ea907da5cc902feb78 $fNFDataSourcePos :: Control.DeepSeq.NFData Text.Parsec.Pos.SourcePos DFunId 3776dcc969376081bef9e6f9cda8b19a $fOrdLocated :: GHC.Classes.Ord a => GHC.Classes.Ord (Language.Fixpoint.Types.Spans.Located a) DFunId f21a066d73255c1d9f84525a474c4a07 $fOrdSrcSpan :: GHC.Classes.Ord Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fPPrintLocated :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Spans.Located a) DFunId 68071fa3b7273911285e5b061c9fb0d5 $fPPrintSourcePos :: Language.Fixpoint.Types.PrettyPrint.PPrint Text.Parsec.Pos.SourcePos DFunId f21a066d73255c1d9f84525a474c4a07 $fPPrintSrcSpan :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Spans.SrcSpan DFunId 427beb4bd0b2de356ee623d0a64d977c $fSerializeSourcePos :: Data.Serialize.Serialize Text.Parsec.Pos.SourcePos DFunId f21a066d73255c1d9f84525a474c4a07 $fSerializeSrcSpan :: Data.Serialize.Serialize Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fShowLocated :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Spans.Located a) DFunId f21a066d73255c1d9f84525a474c4a07 $fShowSrcSpan :: GHC.Show.Show Language.Fixpoint.Types.Spans.SrcSpan DFunId 3776dcc969376081bef9e6f9cda8b19a $fTraversableLocated :: Data.Traversable.Traversable Language.Fixpoint.Types.Spans.Located DFunId fd88e05e74c6657ae10b7599812477a0 $tc'C:Loc :: GHC.Types.TyCon c2a0f0797af3f1f259950b42c34dbd9f $tc'Loc :: GHC.Types.TyCon f96dd0a2bf680b0104454548e6d090ab $tc'SS :: GHC.Types.TyCon 77a1cfa2685cc3be111416e4cc2c8bac $tcLoc :: GHC.Types.TyCon 32f23381a6be089c912d3bac1a1292d4 $tcLocated :: GHC.Types.TyCon 32a6d17bb52fb1277dae85d311f581a5 $tcSrcSpan :: GHC.Types.TyCon 5573af415f12c7eb7267752baf373ef0 $trModule :: GHC.Types.Module 24f8dfbf29d330a063d2617ecd6e6eb5 class Loc a where srcSpan :: a -> Language.Fixpoint.Types.Spans.SrcSpan {-# MINIMAL srcSpan #-} 3776dcc969376081bef9e6f9cda8b19a data Located a = Loc {loc :: !Text.Parsec.Pos.SourcePos, locE :: !Text.Parsec.Pos.SourcePos, val :: !a} 3776dcc969376081bef9e6f9cda8b19a 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-3eFMjv17Mf8EVbYNi5msgi" '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)))) f21a066d73255c1d9f84525a474c4a07 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-3eFMjv17Mf8EVbYNi5msgi" '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))) f21a066d73255c1d9f84525a474c4a07 data SrcSpan = SS {sp_start :: !Text.Parsec.Pos.SourcePos, sp_stop :: !Text.Parsec.Pos.SourcePos} b020ab8dc17ba48774465be49451a37f atLoc :: Language.Fixpoint.Types.Spans.Located a -> b -> Language.Fixpoint.Types.Spans.Located b d9a4d6c1139778cf6add05a4788d63ce dummyLoc :: a -> Language.Fixpoint.Types.Spans.Located a f8fb72298900b1a562f282547eed759d dummyPos :: GHC.Base.String -> Text.Parsec.Pos.SourcePos 894d72f7dbefa0883876db91a2fc70da dummySpan :: Language.Fixpoint.Types.Spans.SrcSpan 8b6c0459a03ea7284a4b62fe8ead5ab1 loc :: Language.Fixpoint.Types.Spans.Located a -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.Located d4c1c37325f6e9ecc17575e522740283 locAt :: GHC.Base.String -> a -> Language.Fixpoint.Types.Spans.Located a 43d463bb8e12667fc8cba4d4335a2af7 locE :: Language.Fixpoint.Types.Spans.Located a -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.Located 6b51cbd53be3b1c2ca38e2722db3b378 sourcePosElts :: Text.Parsec.Pos.SourcePos -> (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column) a3261bb23b6fa3b5c4b81d3ccb52d41a sp_start :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.SrcSpan fe4e4154f13482011aa8eeb4768ee477 sp_stop :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Spans.SrcSpan 86a3bb153bc3e0f60e649c4cbba39868 toSourcePos :: (Text.Parsec.Pos.SourceName, Text.Parsec.Pos.Line, Text.Parsec.Pos.Column) -> Text.Parsec.Pos.SourcePos d4806808748b4175bb76acacd6ac41b8 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 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.$fLoc() 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 vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False