==================== FINAL INTERFACE ====================
2017-05-15 08:53:23.490206 UTC

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors [orphan module] [family instance module] 8002
  interface hash: 67afa1dc8a6f4a86994459538f28f387
  ABI hash: acf2a3afc2cd57dc221f14b12643303f
  export-list hash: d1c211f3a46ca6570fe4df4a74a8801d
  orphan hash: d93c9af1a880aa7f72013b314deec3f1
  flag hash: 94fce8d5fce2cde0a8505506fc47ec8c
  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.err
  Language.Fixpoint.Types.Errors.errFreeVarInConstraint
  Language.Fixpoint.Types.Errors.errFreeVarInQual
  Language.Fixpoint.Types.Errors.errIllScopedKVar
  Language.Fixpoint.Types.Errors.exit
  Language.Fixpoint.Types.Errors.resultDoc
  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
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
         liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans
         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
                         liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans
                         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:Control.Exception a76dd9666251322fe34dbcca3a0817bf
import  -/  base-4.9.1.0:Control.Exception.Base 1e106916283856f4d9caeddab92cd861
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.Function 7aca86bfbd92366def5f260e30cb2628
import  -/  base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c
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.Exception e38fa3e73d54022fb9e3ce06477dfd07
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:System.IO c9de64c5f5407c4cf1c52500c4d15200
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  -/  integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a
import  -/  Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65
  exports: 3408045fd5294879efb3c76c6b2e957b
  Angry d1ab2a836800dfdc8bb868aaacff793c
  Happy 3b3731ead4894ce87df6af377bee8aca
  ListNE 96545dcc18370491ee873ce561f5184d
  Moods 5dd4ad7f7abd907bc0d1f0ba7b34e597
  Sad a69b1057553bf18464657fd0ceef7b0e
import  -/  Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5
  exports: 34612ba1b0c9e0c5c9e416c7877ea2a9
  Fixpoint ed2c9c62a916ec4b9fedf9553cd44702
  PPrint 78b520d4c3718d2e8c30eba678b273b4
  pprint ddfd75447423a2dd5342795b308506e9
  pprintTidy 80cf56bafb9576f5b408b84cf399259a
  toFix d9f32a4a16e6f96a8d0d9b2cb68e0532
import  -/  Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312
  exports: 464bc9758a033004e0503ec01433df74
  Loc 24f8dfbf29d330a063d2617ecd6e6eb5
  SS 0a16c4a7c77f1acd001f2aeec2a1707c
  SrcSpan f21a066d73255c1d9f84525a474c4a07
  dummySpan 894d72f7dbefa0883876db91a2fc70da
  sourcePosElts 6b51cbd53be3b1c2ca38e2722db3b378
  sp_start a3261bb23b6fa3b5c4b81d3ccb52d41a
  sp_stop fe4e4154f13482011aa8eeb4768ee477
  srcSpan c691cc90596b42fc877640511762b267
import  -/  pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ 2ab5df7927668b2067e0d9d162c2deef
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
addDependentFile "/usr/local/lib/ghc-8.0.2/include/ghcversion.h"
addDependentFile ".stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/autogen/cabal_macros.h"
b8a8d3729cc27dec2badf145032490ba
  $fBinaryFixResult ::
    Data.Binary.Class.Binary a =>
    Data.Binary.Class.Binary
      (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fDataFixResult ::
    Data.Data.Data a =>
    Data.Data.Data (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fEqError :: GHC.Classes.Eq Language.Fixpoint.Types.Errors.Error
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fEqError1 :: GHC.Classes.Eq Language.Fixpoint.Types.Errors.Error1
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fEqFixResult ::
    GHC.Classes.Eq a =>
    GHC.Classes.Eq (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fExceptionError ::
    GHC.Exception.Exception Language.Fixpoint.Types.Errors.Error
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fExceptionFixResult ::
    GHC.Exception.Exception
      (Language.Fixpoint.Types.Errors.FixResult
         Language.Fixpoint.Types.Errors.Error)
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fFixpointError1 ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Errors.Error1
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fFoldableFixResult ::
    Data.Foldable.Foldable Language.Fixpoint.Types.Errors.FixResult
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fFunctorFixResult ::
    GHC.Base.Functor Language.Fixpoint.Types.Errors.FixResult
  DFunId
c2a121db7d75faee73a7a4a2edf87def
  $fGenericAnnotDetails ::
    GHC.Generics.Generic
      (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a)
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fGenericError ::
    GHC.Generics.Generic Language.Fixpoint.Types.Errors.Error
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fGenericError1 ::
    GHC.Generics.Generic Language.Fixpoint.Types.Errors.Error1
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fGenericFixResult ::
    GHC.Generics.Generic (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fMonoidFixResult ::
    GHC.Base.Monoid (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fNFDataFixResult ::
    Control.DeepSeq.NFData a =>
    Control.DeepSeq.NFData (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fOrdError :: GHC.Classes.Ord Language.Fixpoint.Types.Errors.Error
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fOrdError1 ::
    GHC.Classes.Ord Language.Fixpoint.Types.Errors.Error1
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fPPrintError ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Errors.Error
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fPPrintError1 ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Errors.Error1
  DFunId
b267ca0e712d82df14155ed86b331df5
  $fSerializeAnnotDetails ::
    Data.Serialize.Serialize a =>
    Data.Serialize.Serialize
      (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a)
  DFunId
f44e67080c52c8ff35bb41514c29cb02
  $fSerializeDoc ::
    Data.Serialize.Serialize Text.PrettyPrint.HughesPJ.Doc
  DFunId
5d4275e65895ced078d708c6def7bc77
  $fSerializeDoc0 ::
    Data.Serialize.Serialize a =>
    Data.Serialize.Serialize
      (Text.PrettyPrint.Annotated.HughesPJ.Doc a)
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fSerializeError ::
    Data.Serialize.Serialize Language.Fixpoint.Types.Errors.Error
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fSerializeError1 ::
    Data.Serialize.Serialize Language.Fixpoint.Types.Errors.Error1
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fSerializeFixResult ::
    Data.Serialize.Serialize
      (Language.Fixpoint.Types.Errors.FixResult
         Language.Fixpoint.Types.Errors.Error)
  DFunId
71999ce912538a5fb01a752b20194f35
  $fSerializeTextDetails ::
    Data.Serialize.Serialize
      Text.PrettyPrint.Annotated.HughesPJ.TextDetails
  DFunId
4fc3f6b47fed272b74e8160d42ff6d3d
  $fShowError :: GHC.Show.Show Language.Fixpoint.Types.Errors.Error
  DFunId
974e299f48dcebe49721bb8e9ae98e21
  $fShowError1 :: GHC.Show.Show Language.Fixpoint.Types.Errors.Error1
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fShowFixResult ::
    GHC.Show.Show a =>
    GHC.Show.Show (Language.Fixpoint.Types.Errors.FixResult a)
  DFunId
b8a8d3729cc27dec2badf145032490ba
  $fTraversableFixResult ::
    Data.Traversable.Traversable
      Language.Fixpoint.Types.Errors.FixResult
  DFunId
21951c10e0f6be1f248a7b54e7588946
  $tc'Crash :: GHC.Types.TyCon
e7e12810292f97981a7131740d72244d
  $tc'Error :: GHC.Types.TyCon
5053a3269cf686e74f7394607b998a9b
  $tc'Error1 :: GHC.Types.TyCon
9a2506423c991ee20727db64d0402118
  $tc'Safe :: GHC.Types.TyCon
cd6b2b6f95444bd3c4cfa641f2116b1d
  $tc'Unsafe :: GHC.Types.TyCon
8fdfc66dde9e046c7f93ee95a0655418
  $tcError :: GHC.Types.TyCon
561814d9d64894223cff9754951d9630
  $tcError1 :: GHC.Types.TyCon
ea1a92e34832fba4e379d436b389bbbe
  $tcFixResult :: GHC.Types.TyCon
3cccb8fd2e9e51a10ff891814a0154a6
  $trModule :: GHC.Types.Module
4fc3f6b47fed272b74e8160d42ff6d3d
  newtype Error = Error [Language.Fixpoint.Types.Errors.Error1]
974e299f48dcebe49721bb8e9ae98e21
  data Error1
    = Error1 {errLoc :: Language.Fixpoint.Types.Spans.SrcSpan,
              errMsg :: Text.PrettyPrint.HughesPJ.Doc}
b8a8d3729cc27dec2badf145032490ba
  data FixResult a = Crash [a] GHC.Base.String | Safe | Unsafe ![a]
0cb1093498620aaa993ea98d61d678ea
  axiom Rep_AnnotDetails::
    [a]
      GHC.Generics.Rep
        (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a)
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "AnnotDetails"
               "Text.PrettyPrint.Annotated.HughesPJ"
               "pretty-1.1.3.3"
               '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.Base.Nothing
                                       'GHC.Generics.NoSourceUnpackedness
                                       'GHC.Generics.SourceLazy
                                       'GHC.Generics.DecidedStrict)
                                    (GHC.Generics.Rec0
                                       Text.PrettyPrint.Annotated.HughesPJ.TextDetails)
                                  GHC.Generics.:*: GHC.Generics.S1
                                                     ('GHC.Generics.MetaSel
                                                        'GHC.Base.Nothing
                                                        'GHC.Generics.SourceUnpack
                                                        'GHC.Generics.SourceLazy
                                                        '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.Base.Nothing
                                                        'GHC.Generics.NoSourceUnpackedness
                                                        'GHC.Generics.NoSourceStrictness
                                                        'GHC.Generics.DecidedLazy)
                                                     (GHC.Generics.Rec0 a))))
4fc3f6b47fed272b74e8160d42ff6d3d
  axiom Rep_Error::
      GHC.Generics.Rep Language.Fixpoint.Types.Errors.Error
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "Error"
               "Language.Fixpoint.Types.Errors"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.True)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "Error" 'GHC.Generics.PrefixI 'GHC.Types.False)
               (GHC.Generics.S1
                  ('GHC.Generics.MetaSel
                     'GHC.Base.Nothing
                     'GHC.Generics.NoSourceUnpackedness
                     'GHC.Generics.NoSourceStrictness
                     'GHC.Generics.DecidedLazy)
                  (GHC.Generics.Rec0 [Language.Fixpoint.Types.Errors.Error1])))
974e299f48dcebe49721bb8e9ae98e21
  axiom Rep_Error1::
      GHC.Generics.Rep Language.Fixpoint.Types.Errors.Error1
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "Error1"
               "Language.Fixpoint.Types.Errors"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.False)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "Error1" 'GHC.Generics.PrefixI 'GHC.Types.True)
               (GHC.Generics.S1
                  ('GHC.Generics.MetaSel
                     ('GHC.Base.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.Base.Just "errMsg")
                                      'GHC.Generics.NoSourceUnpackedness
                                      'GHC.Generics.NoSourceStrictness
                                      'GHC.Generics.DecidedLazy)
                                   (GHC.Generics.Rec0 Text.PrettyPrint.HughesPJ.Doc)))
b8a8d3729cc27dec2badf145032490ba
  axiom Rep_FixResult::
    [a]
      GHC.Generics.Rep (Language.Fixpoint.Types.Errors.FixResult a)
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "FixResult"
               "Language.Fixpoint.Types.Errors"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.False)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "Crash" 'GHC.Generics.PrefixI 'GHC.Types.False)
               (GHC.Generics.S1
                  ('GHC.Generics.MetaSel
                     'GHC.Base.Nothing
                     'GHC.Generics.NoSourceUnpackedness
                     'GHC.Generics.NoSourceStrictness
                     'GHC.Generics.DecidedLazy)
                  (GHC.Generics.Rec0 [a])
                GHC.Generics.:*: GHC.Generics.S1
                                   ('GHC.Generics.MetaSel
                                      'GHC.Base.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.Base.Nothing
                                                        'GHC.Generics.NoSourceUnpackedness
                                                        'GHC.Generics.SourceStrict
                                                        'GHC.Generics.DecidedStrict)
                                                     (GHC.Generics.Rec0 [a]))))
8b58933a1bc47486fab2c4328aeefafb
  catError ::
    Language.Fixpoint.Types.Errors.Error
    -> Language.Fixpoint.Types.Errors.Error
    -> Language.Fixpoint.Types.Errors.Error
2b9662d679351f0430c19c8a424c3985
  catErrors ::
    Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Errors.Error
    -> Language.Fixpoint.Types.Errors.Error
dd6587667063acb011b555d27342110c
  colorResult ::
    Language.Fixpoint.Types.Errors.FixResult a
    -> Language.Fixpoint.Misc.Moods
dbaf75abf19387c15f40a8c2817884dc
  die :: Language.Fixpoint.Types.Errors.Error -> a
b185d212e6fd3e08580a9e8d59a48b3a
  err ::
    Language.Fixpoint.Types.Spans.SrcSpan
    -> Text.PrettyPrint.HughesPJ.Doc
    -> Language.Fixpoint.Types.Errors.Error
1b44d16a35f790f81b0819a885850082
  errFreeVarInConstraint ::
    Language.Fixpoint.Types.PrettyPrint.PPrint a =>
    (GHC.Integer.Type.Integer, a)
    -> Language.Fixpoint.Types.Errors.Error
82ddb659e11b5ae48d3755bd93730d07
  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
c25420587d08e00e039c9644a9d14185
  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
62a216a0af54c99537c66c41aba7180d
  errLoc ::
    Language.Fixpoint.Types.Errors.Error1
    -> Language.Fixpoint.Types.Spans.SrcSpan
  RecSel Left Language.Fixpoint.Types.Errors.Error1
1394b0a150c256521bae7c69fc2efbd5
  errMsg ::
    Language.Fixpoint.Types.Errors.Error1
    -> Text.PrettyPrint.HughesPJ.Doc
  RecSel Left Language.Fixpoint.Types.Errors.Error1
9899583ca388b9aa2d49fc61bd63b3d1
  exit :: a -> GHC.Types.IO a -> GHC.Types.IO a
4018a879fe8492ebabe8f3905b1109b4
  resultDoc ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint a =>
    Language.Fixpoint.Types.Errors.FixResult a
    -> Text.PrettyPrint.HughesPJ.Doc
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.Exception [Language.Fixpoint.Types.Errors.Error]
  = Language.Fixpoint.Types.Errors.$fExceptionError
instance GHC.Exception.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 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 Data.Serialize.Serialize [Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails]
  = Language.Fixpoint.Types.Errors.$fSerializeAnnotDetails
instance Data.Serialize.Serialize [Text.PrettyPrint.HughesPJ.Doc]
  = Language.Fixpoint.Types.Errors.$fSerializeDoc
instance 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 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 GHC.Generics.Rep [Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails]
  = Language.Fixpoint.Types.Errors.Rep_AnnotDetails
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False