==================== FINAL INTERFACE ==================== 2019-09-22 14:52:33.045968 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors [orphan module] [family instance module] 8065 interface hash: 16b93538c23f8a489bc8cae133255d84 ABI hash: 31e8527559b26e3ce8fcf2acaba869c3 export-list hash: 89a9dc85e57ecc980170ae7cb32d2921 orphan hash: 8b4182f10e0ccea2b4c37955fde60174 flag hash: 8366537924ba6c96a6b61c1eecf1a52a opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Errors.catError Language.Fixpoint.Types.Errors.catErrors Language.Fixpoint.Types.Errors.colorResult Language.Fixpoint.Types.Errors.die Language.Fixpoint.Types.Errors.dieAt Language.Fixpoint.Types.Errors.err Language.Fixpoint.Types.Errors.errFreeVarInConstraint Language.Fixpoint.Types.Errors.errFreeVarInQual Language.Fixpoint.Types.Errors.errIllScopedKVar Language.Fixpoint.Types.Errors.errs Language.Fixpoint.Types.Errors.exit Language.Fixpoint.Types.Errors.panic Language.Fixpoint.Types.Errors.resultDoc Language.Fixpoint.Types.Errors.resultExit Language.Fixpoint.Types.Spans.dummySpan Language.Fixpoint.Types.Spans.sourcePosElts Language.Fixpoint.Types.Errors.Error Language.Fixpoint.Types.Errors.Error1{errLoc errMsg} Language.Fixpoint.Types.Errors.FixResult{Language.Fixpoint.Types.Errors.Crash Language.Fixpoint.Types.Errors.Safe Language.Fixpoint.Types.Errors.Unsafe} Language.Fixpoint.Types.Spans.SrcSpan{Language.Fixpoint.Types.Spans.SS sp_start sp_stop} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Spans 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: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans 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 liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans 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:Control.Exception 041da5b6267cf6b639ff5716d5b299a9 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.Function 739684530bf19978a9a47e63c494ac7b import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e 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.Exception 241d5c93d2929e130965d588cd89f59e import -/ base-4.12.0.0:GHC.Exception.Type 98b0fca1a406b013cbf2a34ff23be207 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.IO 898d4ddbf00eb4732e5f462760aa42ae import -/ base-4.12.0.0:GHC.IO.Exception 77722984940ee6ccf9e2f7dab10b83a4 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.Exit 3c945ec7c596067c067092c41083c3d0 import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 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 -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e Angry 90c0d767f82e118dc4644613e332abc8 Happy 3e83bd74ce32639c013d32b4d3eb44f1 ListNE 34c095e41b29e7147eb4001d73367295 Moods b7dbbbd191c6a2df3bc3a2a7ba79f5da Sad de7a88dfe931f084d1f390f39b9b9f41 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprint 955dc9d031db587300edf6146ac33be4 pprintTidy bf75bee99d55ab15929b450195e64f3c toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 exports: 9e9118ba5257e743a1e1c46db3e4cd33 Loc 4962bb0bc274d9001b974c3326b63480 SS afc18641865e1d45f99679b3f3b93be2 SrcSpan 30cdf4122b891cc575df90039bdcbecb dummySpan 4c3a1f24b19908507cae45f533bfffe9 sourcePosElts 7b9ace6ed7c9c38d2ddfa2f617e1a2d5 sp_start 30cdf4122b891cc575df90039bdcbecb sp_stop 30cdf4122b891cc575df90039bdcbecb srcSpan 2b3eb671678320980d11df21e110f501 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 <-> a6bccb4500bca89f567c047995747774 import -/ pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ a5dcede52bdfbaf5c69d5887e8fe449a import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ syb-0.7:Data.Generics f4bddd07fe7227d2509acad55f9ff82d addDependentFile "/Users/niki/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/include/ghcversion.h" 43db44f9bb88490c2fa995e5f5ec33f2 addDependentFile ".stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/cabal_macros.h" 5d4a89af56b14b9a96821af0abd9deca c0716f0e4597e606e45487edbbbeea3f $fBinaryFixResult :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Errors.FixResult a) DFunId c0716f0e4597e606e45487edbbbeea3f $fDataFixResult :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Types.Errors.FixResult a) DFunId f5aa082d4556718e292f7fedf0bb1503 $fEqError :: GHC.Classes.Eq Language.Fixpoint.Types.Errors.Error DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fEqError1 :: GHC.Classes.Eq Language.Fixpoint.Types.Errors.Error1 DFunId c0716f0e4597e606e45487edbbbeea3f $fEqFixResult :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Errors.FixResult a) DFunId f5aa082d4556718e292f7fedf0bb1503 $fExceptionError :: GHC.Exception.Type.Exception Language.Fixpoint.Types.Errors.Error DFunId f5aa082d4556718e292f7fedf0bb1503 $fExceptionFixResult :: GHC.Exception.Type.Exception (Language.Fixpoint.Types.Errors.FixResult Language.Fixpoint.Types.Errors.Error) DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fFixpointError1 :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Errors.Error1 DFunId c0716f0e4597e606e45487edbbbeea3f $fFoldableFixResult :: Data.Foldable.Foldable Language.Fixpoint.Types.Errors.FixResult DFunId c0716f0e4597e606e45487edbbbeea3f $fFunctorFixResult :: GHC.Base.Functor Language.Fixpoint.Types.Errors.FixResult DFunId 6ece9901f438fe402470ee136d8192e1 $fGenericAnnotDetails :: GHC.Generics.Generic (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a) DFunId f5aa082d4556718e292f7fedf0bb1503 $fGenericError :: GHC.Generics.Generic Language.Fixpoint.Types.Errors.Error DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fGenericError1 :: GHC.Generics.Generic Language.Fixpoint.Types.Errors.Error1 DFunId c0716f0e4597e606e45487edbbbeea3f $fGenericFixResult :: GHC.Generics.Generic (Language.Fixpoint.Types.Errors.FixResult a) DFunId c0716f0e4597e606e45487edbbbeea3f $fMonoidFixResult :: GHC.Base.Monoid (Language.Fixpoint.Types.Errors.FixResult a) DFunId c0716f0e4597e606e45487edbbbeea3f $fNFDataFixResult :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Errors.FixResult a) DFunId f5aa082d4556718e292f7fedf0bb1503 $fOrdError :: GHC.Classes.Ord Language.Fixpoint.Types.Errors.Error DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fOrdError1 :: GHC.Classes.Ord Language.Fixpoint.Types.Errors.Error1 DFunId f5aa082d4556718e292f7fedf0bb1503 $fPPrintError :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Errors.Error DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fPPrintError1 :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Errors.Error1 DFunId c0716f0e4597e606e45487edbbbeea3f $fSemigroupFixResult :: GHC.Base.Semigroup (Language.Fixpoint.Types.Errors.FixResult a) DFunId 3180dce5f712629ef20c4a724989d8fd $fSerializeAnnotDetails :: Data.Serialize.Serialize a => Data.Serialize.Serialize (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a) DFunId f31f5b85674bd2a5a53f0ab5d5f0435a $fSerializeDoc :: Data.Serialize.Serialize Text.PrettyPrint.HughesPJ.Doc DFunId 2ff91399a88972c4458e9a75638b69dc $fSerializeDoc0 :: Data.Serialize.Serialize a => Data.Serialize.Serialize (Text.PrettyPrint.Annotated.HughesPJ.Doc a) DFunId f5aa082d4556718e292f7fedf0bb1503 $fSerializeError :: Data.Serialize.Serialize Language.Fixpoint.Types.Errors.Error DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fSerializeError1 :: Data.Serialize.Serialize Language.Fixpoint.Types.Errors.Error1 DFunId f5aa082d4556718e292f7fedf0bb1503 $fSerializeFixResult :: Data.Serialize.Serialize (Language.Fixpoint.Types.Errors.FixResult Language.Fixpoint.Types.Errors.Error) DFunId d7b17af058efa1283ae8ac34123f3565 $fSerializeTextDetails :: Data.Serialize.Serialize Text.PrettyPrint.Annotated.HughesPJ.TextDetails DFunId f5aa082d4556718e292f7fedf0bb1503 $fShowError :: GHC.Show.Show Language.Fixpoint.Types.Errors.Error DFunId 4fefba4afaf2c68f3e4fed4f37986b71 $fShowError1 :: GHC.Show.Show Language.Fixpoint.Types.Errors.Error1 DFunId c0716f0e4597e606e45487edbbbeea3f $fShowFixResult :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Errors.FixResult a) DFunId c0716f0e4597e606e45487edbbbeea3f $fTraversableFixResult :: Data.Traversable.Traversable Language.Fixpoint.Types.Errors.FixResult DFunId 1aeb0263baacb663f26582c74b7b3c4b $tc'Crash :: GHC.Types.TyCon 712c4a6642ac25f2d3b86b96840f8da4 $tc'Error :: GHC.Types.TyCon 7afb3c5a3fac07fcf80fa274c5ca93ce $tc'Error1 :: GHC.Types.TyCon a60879fdafb8018a6ad16083d18cc6f1 $tc'Safe :: GHC.Types.TyCon 88d16ff5c1ecb7d8aa1c140b1b0e1c95 $tc'Unsafe :: GHC.Types.TyCon 5e4d12056ace5f6a42858b633b4dcc46 $tcError :: GHC.Types.TyCon 4c9462988818fb341f4bf2b5a6b2dc99 $tcError1 :: GHC.Types.TyCon 91e00c05fb976597424d771f82d03cae $tcFixResult :: GHC.Types.TyCon 541e44ab6a42a5a28884ae5162ea00e8 $trModule :: GHC.Types.Module f5aa082d4556718e292f7fedf0bb1503 newtype Error = Error [Language.Fixpoint.Types.Errors.Error1] 4fefba4afaf2c68f3e4fed4f37986b71 data Error1 = Error1 {errLoc :: Language.Fixpoint.Types.Spans.SrcSpan, errMsg :: Text.PrettyPrint.HughesPJ.Doc} c0716f0e4597e606e45487edbbbeea3f data FixResult a = Crash [a] GHC.Base.String | Safe | Unsafe ![a] ae8b46dd353653f7b2bcefd9a0b04c85 axiom Language.Fixpoint.Types.Errors.Rep_AnnotDetails:: GHC.Generics.Rep (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a) = GHC.Generics.D1 ('GHC.Generics.MetaData "AnnotDetails" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.6" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "AnnotStart" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "NoAnnot" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.PrettyPrint.Annotated.HughesPJ.TextDetails) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Int)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "AnnotEnd" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 a)))) f5aa082d4556718e292f7fedf0bb1503 axiom Language.Fixpoint.Types.Errors.Rep_Error:: GHC.Generics.Rep Language.Fixpoint.Types.Errors.Error = GHC.Generics.D1 ('GHC.Generics.MetaData "Error" "Language.Fixpoint.Types.Errors" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Error" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Errors.Error1]))) 4fefba4afaf2c68f3e4fed4f37986b71 axiom Language.Fixpoint.Types.Errors.Rep_Error1:: GHC.Generics.Rep Language.Fixpoint.Types.Errors.Error1 = GHC.Generics.D1 ('GHC.Generics.MetaData "Error1" "Language.Fixpoint.Types.Errors" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Error1" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "errLoc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Spans.SrcSpan) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "errMsg") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Text.PrettyPrint.HughesPJ.Doc))) c0716f0e4597e606e45487edbbbeea3f axiom Language.Fixpoint.Types.Errors.Rep_FixResult:: GHC.Generics.Rep (Language.Fixpoint.Types.Errors.FixResult a) = GHC.Generics.D1 ('GHC.Generics.MetaData "FixResult" "Language.Fixpoint.Types.Errors" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Crash" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [a]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Base.String)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Safe" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Unsafe" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [a])))) bc62bc4a753e843a93270632ec78b68e catError :: Language.Fixpoint.Types.Errors.Error -> Language.Fixpoint.Types.Errors.Error -> Language.Fixpoint.Types.Errors.Error e509094129ca18eb8591fae917cbba68 catErrors :: Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Errors.Error -> Language.Fixpoint.Types.Errors.Error 709f5fbb6d9dbca4f5da58f6305e5cdd colorResult :: Language.Fixpoint.Types.Errors.FixResult a -> Language.Fixpoint.Misc.Moods b694e04a36caf383107b8f2e73ae279e die :: Language.Fixpoint.Types.Errors.Error -> a efdf927f8072d85a383b14811e0a2c02 dieAt :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Errors.Error -> a eb62a315ab4ae2ad7c68e48fa9cd6513 err :: Language.Fixpoint.Types.Spans.SrcSpan -> Text.PrettyPrint.HughesPJ.Doc -> Language.Fixpoint.Types.Errors.Error fd723dd431d2dfa7d2865d3365de5600 errFreeVarInConstraint :: Language.Fixpoint.Types.PrettyPrint.PPrint a => (GHC.Integer.Type.Integer, a) -> Language.Fixpoint.Types.Errors.Error 5de6c8f1abed03643380cdf64f754585 errFreeVarInQual :: (Language.Fixpoint.Types.PrettyPrint.PPrint q, Language.Fixpoint.Types.Spans.Loc q, Language.Fixpoint.Types.PrettyPrint.PPrint x) => q -> x -> Language.Fixpoint.Types.Errors.Error 69fffebd0a579a1302a42038efceeb1d errIllScopedKVar :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint bs) => (k, GHC.Integer.Type.Integer, GHC.Integer.Type.Integer, bs) -> Language.Fixpoint.Types.Errors.Error 4fefba4afaf2c68f3e4fed4f37986b71 errLoc :: Language.Fixpoint.Types.Errors.Error1 -> Language.Fixpoint.Types.Spans.SrcSpan RecSel Left Language.Fixpoint.Types.Errors.Error1 4fefba4afaf2c68f3e4fed4f37986b71 errMsg :: Language.Fixpoint.Types.Errors.Error1 -> Text.PrettyPrint.HughesPJ.Doc RecSel Left Language.Fixpoint.Types.Errors.Error1 6db600346c5584beb1f3dd88c8a922df errs :: Language.Fixpoint.Types.Errors.Error -> [Language.Fixpoint.Types.Errors.Error1] 60b6c402958553af7852319fbfaad91b exit :: a -> GHC.Types.IO a -> GHC.Types.IO a 87059ab6cc1a67158dab0a23bc2c22e7 panic :: GHC.Base.String -> a 46d95b9743a9497ff7d25fcfb5d46218 resultDoc :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Errors.FixResult a -> Text.PrettyPrint.HughesPJ.Doc 6f6554eb2c105c8ef9383340c6b83edc resultExit :: Language.Fixpoint.Types.Errors.FixResult a -> GHC.IO.Exception.ExitCode instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fBinaryFixResult instance Data.Data.Data [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fDataFixResult instance GHC.Classes.Eq [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fEqError instance GHC.Classes.Eq [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fEqError1 instance GHC.Classes.Eq [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fEqFixResult instance GHC.Exception.Type.Exception [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fExceptionError instance GHC.Exception.Type.Exception [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fExceptionFixResult instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fFixpointError1 instance Data.Foldable.Foldable [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fFoldableFixResult instance GHC.Base.Functor [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fFunctorFixResult instance [orphan] GHC.Generics.Generic [Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails] = Language.Fixpoint.Types.Errors.$fGenericAnnotDetails instance GHC.Generics.Generic [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fGenericError instance GHC.Generics.Generic [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fGenericError1 instance GHC.Generics.Generic [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fGenericFixResult instance GHC.Base.Monoid [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fMonoidFixResult instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fNFDataFixResult instance GHC.Classes.Ord [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fOrdError instance GHC.Classes.Ord [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fOrdError1 instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fPPrintError instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fPPrintError1 instance GHC.Base.Semigroup [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fSemigroupFixResult instance [orphan] Data.Serialize.Serialize [Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails] = Language.Fixpoint.Types.Errors.$fSerializeAnnotDetails instance [orphan] Data.Serialize.Serialize [Text.PrettyPrint.HughesPJ.Doc] = Language.Fixpoint.Types.Errors.$fSerializeDoc instance [orphan] Data.Serialize.Serialize [Text.PrettyPrint.Annotated.HughesPJ.Doc] = Language.Fixpoint.Types.Errors.$fSerializeDoc0 instance Data.Serialize.Serialize [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fSerializeError instance Data.Serialize.Serialize [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fSerializeError1 instance Data.Serialize.Serialize [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fSerializeFixResult instance [orphan] Data.Serialize.Serialize [Text.PrettyPrint.Annotated.HughesPJ.TextDetails] = Language.Fixpoint.Types.Errors.$fSerializeTextDetails instance GHC.Show.Show [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.$fShowError instance GHC.Show.Show [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.$fShowError1 instance GHC.Show.Show [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fShowFixResult instance Data.Traversable.Traversable [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.$fTraversableFixResult family instance GHC.Generics.Rep [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Errors.Rep_FixResult family instance GHC.Generics.Rep [Language.Fixpoint.Types.Errors.Error] = Language.Fixpoint.Types.Errors.Rep_Error family instance GHC.Generics.Rep [Language.Fixpoint.Types.Errors.Error1] = Language.Fixpoint.Types.Errors.Rep_Error1 family instance [orphan] GHC.Generics.Rep [Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails] = Language.Fixpoint.Types.Errors.Rep_AnnotDetails trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: