search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.19k stars 139 forks source link

ByteCodeLink.lookupCE compilation error #1807

Closed NCrashed closed 4 months ago

NCrashed commented 3 years ago

Current master bc39f4bde76b58a61ecb3b2adbba3868955157cc fails to compile in my setup (https://github.com/NCrashed/liquid-test/tree/ad3235d540187773f5f7cd35a7d2a5d82f1947fd run nix-shell).

Log:

these derivations will be built:
  /nix/store/a8jyyihjlcxkmbzszyram0q4a36827qw-liquidhaskell-0.8.10.2.1.drv
  /nix/store/2vgfkm0fsldjgyhpzi09l3v4gkxl55c7-liquid-ghc-prim-0.6.1.drv
  /nix/store/bwr241ay26kw8jl5p2azra1yd0kx8qa2-liquid-base-4.14.1.0.drv
  /nix/store/xr78in3a4iqnklmnxmm2jqdb6w638vpp-ghc-8.10.2-with-packages.drv
building '/nix/store/a8jyyihjlcxkmbzszyram0q4a36827qw-liquidhaskell-0.8.10.2.1.drv'...
setupCompilerEnvironmentPhase
Build with /nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2.
unpacking sources
unpacking source archive /nix/store/r3fl6grf1nvbri3r5jjg7fwxk684zk0d-liquidhaskell-bc39f4b
source root is liquidhaskell-bc39f4b
patching sources
compileBuildDriverPhase
setupCompileFlags: -package-db=/build/setup-package.conf.d -j16 +RTS -A64M -RTS -threaded -rtsopts
[1 of 1] Compiling Main             ( Setup.hs, /build/Main.o )
Linking Setup ...
configuring
configureFlags: --verbose --prefix=/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --datadir=/nix/store/ma3k3y626kkh9rcpav73d8lyw41cr35i-liquidhaskell-0.8.10.2.1-data/share/ghc-8.10.2 --docdir=/nix/store/fj9h5b1hlm7v8xfc64df2cf393zpm1nw-liquidhaskell-0.8.10.2.1-doc/share/doc/liquidhaskell-0.8.10.2.1 --with-gcc=gcc --package-db=/build/package.conf.d --ghc-options=-j16 +RTS -A64M -RTS --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --disable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections --extra-lib-dirs=/nix/store/pk73wc0x32y2bmbiqiddb084w398ab6y-ncurses-6.2/lib --extra-lib-dirs=/nix/store/s0mblhs5vmjza9dmipn74rwqflxy1fw7-libffi-3.3/lib --extra-lib-dirs=/nix/store/fphpbj8jpyibz0l2xspidg6s7zm7xyb5-gmp-6.2.0/lib --extra-lib-dirs=/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/lib
Using Parsec parser
Configuring liquidhaskell-0.8.10.2.1...
Flags chosen: deterministic-profiling=False, include=False,
mirror-modules-helper=False, no-plugin=False
Dependency Cabal <3.5: using Cabal-3.2.0.0
Dependency Diff >=0.3 && <0.5: using Diff-0.4.0
Dependency aeson -any: using aeson-1.4.7.1
Dependency base >=4.11.1.0 && <5: using base-4.14.1.0
Dependency binary -any: using binary-0.8.8.0
Dependency bytestring >=0.10: using bytestring-0.10.10.0
Dependency cereal -any: using cereal-0.5.8.1
Dependency cmdargs >=0.10: using cmdargs-0.10.20
Dependency containers >=0.5: using containers-0.6.2.1
Dependency data-default >=0.5: using data-default-0.7.1.1
Dependency deepseq >=1.3: using deepseq-1.4.4.0
Dependency directory >=1.2: using directory-1.3.6.0
Dependency exceptions <0.11: using exceptions-0.10.4
Dependency extra -any: using extra-1.7.8
Dependency filepath >=1.3: using filepath-1.4.2.1
Dependency fingertree >=0.1: using fingertree-0.1.4.2
Dependency ghc -any: using ghc-8.10.2
Dependency ghc-boot -any: using ghc-boot-8.10.2
Dependency ghc-paths >=0.1: using ghc-paths-0.1.0.12
Dependency ghc-prim -any: using ghc-prim-0.6.1
Dependency githash -any: using githash-0.1.4.0
Dependency gitrev -any: using gitrev-1.3.1
Dependency hashable >=1.3: using hashable-1.3.0.0
Dependency hscolour >=1.22: using hscolour-1.24.4
Dependency liquid-fixpoint >=0.8.10.2.1 && <0.9: using
liquid-fixpoint-0.8.10.2.1
Dependency megaparsec >=8: using megaparsec-8.0.0
Dependency mtl >=2.1: using mtl-2.2.2
Dependency optics >=0.2: using optics-0.3
Dependency optparse-applicative <0.16.0.0: using optparse-applicative-0.15.1.0
Dependency optparse-simple -any: using optparse-simple-0.1.1.3
Dependency pretty >=1.1: using pretty-1.1.3.6
Dependency split -any: using split-0.2.3.4
Dependency syb >=0.4.4: using syb-0.7.1
Dependency template-haskell >=2.9: using template-haskell-2.16.0.0
Dependency temporary >=1.2: using temporary-1.3
Dependency text >=1.2: using text-1.2.3.2
Dependency th-compat <0.2: using th-compat-0.1
Dependency time >=1.4: using time-1.9.3
Dependency transformers >=0.3: using transformers-0.5.6.2
Dependency unordered-containers >=0.2: using unordered-containers-0.2.10.0
Dependency vector >=0.10: using vector-0.12.1.2
Dependency base >=4.9.1.0 && <5: using base-4.14.1.0
Dependency liquidhaskell -any: using liquidhaskell-0.8.10.2.1
Source component graph:
    component lib
    component exe:liquid dependency lib
Configured component graph:
    component liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
        include Cabal-3.2.0.0
        include Diff-0.4.0-JBNSUpJe6nxGSqitTmSDEr
        include aeson-1.4.7.1-5boBM9NyZubFD0AoRl117x
        include base-4.14.1.0
        include binary-0.8.8.0
        include bytestring-0.10.10.0
        include cereal-0.5.8.1-K4eoB3Vbjd0BOqHMNB2vkb
        include cmdargs-0.10.20-9KBIsIybhkyDpmUgvwSQmd
        include containers-0.6.2.1
        include data-default-0.7.1.1-CYtyoeRTyO02nIfJy16t2P
        include deepseq-1.4.4.0
        include directory-1.3.6.0
        include exceptions-0.10.4
        include extra-1.7.8-7ZGuk5TbiOGBxgLdUxQ9rM
        include filepath-1.4.2.1
        include fingertree-0.1.4.2-FmPvusItP6LKAQjLIQj1xy
        include ghc-8.10.2
        include ghc-boot-8.10.2
        include ghc-paths-0.1.0.12-LgiNEBvorJD4Iq1vCUjVLQ
        include ghc-prim-0.6.1
        include githash-0.1.4.0-Bvff2aFex1Z9a1XGS9fC1h
        include gitrev-1.3.1-8zbW4Gmf0bNEVyiPARpmJF
        include hashable-1.3.0.0-LbDy9gRdgtwsa6TjiYNwc
        include hscolour-1.24.4-9wt4elazo2aH9hYqFI5h4w
        include liquid-fixpoint-0.8.10.2.1-CjDhTIE8esLsooXnWkFn2
        include megaparsec-8.0.0-Dli7Ffkr0sCJFl3t1qqccD
        include mtl-2.2.2
        include optics-0.3-7WMZgoXNcbk66pTpdJGFkR
        include optparse-applicative-0.15.1.0-1D6RLAdqC99oqi57eL7mc
        include optparse-simple-0.1.1.3-5FgjjFOvW9O42eBzM9PToD
        include pretty-1.1.3.6
        include split-0.2.3.4-EpN3teJALTy95eNagrpgP0
        include syb-0.7.1-9JFO3mQbyUzDXOw9C5icUg
        include template-haskell-2.16.0.0
        include temporary-1.3-DdsoQr4BEJlCP0JCBOVDi7
        include text-1.2.3.2
        include th-compat-0.1-L4idzGfzPqJ8NctCAgvgu2
        include time-1.9.3
        include transformers-0.5.6.2
        include unordered-containers-0.2.10.0-12mz7V4k8G0984S96JyWKq
        include vector-0.12.1.2-WH4mgR5hxNGoVQ5RnEINX
    component liquidhaskell-0.8.10.2.1-7NLqyBXwmolAuohUIE3WK7-liquid
        include base-4.14.1.0
        include liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
Linked component graph:
    unit liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
        include Cabal-3.2.0.0
        include Diff-0.4.0-JBNSUpJe6nxGSqitTmSDEr
        include aeson-1.4.7.1-5boBM9NyZubFD0AoRl117x
        include base-4.14.1.0
        include binary-0.8.8.0
        include bytestring-0.10.10.0
        include cereal-0.5.8.1-K4eoB3Vbjd0BOqHMNB2vkb
        include cmdargs-0.10.20-9KBIsIybhkyDpmUgvwSQmd
        include containers-0.6.2.1
        include data-default-0.7.1.1-CYtyoeRTyO02nIfJy16t2P
        include deepseq-1.4.4.0
        include directory-1.3.6.0
        include exceptions-0.10.4
        include extra-1.7.8-7ZGuk5TbiOGBxgLdUxQ9rM
        include filepath-1.4.2.1
        include fingertree-0.1.4.2-FmPvusItP6LKAQjLIQj1xy
        include ghc-8.10.2
        include ghc-boot-8.10.2
        include ghc-paths-0.1.0.12-LgiNEBvorJD4Iq1vCUjVLQ
        include ghc-prim-0.6.1
        include githash-0.1.4.0-Bvff2aFex1Z9a1XGS9fC1h
        include gitrev-1.3.1-8zbW4Gmf0bNEVyiPARpmJF
        include hashable-1.3.0.0-LbDy9gRdgtwsa6TjiYNwc
        include hscolour-1.24.4-9wt4elazo2aH9hYqFI5h4w
        include liquid-fixpoint-0.8.10.2.1-CjDhTIE8esLsooXnWkFn2
        include megaparsec-8.0.0-Dli7Ffkr0sCJFl3t1qqccD
        include mtl-2.2.2
        include optics-0.3-7WMZgoXNcbk66pTpdJGFkR
        include optparse-applicative-0.15.1.0-1D6RLAdqC99oqi57eL7mc
        include optparse-simple-0.1.1.3-5FgjjFOvW9O42eBzM9PToD
        include pretty-1.1.3.6
        include split-0.2.3.4-EpN3teJALTy95eNagrpgP0
        include syb-0.7.1-9JFO3mQbyUzDXOw9C5icUg
        include template-haskell-2.16.0.0
        include temporary-1.3-DdsoQr4BEJlCP0JCBOVDi7
        include text-1.2.3.2
        include th-compat-0.1-L4idzGfzPqJ8NctCAgvgu2
        include time-1.9.3
        include transformers-0.5.6.2
        include unordered-containers-0.2.10.0-12mz7V4k8G0984S96JyWKq
        include vector-0.12.1.2-WH4mgR5hxNGoVQ5RnEINX
        Gradual.Concretize=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.Concretize,Gradual.GUI=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.GUI,Gradual.GUI.Annotate=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.GUI.Annotate,Gradual.GUI.Misc=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.GUI.Misc,Gradual.GUI.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.GUI.Types,Gradual.Misc=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.Misc,Gradual.PrettyPrinting=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.PrettyPrinting,Gradual.Refinements=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.Refinements,Gradual.Trivial=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.Trivial,Gradual.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.Types,Gradual.Uniquify=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Gradual.Uniquify,Language.Haskell.Liquid.Bare=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare,Language.Haskell.Liquid.Bare.Axiom=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Axiom,Language.Haskell.Liquid.Bare.Check=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Check,Language.Haskell.Liquid.Bare.Class=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Class,Language.Haskell.Liquid.Bare.DataType=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.DataType,Language.Haskell.Liquid.Bare.Expand=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Expand,Language.Haskell.Liquid.Bare.Laws=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Laws,Language.Haskell.Liquid.Bare.Measure=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Measure,Language.Haskell.Liquid.Bare.Misc=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Misc,Language.Haskell.Liquid.Bare.Plugged=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Plugged,Language.Haskell.Liquid.Bare.Resolve=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Resolve,Language.Haskell.Liquid.Bare.ToBare=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.ToBare,Language.Haskell.Liquid.Bare.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Bare.Types,Language.Haskell.Liquid.Cabal=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Cabal,Language.Haskell.Liquid.Constraint.Constraint=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Constraint,Language.Haskell.Liquid.Constraint.Env=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Env,Language.Haskell.Liquid.Constraint.Fresh=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Fresh,Language.Haskell.Liquid.Constraint.Generate=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Generate,Language.Haskell.Liquid.Constraint.Init=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Init,Language.Haskell.Liquid.Constraint.Monad=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Monad,Language.Haskell.Liquid.Constraint.Qualifier=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Qualifier,Language.Haskell.Liquid.Constraint.Split=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Split,Language.Haskell.Liquid.Constraint.ToFixpoint=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.ToFixpoint,Language.Haskell.Liquid.Constraint.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Constraint.Types,Language.Haskell.Liquid.GHC.API=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.API,Language.Haskell.Liquid.GHC.API.StableModule=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.API.StableModule,Language.Haskell.Liquid.GHC.GhcMonadLike=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.GhcMonadLike,Language.Haskell.Liquid.GHC.Interface=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Interface,Language.Haskell.Liquid.GHC.Logging=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Logging,Language.Haskell.Liquid.GHC.Misc=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Misc,Language.Haskell.Liquid.GHC.Play=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Play,Language.Haskell.Liquid.GHC.Plugin=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Plugin,Language.Haskell.Liquid.GHC.Plugin.Tutorial=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Plugin.Tutorial,Language.Haskell.Liquid.GHC.Resugar=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Resugar,Language.Haskell.Liquid.GHC.SpanStack=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.SpanStack,Language.Haskell.Liquid.GHC.TypeRep=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.TypeRep,Language.Haskell.Liquid.GHC.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.GHC.Types,Language.Haskell.Liquid.Interactive.Handler=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Interactive.Handler,Language.Haskell.Liquid.Interactive.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Interactive.Types,Language.Haskell.Liquid.LawInstances=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.LawInstances,Language.Haskell.Liquid.Liquid=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Liquid,Language.Haskell.Liquid.Measure=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Measure,Language.Haskell.Liquid.Misc=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Misc,Language.Haskell.Liquid.Parse=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Parse,Language.Haskell.Liquid.Synthesize=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize,Language.Haskell.Liquid.Synthesize.Check=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.Check,Language.Haskell.Liquid.Synthesize.Env=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.Env,Language.Haskell.Liquid.Synthesize.GHC=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.GHC,Language.Haskell.Liquid.Synthesize.Generate=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.Generate,Language.Haskell.Liquid.Synthesize.Misc=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.Misc,Language.Haskell.Liquid.Synthesize.Monad=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.Monad,Language.Haskell.Liquid.Synthesize.Termination=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Synthesize.Termination,Language.Haskell.Liquid.Termination.Structural=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Termination.Structural,Language.Haskell.Liquid.Transforms.ANF=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Transforms.ANF,Language.Haskell.Liquid.Transforms.CoreToLogic=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Transforms.CoreToLogic,Language.Haskell.Liquid.Transforms.Rec=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Transforms.Rec,Language.Haskell.Liquid.Transforms.RefSplit=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Transforms.RefSplit,Language.Haskell.Liquid.Transforms.Rewrite=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Transforms.Rewrite,Language.Haskell.Liquid.Transforms.Simplify=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Transforms.Simplify,Language.Haskell.Liquid.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types,Language.Haskell.Liquid.Types.Bounds=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Bounds,Language.Haskell.Liquid.Types.Dictionaries=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Dictionaries,Language.Haskell.Liquid.Types.Equality=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Equality,Language.Haskell.Liquid.Types.Errors=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Errors,Language.Haskell.Liquid.Types.Fresh=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Fresh,Language.Haskell.Liquid.Types.Generics=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Generics,Language.Haskell.Liquid.Types.Literals=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Literals,Language.Haskell.Liquid.Types.Meet=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Meet,Language.Haskell.Liquid.Types.Names=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Names,Language.Haskell.Liquid.Types.PredType=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.PredType,Language.Haskell.Liquid.Types.PrettyPrint=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.PrettyPrint,Language.Haskell.Liquid.Types.RefType=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.RefType,Language.Haskell.Liquid.Types.Specs=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Specs,Language.Haskell.Liquid.Types.Types=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Types,Language.Haskell.Liquid.Types.Variance=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Variance,Language.Haskell.Liquid.Types.Visitors=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.Types.Visitors,Language.Haskell.Liquid.UX.ACSS=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.ACSS,Language.Haskell.Liquid.UX.Annotate=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.Annotate,Language.Haskell.Liquid.UX.CTags=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.CTags,Language.Haskell.Liquid.UX.CmdLine=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.CmdLine,Language.Haskell.Liquid.UX.Config=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.Config,Language.Haskell.Liquid.UX.DiffCheck=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.DiffCheck,Language.Haskell.Liquid.UX.Errors=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.Errors,Language.Haskell.Liquid.UX.QuasiQuoter=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.QuasiQuoter,Language.Haskell.Liquid.UX.Tidy=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.UX.Tidy,Language.Haskell.Liquid.WiredIn=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Language.Haskell.Liquid.WiredIn,LiquidHaskell=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:LiquidHaskell,Paths_liquidhaskell=liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti:Paths_liquidhaskell
    unit liquidhaskell-0.8.10.2.1-7NLqyBXwmolAuohUIE3WK7-liquid
        include base-4.14.1.0
        include liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
Ready component graph:
    definite liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
        depends Cabal-3.2.0.0
        depends Diff-0.4.0-JBNSUpJe6nxGSqitTmSDEr
        depends aeson-1.4.7.1-5boBM9NyZubFD0AoRl117x
        depends base-4.14.1.0
        depends binary-0.8.8.0
        depends bytestring-0.10.10.0
        depends cereal-0.5.8.1-K4eoB3Vbjd0BOqHMNB2vkb
        depends cmdargs-0.10.20-9KBIsIybhkyDpmUgvwSQmd
        depends containers-0.6.2.1
        depends data-default-0.7.1.1-CYtyoeRTyO02nIfJy16t2P
        depends deepseq-1.4.4.0
        depends directory-1.3.6.0
        depends exceptions-0.10.4
        depends extra-1.7.8-7ZGuk5TbiOGBxgLdUxQ9rM
        depends filepath-1.4.2.1
        depends fingertree-0.1.4.2-FmPvusItP6LKAQjLIQj1xy
        depends ghc-8.10.2
        depends ghc-boot-8.10.2
        depends ghc-paths-0.1.0.12-LgiNEBvorJD4Iq1vCUjVLQ
        depends ghc-prim-0.6.1
        depends githash-0.1.4.0-Bvff2aFex1Z9a1XGS9fC1h
        depends gitrev-1.3.1-8zbW4Gmf0bNEVyiPARpmJF
        depends hashable-1.3.0.0-LbDy9gRdgtwsa6TjiYNwc
        depends hscolour-1.24.4-9wt4elazo2aH9hYqFI5h4w
        depends liquid-fixpoint-0.8.10.2.1-CjDhTIE8esLsooXnWkFn2
        depends megaparsec-8.0.0-Dli7Ffkr0sCJFl3t1qqccD
        depends mtl-2.2.2
        depends optics-0.3-7WMZgoXNcbk66pTpdJGFkR
        depends optparse-applicative-0.15.1.0-1D6RLAdqC99oqi57eL7mc
        depends optparse-simple-0.1.1.3-5FgjjFOvW9O42eBzM9PToD
        depends pretty-1.1.3.6
        depends split-0.2.3.4-EpN3teJALTy95eNagrpgP0
        depends syb-0.7.1-9JFO3mQbyUzDXOw9C5icUg
        depends template-haskell-2.16.0.0
        depends temporary-1.3-DdsoQr4BEJlCP0JCBOVDi7
        depends text-1.2.3.2
        depends th-compat-0.1-L4idzGfzPqJ8NctCAgvgu2
        depends time-1.9.3
        depends transformers-0.5.6.2
        depends unordered-containers-0.2.10.0-12mz7V4k8G0984S96JyWKq
        depends vector-0.12.1.2-WH4mgR5hxNGoVQ5RnEINX
    definite liquidhaskell-0.8.10.2.1-7NLqyBXwmolAuohUIE3WK7-liquid
        depends base-4.14.1.0
        depends liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
Using Cabal-3.2.0.0 compiled by ghc-8.10
Using compiler: ghc-8.10.2
Using install prefix:
/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1
Executables installed in:
/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1/bin
Libraries installed in:
/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1/lib/ghc-8.10.2/x86_64-linux-ghc-8.10.2/liquidhaskell-0.8.10.2.1-8KfHn5c55nyIG25B37xzti
Dynamic Libraries installed in:
/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1/lib/ghc-8.10.2/x86_64-linux-ghc-8.10.2
Private executables installed in:
/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1/libexec/x86_64-linux-ghc-8.10.2/liquidhaskell-0.8.10.2.1
Data files installed in:
/nix/store/ma3k3y626kkh9rcpav73d8lyw41cr35i-liquidhaskell-0.8.10.2.1-data/share/ghc-8.10.2/x86_64-linux-ghc-8.10.2/liquidhaskell-0.8.10.2.1
Documentation installed in:
/nix/store/fj9h5b1hlm7v8xfc64df2cf393zpm1nw-liquidhaskell-0.8.10.2.1-doc/share/doc/liquidhaskell-0.8.10.2.1
Configuration files installed in:
/nix/store/awrj4v626l03y8fjbvai5wjvib8vclnm-liquidhaskell-0.8.10.2.1/etc
No alex found
Using ar found on system at:
/nix/store/p792j5f44l3f0xi7ai5jllwnxqwnka88-binutils-2.31.1/bin/ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 9.3.0 given by user at:
/nix/store/8pbwywcj6vbswz7xmy2dh716x8blgh8w-gcc-wrapper-9.3.0/bin/gcc
Using ghc version 8.10.2 found on system at:
/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/bin/ghc
Using ghc-pkg version 8.10.2 found on system at:
/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.24.0 found on system at:
/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/bin/haddock
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.68 found on system at:
/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/bin/hpc
Using hsc2hs version 0.68.7 found on system at:
/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/9y8wiqbda836hs4i9h0dczi92yh4h04s-hscolour-1.24.4/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/5sj06x18pd8an12ndl65hlwmp8afnrwa-binutils-wrapper-2.31.1/bin/ld.gold
No pkg-config found
Using runghc version 8.10.2 found on system at:
/nix/store/fhr8yhldivkiwnzw4skaa83qj1gjr4ky-ghc-8.10.2/bin/runghc
Using strip version 2.31 found on system at:
/nix/store/p792j5f44l3f0xi7ai5jllwnxqwnka88-binutils-2.31.1/bin/strip
Using tar found on system at:
/nix/store/1yyn6aar4kw3vjn2fs5xv5jxywdly8wn-gnutar-1.32/bin/tar
No uhc found
building
Preprocessing library for liquidhaskell-0.8.10.2.1..
Building library for liquidhaskell-0.8.10.2.1..
[  1 of 102] Compiling Gradual.GUI.Misc ( src/Gradual/GUI/Misc.hs, dist/build/Gradual/GUI/Misc.o, dist/build/Gradual/GUI/Misc.dyn_o )
[  2 of 102] Compiling Gradual.Misc     ( src/Gradual/Misc.hs, dist/build/Gradual/Misc.o, dist/build/Gradual/Misc.dyn_o )
[  3 of 102] Compiling Gradual.Trivial  ( src/Gradual/Trivial.hs, dist/build/Gradual/Trivial.o, dist/build/Gradual/Trivial.dyn_o )
[  4 of 102] Compiling Language.Haskell.Liquid.Cabal ( src/Language/Haskell/Liquid/Cabal.hs, dist/build/Language/Haskell/Liquid/Cabal.o, dist/build/Language/Haskell/Liquid/Cabal.dyn_o )
[  5 of 102] Compiling Language.Haskell.Liquid.GHC.API.StableModule ( src/Language/Haskell/Liquid/GHC/API/StableModule.hs, dist/build/Language/Haskell/Liquid/GHC/API/StableModule.o, dist/build/Language/Haskell/Liquid/GHC/API/StableModule.dyn_o )
[  6 of 102] Compiling Language.Haskell.Liquid.GHC.API ( src/Language/Haskell/Liquid/GHC/API.hs, dist/build/Language/Haskell/Liquid/GHC/API.o, dist/build/Language/Haskell/Liquid/GHC/API.dyn_o )

src/Language/Haskell/Liquid/GHC/API.hs:121:1: warning: [-Wdodgy-imports]
    Module ‘GHC’ does not export ‘dataConInstArgTys’
    |
121 | import           GHC                                               as Ghc hiding ( Warning
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/API.hs:184:1: warning: [-Wunused-imports]
    The import of ‘TcRnTypes’ is redundant
      except perhaps to import instances from ‘TcRnTypes’
    To import instances alone, use: import TcRnTypes()
    |
184 | import TcRnTypes                as Ghc
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/GHC/API.hs:199:1: warning: [-Wunused-imports]
    The qualified import of ‘DataCon’ is redundant
      except perhaps to import instances from ‘DataCon’
    To import instances alone, use: import DataCon()
    |
199 | import qualified DataCon        as Ghc
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/GHC/API.hs:271:1: warning: [-Wunused-imports]
    The import of ‘DynFlags’ is redundant
      except perhaps to import instances from ‘DynFlags’
    To import instances alone, use: import DynFlags()
    |
271 | import DynFlags          as  Ghc (targetPlatform)
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[  7 of 102] Compiling Language.Haskell.Liquid.GHC.GhcMonadLike ( src/Language/Haskell/Liquid/GHC/GhcMonadLike.hs, dist/build/Language/Haskell/Liquid/GHC/GhcMonadLike.o, dist/build/Language/Haskell/Liquid/GHC/GhcMonadLike.dyn_o )
[  8 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Tutorial ( src/Language/Haskell/Liquid/GHC/Plugin/Tutorial.hs, dist/build/Language/Haskell/Liquid/GHC/Plugin/Tutorial.o, dist/build/Language/Haskell/Liquid/GHC/Plugin/Tutorial.dyn_o )
[  9 of 102] Compiling Language.Haskell.Liquid.GHC.Types ( src/Language/Haskell/Liquid/GHC/Types.hs, dist/build/Language/Haskell/Liquid/GHC/Types.o, dist/build/Language/Haskell/Liquid/GHC/Types.dyn_o )
[ 10 of 102] Compiling Language.Haskell.Liquid.Types.Generics ( src/Language/Haskell/Liquid/Types/Generics.hs, dist/build/Language/Haskell/Liquid/Types/Generics.o, dist/build/Language/Haskell/Liquid/Types/Generics.dyn_o )
[ 11 of 102] Compiling Language.Haskell.Liquid.Types.Names ( src/Language/Haskell/Liquid/Types/Names.hs, dist/build/Language/Haskell/Liquid/Types/Names.o, dist/build/Language/Haskell/Liquid/Types/Names.dyn_o )
[ 12 of 102] Compiling Language.Haskell.Liquid.Types.Variance ( src/Language/Haskell/Liquid/Types/Variance.hs, dist/build/Language/Haskell/Liquid/Types/Variance.o, dist/build/Language/Haskell/Liquid/Types/Variance.dyn_o )
[ 13 of 102] Compiling Language.Haskell.Liquid.UX.Config ( src/Language/Haskell/Liquid/UX/Config.hs, dist/build/Language/Haskell/Liquid/UX/Config.o, dist/build/Language/Haskell/Liquid/UX/Config.dyn_o )
[ 14 of 102] Compiling Gradual.Types    ( src/Gradual/Types.hs, dist/build/Gradual/Types.o, dist/build/Gradual/Types.dyn_o )
[ 15 of 102] Compiling Gradual.Uniquify ( src/Gradual/Uniquify.hs, dist/build/Gradual/Uniquify.o, dist/build/Gradual/Uniquify.dyn_o )
[ 16 of 102] Compiling Gradual.Refinements ( src/Gradual/Refinements.hs, dist/build/Gradual/Refinements.o, dist/build/Gradual/Refinements.dyn_o )
[ 17 of 102] Compiling Gradual.Concretize ( src/Gradual/Concretize.hs, dist/build/Gradual/Concretize.o, dist/build/Gradual/Concretize.dyn_o )
[ 18 of 102] Compiling Paths_liquidhaskell ( dist/build/autogen/Paths_liquidhaskell.hs, dist/build/Paths_liquidhaskell.o, dist/build/Paths_liquidhaskell.dyn_o )
[ 19 of 102] Compiling Language.Haskell.Liquid.Misc ( src/Language/Haskell/Liquid/Misc.hs, dist/build/Language/Haskell/Liquid/Misc.o, dist/build/Language/Haskell/Liquid/Misc.dyn_o )
[ 20 of 102] Compiling Language.Haskell.Liquid.Types.Errors ( src/Language/Haskell/Liquid/Types/Errors.hs, dist/build/Language/Haskell/Liquid/Types/Errors.o, dist/build/Language/Haskell/Liquid/Types/Errors.dyn_o )

src/Language/Haskell/Liquid/Types/Errors.hs:519:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘pprSrcSpan’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
519 | pprSrcSpan (UnhelpfulSpan reason) = text $ case reason of
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/Errors.hs:714:3: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘toJSON’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
714 |   toJSON (RealSrcSpan rsp _) = object [ "realSpan" .= True, "spanInfo" .= rsp ]
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 21 of 102] Compiling Language.Haskell.Liquid.GHC.Logging ( src/Language/Haskell/Liquid/GHC/Logging.hs, dist/build/Language/Haskell/Liquid/GHC/Logging.o, dist/build/Language/Haskell/Liquid/GHC/Logging.dyn_o )
[ 22 of 102] Compiling Language.Haskell.Liquid.GHC.Misc ( src/Language/Haskell/Liquid/GHC/Misc.hs, dist/build/Language/Haskell/Liquid/GHC/Misc.o, dist/build/Language/Haskell/Liquid/GHC/Misc.dyn_o )

src/Language/Haskell/Liquid/GHC/Misc.hs:206:3: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘hashWithSalt’:
        Patterns not matched:
            _ (SrcLoc.RealSrcSpan _)
            _ (SrcLoc.UnhelpfulSpan _)
    |
206 |   hashWithSalt i (UnhelpfulSpan reason) = case reason of
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Misc.hs:242:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘srcSpanSourcePos’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
242 | srcSpanSourcePos (UnhelpfulSpan _) = dummyPos "<no source information>"
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Misc.hs:246:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘srcSpanSourcePosE’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
246 | srcSpanSourcePosE (UnhelpfulSpan _) = dummyPos "<no source information>"
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 23 of 102] Compiling Language.Haskell.Liquid.UX.ACSS ( src/Language/Haskell/Liquid/UX/ACSS.hs, dist/build/Language/Haskell/Liquid/UX/ACSS.o, dist/build/Language/Haskell/Liquid/UX/ACSS.dyn_o )
[ 24 of 102] Compiling Language.Haskell.Liquid.Types.Visitors ( src/Language/Haskell/Liquid/Types/Visitors.hs, dist/build/Language/Haskell/Liquid/Types/Visitors.o, dist/build/Language/Haskell/Liquid/Types/Visitors.dyn_o )
[ 25 of 102] Compiling Language.Haskell.Liquid.Types.Types ( src/Language/Haskell/Liquid/Types/Types.hs, dist/build/Language/Haskell/Liquid/Types/Types.o, dist/build/Language/Haskell/Liquid/Types/Types.dyn_o )
[ 26 of 102] Compiling Language.Haskell.Liquid.Types.PrettyPrint ( src/Language/Haskell/Liquid/Types/PrettyPrint.hs, dist/build/Language/Haskell/Liquid/Types/PrettyPrint.o, dist/build/Language/Haskell/Liquid/Types/PrettyPrint.dyn_o )
[ 27 of 102] Compiling Language.Haskell.Liquid.UX.CTags ( src/Language/Haskell/Liquid/UX/CTags.hs, dist/build/Language/Haskell/Liquid/UX/CTags.o, dist/build/Language/Haskell/Liquid/UX/CTags.dyn_o )
[ 28 of 102] Compiling Language.Haskell.Liquid.GHC.TypeRep ( src/Language/Haskell/Liquid/GHC/TypeRep.hs, dist/build/Language/Haskell/Liquid/GHC/TypeRep.o, dist/build/Language/Haskell/Liquid/GHC/TypeRep.dyn_o )

src/Language/Haskell/Liquid/GHC/TypeRep.hs:62:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘showTy’:
        Patterns not matched: TyCoRep.FunTy _ _ _
   |
62 | showTy (TyConApp c ts) = "(RApp   " ++ showPpr c ++ " " ++ sep' ", " (showTy <$> ts) ++ ")"
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/TypeRep.hs:90:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘substType’:
        Patterns not matched:
            (Var.TyVar _ _ _) (TyVarTy _) (TyCoRep.FunTy _ _ _)
            (Var.TyVar _ _ _) (AppTy _ _) (TyCoRep.FunTy _ _ _)
            (Var.TyVar _ _ _) (TyConApp _ _) (TyCoRep.FunTy _ _ _)
            (Var.TyVar _ _ _) (ForAllTy _ _) (TyCoRep.FunTy _ _ _)
            ...
   |
90 | substType x tx (TyConApp c ts) 
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 29 of 102] Compiling Language.Haskell.Liquid.GHC.SpanStack ( src/Language/Haskell/Liquid/GHC/SpanStack.hs, dist/build/Language/Haskell/Liquid/GHC/SpanStack.o, dist/build/Language/Haskell/Liquid/GHC/SpanStack.dyn_o )
[ 30 of 102] Compiling Language.Haskell.Liquid.GHC.Resugar ( src/Language/Haskell/Liquid/GHC/Resugar.hs, dist/build/Language/Haskell/Liquid/GHC/Resugar.o, dist/build/Language/Haskell/Liquid/GHC/Resugar.dyn_o )
[ 31 of 102] Compiling Language.Haskell.Liquid.GHC.Play ( src/Language/Haskell/Liquid/GHC/Play.hs, dist/build/Language/Haskell/Liquid/GHC/Play.o, dist/build/Language/Haskell/Liquid/GHC/Play.dyn_o )

src/Language/Haskell/Liquid/GHC/Play.hs:103:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘substTysWith’:
        Patterns not matched:
            unordered-containers-0.2.10.0:Data.HashMap.Base.Empty
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashMap.Base.BitmapIndexed _ _)
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashMap.Base.Leaf _ _)
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashMap.Base.Full _)
            (TyCoRep.FunTy _ _ _)
            ...
    |
103 | substTysWith s tv@(TyVarTy v)      = M.lookupDefault tv v s
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Play.hs:131:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’: Patterns not matched: TyCoRep.FunTy _ _ _
    |
131 |     go t@(TyVarTy _)        = f t
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 32 of 102] Compiling Language.Haskell.Liquid.Types.RefType ( src/Language/Haskell/Liquid/Types/RefType.hs, dist/build/Language/Haskell/Liquid/Types/RefType.o, dist/build/Language/Haskell/Liquid/Types/RefType.dyn_o )

src/Language/Haskell/Liquid/Types/RefType.hs:1386:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’: Patterns not matched: TyCoRep.FunTy _ _ _
     |
1386 |     go (TyVarTy α)
     |     ^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/RefType.hs:1457:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘isBaseTy’:
        Patterns not matched: TyCoRep.FunTy _ _ _
     |
1457 | isBaseTy (TyVarTy _)      = True
     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/RefType.hs:1853:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’:
        Patterns not matched:
            False (TyCoRep.FunTy _ _ _)
            True (TyCoRep.FunTy _ _ _)
     |
1853 |     go pos (FunTy _ _ t1 t2) = go (not pos) t1 ++ go pos t2
     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/RefType.hs:1885:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’:
        Patterns not matched:
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             unordered-containers-0.2.10.0:Data.HashMap.Base.Empty)
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             (unordered-containers-0.2.10.0:Data.HashMap.Base.BitmapIndexed _
              _))
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             (unordered-containers-0.2.10.0:Data.HashMap.Base.Leaf _ _))
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             (unordered-containers-0.2.10.0:Data.HashMap.Base.Full _))
            (TyCoRep.FunTy _ _ _)
            ...
     |
1885 |     go  vis (FunTy _ _ t1 t2) = go vis t1 `S.union` go vis t2
     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 33 of 102] Compiling Language.Haskell.Liquid.UX.Tidy ( src/Language/Haskell/Liquid/UX/Tidy.hs, dist/build/Language/Haskell/Liquid/UX/Tidy.o, dist/build/Language/Haskell/Liquid/UX/Tidy.dyn_o )
[ 34 of 102] Compiling Language.Haskell.Liquid.Types.PredType ( src/Language/Haskell/Liquid/Types/PredType.hs, dist/build/Language/Haskell/Liquid/Types/PredType.o, dist/build/Language/Haskell/Liquid/Types/PredType.dyn_o )
[ 35 of 102] Compiling Language.Haskell.Liquid.WiredIn ( src/Language/Haskell/Liquid/WiredIn.hs, dist/build/Language/Haskell/Liquid/WiredIn.o, dist/build/Language/Haskell/Liquid/WiredIn.dyn_o )
[ 36 of 102] Compiling Language.Haskell.Liquid.Types.Meet ( src/Language/Haskell/Liquid/Types/Meet.hs, dist/build/Language/Haskell/Liquid/Types/Meet.o, dist/build/Language/Haskell/Liquid/Types/Meet.dyn_o )
[ 37 of 102] Compiling Language.Haskell.Liquid.Types.Fresh ( src/Language/Haskell/Liquid/Types/Fresh.hs, dist/build/Language/Haskell/Liquid/Types/Fresh.o, dist/build/Language/Haskell/Liquid/Types/Fresh.dyn_o )
[ 38 of 102] Compiling Language.Haskell.Liquid.Types.Dictionaries ( src/Language/Haskell/Liquid/Types/Dictionaries.hs, dist/build/Language/Haskell/Liquid/Types/Dictionaries.o, dist/build/Language/Haskell/Liquid/Types/Dictionaries.dyn_o )
[ 39 of 102] Compiling Language.Haskell.Liquid.Types.Bounds ( src/Language/Haskell/Liquid/Types/Bounds.hs, dist/build/Language/Haskell/Liquid/Types/Bounds.o, dist/build/Language/Haskell/Liquid/Types/Bounds.dyn_o )
[ 40 of 102] Compiling Language.Haskell.Liquid.Types.Specs ( src/Language/Haskell/Liquid/Types/Specs.hs, dist/build/Language/Haskell/Liquid/Types/Specs.o, dist/build/Language/Haskell/Liquid/Types/Specs.dyn_o )
[ 41 of 102] Compiling Language.Haskell.Liquid.Measure ( src/Language/Haskell/Liquid/Measure.hs, dist/build/Language/Haskell/Liquid/Measure.o, dist/build/Language/Haskell/Liquid/Measure.dyn_o )
[ 42 of 102] Compiling Language.Haskell.Liquid.Bare.Types ( src/Language/Haskell/Liquid/Bare/Types.hs, dist/build/Language/Haskell/Liquid/Bare/Types.o, dist/build/Language/Haskell/Liquid/Bare/Types.dyn_o )
[ 43 of 102] Compiling Language.Haskell.Liquid.Transforms.Rewrite ( src/Language/Haskell/Liquid/Transforms/Rewrite.hs, dist/build/Language/Haskell/Liquid/Transforms/Rewrite.o, dist/build/Language/Haskell/Liquid/Transforms/Rewrite.dyn_o )
[ 44 of 102] Compiling Language.Haskell.Liquid.Transforms.Rec ( src/Language/Haskell/Liquid/Transforms/Rec.hs, dist/build/Language/Haskell/Liquid/Transforms/Rec.o, dist/build/Language/Haskell/Liquid/Transforms/Rec.dyn_o )
[ 45 of 102] Compiling Language.Haskell.Liquid.Transforms.ANF ( src/Language/Haskell/Liquid/Transforms/ANF.hs, dist/build/Language/Haskell/Liquid/Transforms/ANF.o, dist/build/Language/Haskell/Liquid/Transforms/ANF.dyn_o )

src/Language/Haskell/Liquid/Transforms/ANF.hs:18:1: warning: [-Wunused-imports]
    The qualified import of ‘Language.Haskell.Liquid.GHC.API’ is redundant
      except perhaps to import instances from ‘Language.Haskell.Liquid.GHC.API’
    To import instances alone, use: import Language.Haskell.Liquid.GHC.API()
   |
18 | import qualified Language.Haskell.Liquid.GHC.API  as O
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/Transforms/ANF.hs:28:1: warning: [-Wunused-imports]
    The qualified import of ‘Language.Haskell.Liquid.Types.PrettyPrint’ is redundant
      except perhaps to import instances from ‘Language.Haskell.Liquid.Types.PrettyPrint’
    To import instances alone, use: import Language.Haskell.Liquid.Types.PrettyPrint()
   |
28 | import qualified Language.Haskell.Liquid.Types.PrettyPrint as F
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 46 of 102] Compiling Language.Haskell.Liquid.Bare.Misc ( src/Language/Haskell/Liquid/Bare/Misc.hs, dist/build/Language/Haskell/Liquid/Bare/Misc.o, dist/build/Language/Haskell/Liquid/Bare/Misc.dyn_o )
[ 47 of 102] Compiling Gradual.PrettyPrinting ( src/Gradual/PrettyPrinting.hs, dist/build/Gradual/PrettyPrinting.o, dist/build/Gradual/PrettyPrinting.dyn_o )
[ 48 of 102] Compiling Gradual.GUI.Types ( src/Gradual/GUI/Types.hs, dist/build/Gradual/GUI/Types.o, dist/build/Gradual/GUI/Types.dyn_o )
[ 49 of 102] Compiling Gradual.GUI.Annotate ( src/Gradual/GUI/Annotate.hs, dist/build/Gradual/GUI/Annotate.o, dist/build/Gradual/GUI/Annotate.dyn_o )
[ 50 of 102] Compiling Language.Haskell.Liquid.Bare.Resolve ( src/Language/Haskell/Liquid/Bare/Resolve.hs, dist/build/Language/Haskell/Liquid/Bare/Resolve.o, dist/build/Language/Haskell/Liquid/Bare/Resolve.dyn_o )
[ 51 of 102] Compiling Language.Haskell.Liquid.Bare.DataType ( src/Language/Haskell/Liquid/Bare/DataType.hs, dist/build/Language/Haskell/Liquid/Bare/DataType.o, dist/build/Language/Haskell/Liquid/Bare/DataType.dyn_o )
[ 52 of 102] Compiling Language.Haskell.Liquid.Transforms.CoreToLogic ( src/Language/Haskell/Liquid/Transforms/CoreToLogic.hs, dist/build/Language/Haskell/Liquid/Transforms/CoreToLogic.o, dist/build/Language/Haskell/Liquid/Transforms/CoreToLogic.dyn_o )
[ 53 of 102] Compiling Language.Haskell.Liquid.Types.Literals ( src/Language/Haskell/Liquid/Types/Literals.hs, dist/build/Language/Haskell/Liquid/Types/Literals.o, dist/build/Language/Haskell/Liquid/Types/Literals.dyn_o )
[ 54 of 102] Compiling Language.Haskell.Liquid.Types ( src/Language/Haskell/Liquid/Types.hs, dist/build/Language/Haskell/Liquid/Types.o, dist/build/Language/Haskell/Liquid/Types.dyn_o )
[ 55 of 102] Compiling Language.Haskell.Liquid.UX.DiffCheck ( src/Language/Haskell/Liquid/UX/DiffCheck.hs, dist/build/Language/Haskell/Liquid/UX/DiffCheck.o, dist/build/Language/Haskell/Liquid/UX/DiffCheck.dyn_o )
[ 56 of 102] Compiling Language.Haskell.Liquid.UX.Annotate ( src/Language/Haskell/Liquid/UX/Annotate.hs, dist/build/Language/Haskell/Liquid/UX/Annotate.o, dist/build/Language/Haskell/Liquid/UX/Annotate.dyn_o )
[ 57 of 102] Compiling Language.Haskell.Liquid.UX.CmdLine ( src/Language/Haskell/Liquid/UX/CmdLine.hs, dist/build/Language/Haskell/Liquid/UX/CmdLine.o, dist/build/Language/Haskell/Liquid/UX/CmdLine.dyn_o )

src/Language/Haskell/Liquid/UX/CmdLine.hs:555:16: warning: [-Wdeprecations]
    In the use of ‘getIncludeDir’
    (imported from Language.Haskell.Liquid.Misc):
    Deprecated: "getIncludeDir is deprecated. The hardcoded include folder will be removed in the future."
    |
555 |   id0       <- getIncludeDir
    |                ^^^^^^^^^^^^^
[ 58 of 102] Compiling Gradual.GUI      ( src/Gradual/GUI.hs, dist/build/Gradual/GUI.o, dist/build/Gradual/GUI.dyn_o )
[ 59 of 102] Compiling Language.Haskell.Liquid.Types.Equality ( src/Language/Haskell/Liquid/Types/Equality.hs, dist/build/Language/Haskell/Liquid/Types/Equality.o, dist/build/Language/Haskell/Liquid/Types/Equality.dyn_o )
[ 60 of 102] Compiling Language.Haskell.Liquid.Transforms.Simplify ( src/Language/Haskell/Liquid/Transforms/Simplify.hs, dist/build/Language/Haskell/Liquid/Transforms/Simplify.o, dist/build/Language/Haskell/Liquid/Transforms/Simplify.dyn_o )
[ 61 of 102] Compiling Language.Haskell.Liquid.UX.Errors ( src/Language/Haskell/Liquid/UX/Errors.hs, dist/build/Language/Haskell/Liquid/UX/Errors.o, dist/build/Language/Haskell/Liquid/UX/Errors.dyn_o )
[ 62 of 102] Compiling Language.Haskell.Liquid.Transforms.RefSplit ( src/Language/Haskell/Liquid/Transforms/RefSplit.hs, dist/build/Language/Haskell/Liquid/Transforms/RefSplit.o, dist/build/Language/Haskell/Liquid/Transforms/RefSplit.dyn_o )
[ 63 of 102] Compiling Language.Haskell.Liquid.Termination.Structural ( src/Language/Haskell/Liquid/Termination/Structural.hs, dist/build/Language/Haskell/Liquid/Termination/Structural.o, dist/build/Language/Haskell/Liquid/Termination/Structural.dyn_o )
[ 64 of 102] Compiling Language.Haskell.Liquid.Synthesize.Termination ( src/Language/Haskell/Liquid/Synthesize/Termination.hs, dist/build/Language/Haskell/Liquid/Synthesize/Termination.o, dist/build/Language/Haskell/Liquid/Synthesize/Termination.dyn_o )
[ 65 of 102] Compiling Language.Haskell.Liquid.Synthesize.GHC ( src/Language/Haskell/Liquid/Synthesize/GHC.hs, dist/build/Language/Haskell/Liquid/Synthesize/GHC.o, dist/build/Language/Haskell/Liquid/Synthesize/GHC.dyn_o )
[ 66 of 102] Compiling Language.Haskell.Liquid.Synthesize.Misc ( src/Language/Haskell/Liquid/Synthesize/Misc.hs, dist/build/Language/Haskell/Liquid/Synthesize/Misc.o, dist/build/Language/Haskell/Liquid/Synthesize/Misc.dyn_o )
[ 67 of 102] Compiling Language.Haskell.Liquid.Parse ( src/Language/Haskell/Liquid/Parse.hs, dist/build/Language/Haskell/Liquid/Parse.o, dist/build/Language/Haskell/Liquid/Parse.dyn_o )
[ 68 of 102] Compiling Language.Haskell.Liquid.UX.QuasiQuoter ( src/Language/Haskell/Liquid/UX/QuasiQuoter.hs, dist/build/Language/Haskell/Liquid/UX/QuasiQuoter.o, dist/build/Language/Haskell/Liquid/UX/QuasiQuoter.dyn_o )
[ 69 of 102] Compiling Language.Haskell.Liquid.LawInstances ( src/Language/Haskell/Liquid/LawInstances.hs, dist/build/Language/Haskell/Liquid/LawInstances.o, dist/build/Language/Haskell/Liquid/LawInstances.dyn_o )
[ 70 of 102] Compiling Language.Haskell.Liquid.Constraint.Types ( src/Language/Haskell/Liquid/Constraint/Types.hs, dist/build/Language/Haskell/Liquid/Constraint/Types.o, dist/build/Language/Haskell/Liquid/Constraint/Types.dyn_o )
[ 71 of 102] Compiling Language.Haskell.Liquid.Constraint.Qualifier ( src/Language/Haskell/Liquid/Constraint/Qualifier.hs, dist/build/Language/Haskell/Liquid/Constraint/Qualifier.o, dist/build/Language/Haskell/Liquid/Constraint/Qualifier.dyn_o )
[ 72 of 102] Compiling Language.Haskell.Liquid.Constraint.ToFixpoint ( src/Language/Haskell/Liquid/Constraint/ToFixpoint.hs, dist/build/Language/Haskell/Liquid/Constraint/ToFixpoint.o, dist/build/Language/Haskell/Liquid/Constraint/ToFixpoint.dyn_o )
[ 73 of 102] Compiling Language.Haskell.Liquid.Constraint.Fresh ( src/Language/Haskell/Liquid/Constraint/Fresh.hs, dist/build/Language/Haskell/Liquid/Constraint/Fresh.o, dist/build/Language/Haskell/Liquid/Constraint/Fresh.dyn_o )
[ 74 of 102] Compiling Language.Haskell.Liquid.Constraint.Env ( src/Language/Haskell/Liquid/Constraint/Env.hs, dist/build/Language/Haskell/Liquid/Constraint/Env.o, dist/build/Language/Haskell/Liquid/Constraint/Env.dyn_o )
[ 75 of 102] Compiling Language.Haskell.Liquid.Synthesize.Monad ( src/Language/Haskell/Liquid/Synthesize/Monad.hs, dist/build/Language/Haskell/Liquid/Synthesize/Monad.o, dist/build/Language/Haskell/Liquid/Synthesize/Monad.dyn_o )
[ 76 of 102] Compiling Language.Haskell.Liquid.Synthesize.Env ( src/Language/Haskell/Liquid/Synthesize/Env.hs, dist/build/Language/Haskell/Liquid/Synthesize/Env.o, dist/build/Language/Haskell/Liquid/Synthesize/Env.dyn_o )
[ 77 of 102] Compiling Language.Haskell.Liquid.Constraint.Monad ( src/Language/Haskell/Liquid/Constraint/Monad.hs, dist/build/Language/Haskell/Liquid/Constraint/Monad.o, dist/build/Language/Haskell/Liquid/Constraint/Monad.dyn_o )
[ 78 of 102] Compiling Language.Haskell.Liquid.Constraint.Init ( src/Language/Haskell/Liquid/Constraint/Init.hs, dist/build/Language/Haskell/Liquid/Constraint/Init.o, dist/build/Language/Haskell/Liquid/Constraint/Init.dyn_o )
[ 79 of 102] Compiling Language.Haskell.Liquid.Constraint.Constraint ( src/Language/Haskell/Liquid/Constraint/Constraint.hs, dist/build/Language/Haskell/Liquid/Constraint/Constraint.o, dist/build/Language/Haskell/Liquid/Constraint/Constraint.dyn_o )
[ 80 of 102] Compiling Language.Haskell.Liquid.Constraint.Split ( src/Language/Haskell/Liquid/Constraint/Split.hs, dist/build/Language/Haskell/Liquid/Constraint/Split.o, dist/build/Language/Haskell/Liquid/Constraint/Split.dyn_o )
[ 81 of 102] Compiling Language.Haskell.Liquid.Bare.ToBare ( src/Language/Haskell/Liquid/Bare/ToBare.hs, dist/build/Language/Haskell/Liquid/Bare/ToBare.o, dist/build/Language/Haskell/Liquid/Bare/ToBare.dyn_o )
[ 82 of 102] Compiling Language.Haskell.Liquid.Bare.Plugged ( src/Language/Haskell/Liquid/Bare/Plugged.hs, dist/build/Language/Haskell/Liquid/Bare/Plugged.o, dist/build/Language/Haskell/Liquid/Bare/Plugged.dyn_o )
[ 83 of 102] Compiling Language.Haskell.Liquid.Bare.Expand ( src/Language/Haskell/Liquid/Bare/Expand.hs, dist/build/Language/Haskell/Liquid/Bare/Expand.o, dist/build/Language/Haskell/Liquid/Bare/Expand.dyn_o )
[ 84 of 102] Compiling Language.Haskell.Liquid.Bare.Laws ( src/Language/Haskell/Liquid/Bare/Laws.hs, dist/build/Language/Haskell/Liquid/Bare/Laws.o, dist/build/Language/Haskell/Liquid/Bare/Laws.dyn_o )
[ 85 of 102] Compiling Language.Haskell.Liquid.Bare.Axiom ( src/Language/Haskell/Liquid/Bare/Axiom.hs, dist/build/Language/Haskell/Liquid/Bare/Axiom.o, dist/build/Language/Haskell/Liquid/Bare/Axiom.dyn_o )
[ 86 of 102] Compiling Language.Haskell.Liquid.Constraint.Generate ( src/Language/Haskell/Liquid/Constraint/Generate.hs, dist/build/Language/Haskell/Liquid/Constraint/Generate.o, dist/build/Language/Haskell/Liquid/Constraint/Generate.dyn_o )
[ 87 of 102] Compiling Language.Haskell.Liquid.Synthesize.Check ( src/Language/Haskell/Liquid/Synthesize/Check.hs, dist/build/Language/Haskell/Liquid/Synthesize/Check.o, dist/build/Language/Haskell/Liquid/Synthesize/Check.dyn_o )
[ 88 of 102] Compiling Language.Haskell.Liquid.Synthesize.Generate ( src/Language/Haskell/Liquid/Synthesize/Generate.hs, dist/build/Language/Haskell/Liquid/Synthesize/Generate.o, dist/build/Language/Haskell/Liquid/Synthesize/Generate.dyn_o )
[ 89 of 102] Compiling Language.Haskell.Liquid.Synthesize ( src/Language/Haskell/Liquid/Synthesize.hs, dist/build/Language/Haskell/Liquid/Synthesize.o, dist/build/Language/Haskell/Liquid/Synthesize.dyn_o )
[ 90 of 102] Compiling Language.Haskell.Liquid.Bare.Measure ( src/Language/Haskell/Liquid/Bare/Measure.hs, dist/build/Language/Haskell/Liquid/Bare/Measure.o, dist/build/Language/Haskell/Liquid/Bare/Measure.dyn_o )
[ 91 of 102] Compiling Language.Haskell.Liquid.Bare.Class ( src/Language/Haskell/Liquid/Bare/Class.hs, dist/build/Language/Haskell/Liquid/Bare/Class.o, dist/build/Language/Haskell/Liquid/Bare/Class.dyn_o )
[ 92 of 102] Compiling Language.Haskell.Liquid.Bare.Check ( src/Language/Haskell/Liquid/Bare/Check.hs, dist/build/Language/Haskell/Liquid/Bare/Check.o, dist/build/Language/Haskell/Liquid/Bare/Check.dyn_o )

src/Language/Haskell/Liquid/Bare/Check.hs:16:1: warning: [-Wdodgy-imports]
    Module
    ‘Language.Haskell.Liquid.GHC.API’
    does not export
    ‘isWiredIn’
   |
16 | import           Language.Haskell.Liquid.GHC.API                   as Ghc hiding ( Located
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 93 of 102] Compiling Language.Haskell.Liquid.Bare ( src/Language/Haskell/Liquid/Bare.hs, dist/build/Language/Haskell/Liquid/Bare.o, dist/build/Language/Haskell/Liquid/Bare.dyn_o )

src/Language/Haskell/Liquid/Bare.hs:81:13: warning: [-Wdeprecations]
    In the use of ‘getIncludeDir’
    (imported from Language.Haskell.Liquid.Misc):
    Deprecated: "getIncludeDir is deprecated. The hardcoded include folder will be removed in the future."
   |
81 |   incDir <- Misc.getIncludeDir
   |             ^^^^^^^^^^^^^^^^^^
[ 94 of 102] Compiling Language.Haskell.Liquid.GHC.Interface ( src/Language/Haskell/Liquid/GHC/Interface.hs, dist/build/Language/Haskell/Liquid/GHC/Interface.o, dist/build/Language/Haskell/Liquid/GHC/Interface.dyn_o )

src/Language/Haskell/Liquid/GHC/Interface.hs:63:1: warning: [-Wdodgy-imports]
    Module ‘Language.Haskell.Liquid.GHC.API’ does not export ‘linear’
   |
63 | import           Language.Haskell.Liquid.GHC.API as Ghc hiding ( text
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Interface.hs:63:1: warning: [-Wdodgy-imports]
    Module
    ‘Language.Haskell.Liquid.GHC.API’
    does not export
    ‘isHomeModule’
   |
63 | import           Language.Haskell.Liquid.GHC.API as Ghc hiding ( text
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Interface.hs:140:17: warning: [-Wdeprecations]
    In the use of ‘getIncludeDir’
    (imported from Language.Haskell.Liquid.Misc):
    Deprecated: "getIncludeDir is deprecated. The hardcoded include folder will be removed in the future."
    |
140 |     incDir   <- Misc.getIncludeDir
    |                 ^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/GHC/Interface.hs:500:33: warning: [-Wdeprecations]
    In the use of ‘getIncludeDir’
    (imported from Language.Haskell.Liquid.Misc):
    Deprecated: "getIncludeDir is deprecated. The hardcoded include folder will be removed in the future."
    |
500 |   incDir            <- liftIO $ Misc.getIncludeDir
    |                                 ^^^^^^^^^^^^^^^^^^
[ 95 of 102] Compiling Language.Haskell.Liquid.Liquid ( src/Language/Haskell/Liquid/Liquid.hs, dist/build/Language/Haskell/Liquid/Liquid.o, dist/build/Language/Haskell/Liquid/Liquid.dyn_o )
[ 96 of 102] Compiling Language.Haskell.Liquid.Interactive.Types ( src/Language/Haskell/Liquid/Interactive/Types.hs, dist/build/Language/Haskell/Liquid/Interactive/Types.o, dist/build/Language/Haskell/Liquid/Interactive/Types.dyn_o )
[ 97 of 102] Compiling Language.Haskell.Liquid.Interactive.Handler ( src/Language/Haskell/Liquid/Interactive/Handler.hs, dist/build/Language/Haskell/Liquid/Interactive/Handler.o, dist/build/Language/Haskell/Liquid/Interactive/Handler.dyn_o )
[ 98 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Types ( src/Language/Haskell/Liquid/GHC/Plugin/Types.hs, dist/build/Language/Haskell/Liquid/GHC/Plugin/Types.o, dist/build/Language/Haskell/Liquid/GHC/Plugin/Types.dyn_o )
[ 99 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Util ( src/Language/Haskell/Liquid/GHC/Plugin/Util.hs, dist/build/Language/Haskell/Liquid/GHC/Plugin/Util.o, dist/build/Language/Haskell/Liquid/GHC/Plugin/Util.dyn_o )
[100 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.SpecFinder ( src/Language/Haskell/Liquid/GHC/Plugin/SpecFinder.hs, dist/build/Language/Haskell/Liquid/GHC/Plugin/SpecFinder.o, dist/build/Language/Haskell/Liquid/GHC/Plugin/SpecFinder.dyn_o )

src/Language/Haskell/Liquid/GHC/Plugin/SpecFinder.hs:29:1: warning: [-Wdodgy-imports]
    Module ‘Language.Haskell.Liquid.GHC.API’ does not export ‘linear’
   |
29 | import           Language.Haskell.Liquid.GHC.API         as GHC hiding (linear)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[101 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin ( src/Language/Haskell/Liquid/GHC/Plugin.hs, dist/build/Language/Haskell/Liquid/GHC/Plugin.o, dist/build/Language/Haskell/Liquid/GHC/Plugin.dyn_o )
[102 of 102] Compiling LiquidHaskell    ( src/LiquidHaskell.hs, dist/build/LiquidHaskell.o, dist/build/LiquidHaskell.dyn_o )
[  1 of 102] Compiling Gradual.GUI.Misc ( src/Gradual/GUI/Misc.hs, dist/build/Gradual/GUI/Misc.p_o )
[  2 of 102] Compiling Gradual.Misc     ( src/Gradual/Misc.hs, dist/build/Gradual/Misc.p_o )
[  3 of 102] Compiling Gradual.Trivial  ( src/Gradual/Trivial.hs, dist/build/Gradual/Trivial.p_o )
[  4 of 102] Compiling Language.Haskell.Liquid.Cabal ( src/Language/Haskell/Liquid/Cabal.hs, dist/build/Language/Haskell/Liquid/Cabal.p_o )
[  5 of 102] Compiling Language.Haskell.Liquid.GHC.API.StableModule ( src/Language/Haskell/Liquid/GHC/API/StableModule.hs, dist/build/Language/Haskell/Liquid/GHC/API/StableModule.p_o )
[  6 of 102] Compiling Language.Haskell.Liquid.GHC.API ( src/Language/Haskell/Liquid/GHC/API.hs, dist/build/Language/Haskell/Liquid/GHC/API.p_o )

src/Language/Haskell/Liquid/GHC/API.hs:121:1: warning: [-Wdodgy-imports]
    Module ‘GHC’ does not export ‘dataConInstArgTys’
    |
121 | import           GHC                                               as Ghc hiding ( Warning
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/API.hs:184:1: warning: [-Wunused-imports]
    The import of ‘TcRnTypes’ is redundant
      except perhaps to import instances from ‘TcRnTypes’
    To import instances alone, use: import TcRnTypes()
    |
184 | import TcRnTypes                as Ghc
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/GHC/API.hs:199:1: warning: [-Wunused-imports]
    The qualified import of ‘DataCon’ is redundant
      except perhaps to import instances from ‘DataCon’
    To import instances alone, use: import DataCon()
    |
199 | import qualified DataCon        as Ghc
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/GHC/API.hs:271:1: warning: [-Wunused-imports]
    The import of ‘DynFlags’ is redundant
      except perhaps to import instances from ‘DynFlags’
    To import instances alone, use: import DynFlags()
    |
271 | import DynFlags          as  Ghc (targetPlatform)
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[  7 of 102] Compiling Language.Haskell.Liquid.GHC.GhcMonadLike ( src/Language/Haskell/Liquid/GHC/GhcMonadLike.hs, dist/build/Language/Haskell/Liquid/GHC/GhcMonadLike.p_o )
[  8 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Tutorial ( src/Language/Haskell/Liquid/GHC/Plugin/Tutorial.hs, dist/build/Language/Haskell/Liquid/GHC/Plugin/Tutorial.p_o )
[  9 of 102] Compiling Language.Haskell.Liquid.GHC.Types ( src/Language/Haskell/Liquid/GHC/Types.hs, dist/build/Language/Haskell/Liquid/GHC/Types.p_o )
[ 10 of 102] Compiling Language.Haskell.Liquid.Types.Generics ( src/Language/Haskell/Liquid/Types/Generics.hs, dist/build/Language/Haskell/Liquid/Types/Generics.p_o )
[ 11 of 102] Compiling Language.Haskell.Liquid.Types.Names ( src/Language/Haskell/Liquid/Types/Names.hs, dist/build/Language/Haskell/Liquid/Types/Names.p_o )
[ 12 of 102] Compiling Language.Haskell.Liquid.Types.Variance ( src/Language/Haskell/Liquid/Types/Variance.hs, dist/build/Language/Haskell/Liquid/Types/Variance.p_o )
[ 13 of 102] Compiling Language.Haskell.Liquid.UX.Config ( src/Language/Haskell/Liquid/UX/Config.hs, dist/build/Language/Haskell/Liquid/UX/Config.p_o )
[ 14 of 102] Compiling Gradual.Types    ( src/Gradual/Types.hs, dist/build/Gradual/Types.p_o )
[ 15 of 102] Compiling Gradual.Uniquify ( src/Gradual/Uniquify.hs, dist/build/Gradual/Uniquify.p_o )
[ 16 of 102] Compiling Gradual.Refinements ( src/Gradual/Refinements.hs, dist/build/Gradual/Refinements.p_o )
[ 17 of 102] Compiling Gradual.Concretize ( src/Gradual/Concretize.hs, dist/build/Gradual/Concretize.p_o )
[ 18 of 102] Compiling Paths_liquidhaskell ( dist/build/autogen/Paths_liquidhaskell.hs, dist/build/Paths_liquidhaskell.p_o )
[ 19 of 102] Compiling Language.Haskell.Liquid.Misc ( src/Language/Haskell/Liquid/Misc.hs, dist/build/Language/Haskell/Liquid/Misc.p_o )
[ 20 of 102] Compiling Language.Haskell.Liquid.Types.Errors ( src/Language/Haskell/Liquid/Types/Errors.hs, dist/build/Language/Haskell/Liquid/Types/Errors.p_o )

src/Language/Haskell/Liquid/Types/Errors.hs:519:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘pprSrcSpan’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
519 | pprSrcSpan (UnhelpfulSpan reason) = text $ case reason of
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/Errors.hs:714:3: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘toJSON’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
714 |   toJSON (RealSrcSpan rsp _) = object [ "realSpan" .= True, "spanInfo" .= rsp ]
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 21 of 102] Compiling Language.Haskell.Liquid.GHC.Logging ( src/Language/Haskell/Liquid/GHC/Logging.hs, dist/build/Language/Haskell/Liquid/GHC/Logging.p_o )
[ 22 of 102] Compiling Language.Haskell.Liquid.GHC.Misc ( src/Language/Haskell/Liquid/GHC/Misc.hs, dist/build/Language/Haskell/Liquid/GHC/Misc.p_o )

src/Language/Haskell/Liquid/GHC/Misc.hs:206:3: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘hashWithSalt’:
        Patterns not matched:
            _ (SrcLoc.RealSrcSpan _)
            _ (SrcLoc.UnhelpfulSpan _)
    |
206 |   hashWithSalt i (UnhelpfulSpan reason) = case reason of
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Misc.hs:242:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘srcSpanSourcePos’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
242 | srcSpanSourcePos (UnhelpfulSpan _) = dummyPos "<no source information>"
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Misc.hs:246:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘srcSpanSourcePosE’:
        Patterns not matched:
            SrcLoc.RealSrcSpan _
            SrcLoc.UnhelpfulSpan _
    |
246 | srcSpanSourcePosE (UnhelpfulSpan _) = dummyPos "<no source information>"
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 23 of 102] Compiling Language.Haskell.Liquid.UX.ACSS ( src/Language/Haskell/Liquid/UX/ACSS.hs, dist/build/Language/Haskell/Liquid/UX/ACSS.p_o )
[ 24 of 102] Compiling Language.Haskell.Liquid.Types.Visitors ( src/Language/Haskell/Liquid/Types/Visitors.hs, dist/build/Language/Haskell/Liquid/Types/Visitors.p_o )
[ 25 of 102] Compiling Language.Haskell.Liquid.Types.Types ( src/Language/Haskell/Liquid/Types/Types.hs, dist/build/Language/Haskell/Liquid/Types/Types.p_o )
[ 26 of 102] Compiling Language.Haskell.Liquid.Types.PrettyPrint ( src/Language/Haskell/Liquid/Types/PrettyPrint.hs, dist/build/Language/Haskell/Liquid/Types/PrettyPrint.p_o )
[ 27 of 102] Compiling Language.Haskell.Liquid.UX.CTags ( src/Language/Haskell/Liquid/UX/CTags.hs, dist/build/Language/Haskell/Liquid/UX/CTags.p_o )
[ 28 of 102] Compiling Language.Haskell.Liquid.GHC.TypeRep ( src/Language/Haskell/Liquid/GHC/TypeRep.hs, dist/build/Language/Haskell/Liquid/GHC/TypeRep.p_o )

src/Language/Haskell/Liquid/GHC/TypeRep.hs:62:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘showTy’:
        Patterns not matched: TyCoRep.FunTy _ _ _
   |
62 | showTy (TyConApp c ts) = "(RApp   " ++ showPpr c ++ " " ++ sep' ", " (showTy <$> ts) ++ ")"
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/TypeRep.hs:90:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘substType’:
        Patterns not matched:
            (Var.TyVar _ _ _) (TyVarTy _) (TyCoRep.FunTy _ _ _)
            (Var.TyVar _ _ _) (AppTy _ _) (TyCoRep.FunTy _ _ _)
            (Var.TyVar _ _ _) (TyConApp _ _) (TyCoRep.FunTy _ _ _)
            (Var.TyVar _ _ _) (ForAllTy _ _) (TyCoRep.FunTy _ _ _)
            ...
   |
90 | substType x tx (TyConApp c ts) 
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 29 of 102] Compiling Language.Haskell.Liquid.GHC.SpanStack ( src/Language/Haskell/Liquid/GHC/SpanStack.hs, dist/build/Language/Haskell/Liquid/GHC/SpanStack.p_o )
[ 30 of 102] Compiling Language.Haskell.Liquid.GHC.Resugar ( src/Language/Haskell/Liquid/GHC/Resugar.hs, dist/build/Language/Haskell/Liquid/GHC/Resugar.p_o )
[ 31 of 102] Compiling Language.Haskell.Liquid.GHC.Play ( src/Language/Haskell/Liquid/GHC/Play.hs, dist/build/Language/Haskell/Liquid/GHC/Play.p_o )

src/Language/Haskell/Liquid/GHC/Play.hs:103:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘substTysWith’:
        Patterns not matched:
            unordered-containers-0.2.10.0:Data.HashMap.Base.Empty
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashMap.Base.BitmapIndexed _ _)
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashMap.Base.Leaf _ _)
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashMap.Base.Full _)
            (TyCoRep.FunTy _ _ _)
            ...
    |
103 | substTysWith s tv@(TyVarTy v)      = M.lookupDefault tv v s
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/GHC/Play.hs:131:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’: Patterns not matched: TyCoRep.FunTy _ _ _
    |
131 |     go t@(TyVarTy _)        = f t
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 32 of 102] Compiling Language.Haskell.Liquid.Types.RefType ( src/Language/Haskell/Liquid/Types/RefType.hs, dist/build/Language/Haskell/Liquid/Types/RefType.p_o )

src/Language/Haskell/Liquid/Types/RefType.hs:1386:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’: Patterns not matched: TyCoRep.FunTy _ _ _
     |
1386 |     go (TyVarTy α)
     |     ^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/RefType.hs:1457:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘isBaseTy’:
        Patterns not matched: TyCoRep.FunTy _ _ _
     |
1457 | isBaseTy (TyVarTy _)      = True
     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/RefType.hs:1853:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’:
        Patterns not matched:
            False (TyCoRep.FunTy _ _ _)
            True (TyCoRep.FunTy _ _ _)
     |
1853 |     go pos (FunTy _ _ t1 t2) = go (not pos) t1 ++ go pos t2
     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Language/Haskell/Liquid/Types/RefType.hs:1885:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘go’:
        Patterns not matched:
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             unordered-containers-0.2.10.0:Data.HashMap.Base.Empty)
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             (unordered-containers-0.2.10.0:Data.HashMap.Base.BitmapIndexed _
              _))
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             (unordered-containers-0.2.10.0:Data.HashMap.Base.Leaf _ _))
            (TyCoRep.FunTy _ _ _)
            (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
             (unordered-containers-0.2.10.0:Data.HashMap.Base.Full _))
            (TyCoRep.FunTy _ _ _)
            ...
     |
1885 |     go  vis (FunTy _ _ t1 t2) = go vis t1 `S.union` go vis t2
     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 33 of 102] Compiling Language.Haskell.Liquid.UX.Tidy ( src/Language/Haskell/Liquid/UX/Tidy.hs, dist/build/Language/Haskell/Liquid/UX/Tidy.p_o )
[ 34 of 102] Compiling Language.Haskell.Liquid.Types.PredType ( src/Language/Haskell/Liquid/Types/PredType.hs, dist/build/Language/Haskell/Liquid/Types/PredType.p_o )
[ 35 of 102] Compiling Language.Haskell.Liquid.WiredIn ( src/Language/Haskell/Liquid/WiredIn.hs, dist/build/Language/Haskell/Liquid/WiredIn.p_o )
[ 36 of 102] Compiling Language.Haskell.Liquid.Types.Meet ( src/Language/Haskell/Liquid/Types/Meet.hs, dist/build/Language/Haskell/Liquid/Types/Meet.p_o )
[ 37 of 102] Compiling Language.Haskell.Liquid.Types.Fresh ( src/Language/Haskell/Liquid/Types/Fresh.hs, dist/build/Language/Haskell/Liquid/Types/Fresh.p_o )
[ 38 of 102] Compiling Language.Haskell.Liquid.Types.Dictionaries ( src/Language/Haskell/Liquid/Types/Dictionaries.hs, dist/build/Language/Haskell/Liquid/Types/Dictionaries.p_o )
[ 39 of 102] Compiling Language.Haskell.Liquid.Types.Bounds ( src/Language/Haskell/Liquid/Types/Bounds.hs, dist/build/Language/Haskell/Liquid/Types/Bounds.p_o )
[ 40 of 102] Compiling Language.Haskell.Liquid.Types.Specs ( src/Language/Haskell/Liquid/Types/Specs.hs, dist/build/Language/Haskell/Liquid/Types/Specs.p_o )
[ 41 of 102] Compiling Language.Haskell.Liquid.Measure ( src/Language/Haskell/Liquid/Measure.hs, dist/build/Language/Haskell/Liquid/Measure.p_o )
[ 42 of 102] Compiling Language.Haskell.Liquid.Bare.Types ( src/Language/Haskell/Liquid/Bare/Types.hs, dist/build/Language/Haskell/Liquid/Bare/Types.p_o )
[ 43 of 102] Compiling Language.Haskell.Liquid.Transforms.Rewrite ( src/Language/Haskell/Liquid/Transforms/Rewrite.hs, dist/build/Language/Haskell/Liquid/Transforms/Rewrite.p_o )
[ 44 of 102] Compiling Language.Haskell.Liquid.Transforms.Rec ( src/Language/Haskell/Liquid/Transforms/Rec.hs, dist/build/Language/Haskell/Liquid/Transforms/Rec.p_o )
[ 45 of 102] Compiling Language.Haskell.Liquid.Transforms.ANF ( src/Language/Haskell/Liquid/Transforms/ANF.hs, dist/build/Language/Haskell/Liquid/Transforms/ANF.p_o )

src/Language/Haskell/Liquid/Transforms/ANF.hs:18:1: warning: [-Wunused-imports]
    The qualified import of ‘Language.Haskell.Liquid.GHC.API’ is redundant
      except perhaps to import instances from ‘Language.Haskell.Liquid.GHC.API’
    To import instances alone, use: import Language.Haskell.Liquid.GHC.API()
   |
18 | import qualified Language.Haskell.Liquid.GHC.API  as O
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/Haskell/Liquid/Transforms/ANF.hs:28:1: warning: [-Wunused-imports]
    The qualified import of ‘Language.Haskell.Liquid.Types.PrettyPrint’ is redundant
      except perhaps to import instances from ‘Language.Haskell.Liquid.Types.PrettyPrint’
    To import instances alone, use: import Language.Haskell.Liquid.Types.PrettyPrint()
   |
28 | import qualified Language.Haskell.Liquid.Types.PrettyPrint as F
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 46 of 102] Compiling Language.Haskell.Liquid.Bare.Misc ( src/Language/Haskell/Liquid/Bare/Misc.hs, dist/build/Language/Haskell/Liquid/Bare/Misc.p_o )
[ 47 of 102] Compiling Gradual.PrettyPrinting ( src/Gradual/PrettyPrinting.hs, dist/build/Gradual/PrettyPrinting.p_o )
[ 48 of 102] Compiling Gradual.GUI.Types ( src/Gradual/GUI/Types.hs, dist/build/Gradual/GUI/Types.p_o )
[ 49 of 102] Compiling Gradual.GUI.Annotate ( src/Gradual/GUI/Annotate.hs, dist/build/Gradual/GUI/Annotate.p_o )
[ 50 of 102] Compiling Language.Haskell.Liquid.Bare.Resolve ( src/Language/Haskell/Liquid/Bare/Resolve.hs, dist/build/Language/Haskell/Liquid/Bare/Resolve.p_o )
[ 51 of 102] Compiling Language.Haskell.Liquid.Bare.DataType ( src/Language/Haskell/Liquid/Bare/DataType.hs, dist/build/Language/Haskell/Liquid/Bare/DataType.p_o )
[ 52 of 102] Compiling Language.Haskell.Liquid.Transforms.CoreToLogic ( src/Language/Haskell/Liquid/Transforms/CoreToLogic.hs, dist/build/Language/Haskell/Liquid/Transforms/CoreToLogic.p_o )
[ 53 of 102] Compiling Language.Haskell.Liquid.Types.Literals ( src/Language/Haskell/Liquid/Types/Literals.hs, dist/build/Language/Haskell/Liquid/Types/Literals.p_o )
[ 54 of 102] Compiling Language.Haskell.Liquid.Types ( src/Language/Haskell/Liquid/Types.hs, dist/build/Language/Haskell/Liquid/Types.p_o )
[ 55 of 102] Compiling Language.Haskell.Liquid.UX.DiffCheck ( src/Language/Haskell/Liquid/UX/DiffCheck.hs, dist/build/Language/Haskell/Liquid/UX/DiffCheck.p_o )
ghc: ^^ Could not load 'thzmcompatzm0zi1zmL4idzzGfzzPqJ8NctCAgvgu2_LanguageziHaskellziTHziSyntaxziCompat_zdfIsCoderQaQzuzdctoCode_closure', dependency unresolved. See top entry above.

[ 56 of 102] Compiling Language.Haskell.Liquid.UX.Annotate ( src/Language/Haskell/Liquid/UX/Annotate.hs, dist/build/Language/Haskell/Liquid/UX/Annotate.p_o )
[ 57 of 102] Compiling Language.Haskell.Liquid.UX.CmdLine ( src/Language/Haskell/Liquid/UX/CmdLine.hs, dist/build/Language/Haskell/Liquid/UX/CmdLine.p_o )

<no location info>: error:

ByteCodeLink.lookupCE
During interactive linking, GHCi couldn't find the following symbol:
  thzmcompatzm0zi1zmL4idzzGfzzPqJ8NctCAgvgu2_LanguageziHaskellziTHziSyntaxziCompat_zdfIsCoderQaQzuzdctoCode_closure
This may be due to you not asking GHCi to load extra object files,
archives or DLLs needed by your current session.  Restart GHCi, specifying
the missing library using the -L/path/to/object/dir and -lmissinglibname
flags, or simply by naming the relevant files on the GHCi command line.
Alternatively, this link failure might indicate a bug in GHCi.
If you suspect the latter, please report this as a GHC bug:
  https://www.haskell.org/ghc/reportabug

[ 58 of 102] Compiling Gradual.GUI      ( src/Gradual/GUI.hs, dist/build/Gradual/GUI.p_o )
[ 59 of 102] Compiling Language.Haskell.Liquid.Types.Equality ( src/Language/Haskell/Liquid/Types/Equality.hs, dist/build/Language/Haskell/Liquid/Types/Equality.p_o )
[ 60 of 102] Compiling Language.Haskell.Liquid.Transforms.Simplify ( src/Language/Haskell/Liquid/Transforms/Simplify.hs, dist/build/Language/Haskell/Liquid/Transforms/Simplify.p_o )
[ 61 of 102] Compiling Language.Haskell.Liquid.UX.Errors ( src/Language/Haskell/Liquid/UX/Errors.hs, dist/build/Language/Haskell/Liquid/UX/Errors.p_o )
[ 62 of 102] Compiling Language.Haskell.Liquid.Transforms.RefSplit ( src/Language/Haskell/Liquid/Transforms/RefSplit.hs, dist/build/Language/Haskell/Liquid/Transforms/RefSplit.p_o )
[ 63 of 102] Compiling Language.Haskell.Liquid.Termination.Structural ( src/Language/Haskell/Liquid/Termination/Structural.hs, dist/build/Language/Haskell/Liquid/Termination/Structural.p_o )
[ 64 of 102] Compiling Language.Haskell.Liquid.Synthesize.Termination ( src/Language/Haskell/Liquid/Synthesize/Termination.hs, dist/build/Language/Haskell/Liquid/Synthesize/Termination.p_o )
[ 65 of 102] Compiling Language.Haskell.Liquid.Synthesize.GHC ( src/Language/Haskell/Liquid/Synthesize/GHC.hs, dist/build/Language/Haskell/Liquid/Synthesize/GHC.p_o )
[ 66 of 102] Compiling Language.Haskell.Liquid.Synthesize.Misc ( src/Language/Haskell/Liquid/Synthesize/Misc.hs, dist/build/Language/Haskell/Liquid/Synthesize/Misc.p_o )
[ 67 of 102] Compiling Language.Haskell.Liquid.Parse ( src/Language/Haskell/Liquid/Parse.hs, dist/build/Language/Haskell/Liquid/Parse.p_o )
[ 68 of 102] Compiling Language.Haskell.Liquid.UX.QuasiQuoter ( src/Language/Haskell/Liquid/UX/QuasiQuoter.hs, dist/build/Language/Haskell/Liquid/UX/QuasiQuoter.p_o )
[ 69 of 102] Compiling Language.Haskell.Liquid.LawInstances ( src/Language/Haskell/Liquid/LawInstances.hs, dist/build/Language/Haskell/Liquid/LawInstances.p_o )
[ 70 of 102] Compiling Language.Haskell.Liquid.Constraint.Types ( src/Language/Haskell/Liquid/Constraint/Types.hs, dist/build/Language/Haskell/Liquid/Constraint/Types.p_o )
[ 71 of 102] Compiling Language.Haskell.Liquid.Constraint.Qualifier ( src/Language/Haskell/Liquid/Constraint/Qualifier.hs, dist/build/Language/Haskell/Liquid/Constraint/Qualifier.p_o )
[ 72 of 102] Compiling Language.Haskell.Liquid.Constraint.ToFixpoint ( src/Language/Haskell/Liquid/Constraint/ToFixpoint.hs, dist/build/Language/Haskell/Liquid/Constraint/ToFixpoint.p_o )
[ 73 of 102] Compiling Language.Haskell.Liquid.Constraint.Fresh ( src/Language/Haskell/Liquid/Constraint/Fresh.hs, dist/build/Language/Haskell/Liquid/Constraint/Fresh.p_o )
[ 74 of 102] Compiling Language.Haskell.Liquid.Constraint.Env ( src/Language/Haskell/Liquid/Constraint/Env.hs, dist/build/Language/Haskell/Liquid/Constraint/Env.p_o )
[ 75 of 102] Compiling Language.Haskell.Liquid.Synthesize.Monad ( src/Language/Haskell/Liquid/Synthesize/Monad.hs, dist/build/Language/Haskell/Liquid/Synthesize/Monad.p_o )
[ 76 of 102] Compiling Language.Haskell.Liquid.Synthesize.Env ( src/Language/Haskell/Liquid/Synthesize/Env.hs, dist/build/Language/Haskell/Liquid/Synthesize/Env.p_o )
[ 77 of 102] Compiling Language.Haskell.Liquid.Constraint.Monad ( src/Language/Haskell/Liquid/Constraint/Monad.hs, dist/build/Language/Haskell/Liquid/Constraint/Monad.p_o )
[ 78 of 102] Compiling Language.Haskell.Liquid.Constraint.Init ( src/Language/Haskell/Liquid/Constraint/Init.hs, dist/build/Language/Haskell/Liquid/Constraint/Init.p_o )
[ 79 of 102] Compiling Language.Haskell.Liquid.Constraint.Constraint ( src/Language/Haskell/Liquid/Constraint/Constraint.hs, dist/build/Language/Haskell/Liquid/Constraint/Constraint.p_o )
[ 80 of 102] Compiling Language.Haskell.Liquid.Constraint.Split ( src/Language/Haskell/Liquid/Constraint/Split.hs, dist/build/Language/Haskell/Liquid/Constraint/Split.p_o )
[ 81 of 102] Compiling Language.Haskell.Liquid.Bare.ToBare ( src/Language/Haskell/Liquid/Bare/ToBare.hs, dist/build/Language/Haskell/Liquid/Bare/ToBare.p_o )
[ 82 of 102] Compiling Language.Haskell.Liquid.Bare.Plugged ( src/Language/Haskell/Liquid/Bare/Plugged.hs, dist/build/Language/Haskell/Liquid/Bare/Plugged.p_o )
[ 83 of 102] Compiling Language.Haskell.Liquid.Bare.Expand ( src/Language/Haskell/Liquid/Bare/Expand.hs, dist/build/Language/Haskell/Liquid/Bare/Expand.p_o )
[ 84 of 102] Compiling Language.Haskell.Liquid.Bare.Laws ( src/Language/Haskell/Liquid/Bare/Laws.hs, dist/build/Language/Haskell/Liquid/Bare/Laws.p_o )
[ 85 of 102] Compiling Language.Haskell.Liquid.Bare.Axiom ( src/Language/Haskell/Liquid/Bare/Axiom.hs, dist/build/Language/Haskell/Liquid/Bare/Axiom.p_o )
[ 86 of 102] Compiling Language.Haskell.Liquid.Constraint.Generate ( src/Language/Haskell/Liquid/Constraint/Generate.hs, dist/build/Language/Haskell/Liquid/Constraint/Generate.p_o )
[ 87 of 102] Compiling Language.Haskell.Liquid.Synthesize.Check ( src/Language/Haskell/Liquid/Synthesize/Check.hs, dist/build/Language/Haskell/Liquid/Synthesize/Check.p_o )
[ 88 of 102] Compiling Language.Haskell.Liquid.Synthesize.Generate ( src/Language/Haskell/Liquid/Synthesize/Generate.hs, dist/build/Language/Haskell/Liquid/Synthesize/Generate.p_o )
[ 89 of 102] Compiling Language.Haskell.Liquid.Synthesize ( src/Language/Haskell/Liquid/Synthesize.hs, dist/build/Language/Haskell/Liquid/Synthesize.p_o )
[ 90 of 102] Compiling Language.Haskell.Liquid.Bare.Measure ( src/Language/Haskell/Liquid/Bare/Measure.hs, dist/build/Language/Haskell/Liquid/Bare/Measure.p_o )
[ 91 of 102] Compiling Language.Haskell.Liquid.Bare.Class ( src/Language/Haskell/Liquid/Bare/Class.hs, dist/build/Language/Haskell/Liquid/Bare/Class.p_o )
[ 92 of 102] Compiling Language.Haskell.Liquid.Bare.Check ( src/Language/Haskell/Liquid/Bare/Check.hs, dist/build/Language/Haskell/Liquid/Bare/Check.p_o )

src/Language/Haskell/Liquid/Bare/Check.hs:16:1: warning: [-Wdodgy-imports]
    Module
    ‘Language.Haskell.Liquid.GHC.API’
    does not export
    ‘isWiredIn’
   |
16 | import           Language.Haskell.Liquid.GHC.API                   as Ghc hiding ( Located
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 93 of 102] Compiling Language.Haskell.Liquid.Bare ( src/Language/Haskell/Liquid/Bare.hs, dist/build/Language/Haskell/Liquid/Bare.p_o )

src/Language/Haskell/Liquid/Bare.hs:81:13: warning: [-Wdeprecations]
    In the use of ‘getIncludeDir’
    (imported from Language.Haskell.Liquid.Misc):
    Deprecated: "getIncludeDir is deprecated. The hardcoded include folder will be removed in the future."
   |
81 |   incDir <- Misc.getIncludeDir
   |             ^^^^^^^^^^^^^^^^^^

builder for '/nix/store/a8jyyihjlcxkmbzszyram0q4a36827qw-liquidhaskell-0.8.10.2.1.drv' failed with exit code 1
cannot build derivation '/nix/store/xr78in3a4iqnklmnxmm2jqdb6w638vpp-ghc-8.10.2-with-packages.drv': 1 dependencies couldn't be built
error: build of '/nix/store/xr78in3a4iqnklmnxmm2jqdb6w638vpp-ghc-8.10.2-with-packages.drv' failed
NCrashed commented 3 years ago

The error first appeared in 7abfede6902a9b51deff627f883edca7e14112a0

ranjitjhala commented 3 years ago

Wow haven’t a clue as to where to begin :-(

Is this on windows by any chance?

NCrashed commented 3 years ago

Nope, it is Linux. NixOS especially, but build should be reproducible on any distro where Nix can be installed.

facundominguez commented 4 months ago

Closing since we don't support builds with ghc 8 anymore. But please, feel free to reopen if you get similar problems with ghc 9.