Hâóè config-v3 --user--package-db=clear--package-db=globalJ--package-db=/Users/niki/.stack/snapshots/x86_64-osx/lts-13.20/8.6.5/pkgdbg--package-db=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/pkgdba--libdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/liba--bindir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/bind--datadir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/sharei--libexecdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/libexece--sysconfdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/etcy--docdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/doc/liquid-fixpoint-0.8.0.2z--htmldir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/doc/liquid-fixpoint-0.8.0.2}--haddockdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-13.20/8.6.5/doc/liquid-fixpoint-0.8.0.2E--dependency=ansi-terminal=ansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58 --dependency=array=array-0.5.3.0I--dependency=ascii-progress=ascii-progress-0.3.3.0-89B0q4Fa9f07yD5oF5x2bt5--dependency=async=async-2.2.1-4fWSSJ8SFccIxQJVItkRnXB--dependency=attoparsec=attoparsec-0.13.2.2-Gf0jC2VdURHABoErxGt3qQ--dependency=base=base-4.12.0.0"--dependency=binary=binary-0.8.6.05--dependency=boxes=boxes-0.1.5-6io6BrPg87q1hhW2bdiQAI9--dependency=cereal=cereal-0.5.8.0-6rtfJLvNbgP66iuaPkuxJC;--dependency=cmdargs=cmdargs-0.10.20-EiFbtpfcdyUCuIuL5dHJuW*--dependency=containers=containers-0.6.0.1$--dependency=deepseq=deepseq-1.4.4.0(--dependency=directory=directory-1.3.3.03--dependency=fgl=fgl-5.7.0.1-CpDtOA8pKQl6hGnWjlttIk&--dependency=filepath=filepath-1.4.2.1$--dependency=ghc-prim=ghc-prim-0.5.3<--dependency=hashable=hashable-1.2.7.0-CWI8VZuQTAYWIQTQQtqCV7--dependency=intern=intern-0.9.2-1k5HlC2OR4dJna2fS2KnK5--dependency=mtl=mtl-2.2.2=--dependency=parallel=parallel-3.2.2.0-EGl5SOk48TWHAD161C93aQ#--dependency=parsec=parsec-3.1.13.0"--dependency=pretty=pretty-1.1.3.6$--dependency=process=process-1.6.5.0/--dependency=syb=syb-0.7-KRW1LCxdMiCJrmhxCvzo37--dependency=text=text-1.2.3.1@--dependency=text-format=text-format-0.3.2-744dVgaHKrAx4heuHeP2Z.--dependency=transformers=transformers-0.5.6.2T--dependency=unordered-containers=unordered-containers-0.2.9.0-BRWkoSTuML1cQdpep6Oin --ghc-options-O0*ansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58 array-0.5.3.0-ascii-progress-0.3.3.0-89B0q4Fa9f07yD5oF5x2bt"async-2.2.1-4fWSSJ8SFccIxQJVItkRnX*attoparsec-0.13.2.2-Gf0jC2VdURHABoErxGt3qQ base-4.12.0.0binary-0.8.6.0"boxes-0.1.5-6io6BrPg87q1hhW2bdiQAI%cereal-0.5.8.0-6rtfJLvNbgP66iuaPkuxJC&cmdargs-0.10.20-EiFbtpfcdyUCuIuL5dHJuWcontainers-0.6.0.1deepseq-1.4.4.0directory-1.3.3.0"fgl-5.7.0.1-CpDtOA8pKQl6hGnWjlttIkfilepath-1.4.2.1ghc-prim-0.5.3&hashable-1.2.7.0-CWI8VZuQTAYWIQTQQtqCV#intern-0.9.2-1k5HlC2OR4dJna2fS2KnK5 mtl-2.2.2'parallel-3.2.2.0-EGl5SOk48TWHAD161C93aQparsec-3.1.13.0pretty-1.1.3.6process-1.6.5.0syb-0.7-KRW1LCxdMiCJrmhxCvzo37 text-1.2.3.1'text-format-0.3.2-744dVgaHKrAx4heuHeP2Ztransformers-0.5.6.22unordered-containers-0.2.9.0-BRWkoSTuML1cQdpep6Oin exe:fixpoint6/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/