有没有人能够将 liquidhaskell 与 nixos 集成?
Has anyone been able to integrate liquidhaskell with nixos?
我正在尝试在 NixOS 上使用 liquidhaskell。我可以安装包 (liquidhaskell-0.8.2.3),虽然不是 cabal 集成,因为它需要 cabal 1.18-1.25,但我有 cabal 2.0.1.0。
我已经安装了 liquidhaskell 包作为 ghc-with-packages 设置的一部分:
[~:0]$ readlink $( type -p liquid )
/nix/store/pdbzl0p6k1klmajx969b6vvwyw9w0s6b-ghc-8.2.2-with-packages/bin/liquid
除此之外,此套件中还安装了软件包文本:
[proclib:1]$ ls -ld /nix/store/pdbzl0p6k1klmajx969b6vvwyw9w0s6b-ghc-8.2.2-with-packages/lib/ghc-8.2.2/text-1.2.2.2/
dr-xr-xr-x 3 root root 68 Jan 1 1970 /nix/store/pdbzl0p6k1klmajx969b6vvwyw9w0s6b-ghc-8.2.2-with-packages/lib/ghc-8.2.2/text-1.2.2.2/
但是,液体看不到这个:
[proclib:1]$ liquid ~/bin/h/nix.hs
LiquidHaskell Version 0.8.2.3
Copyright 2013-18 Regents of the University of California. All Rights Reserved.
liquid: Main: Could not find module ‘Data.Text’
Perhaps you meant Data.Set (from containers-0.5.10.2)
Use -v to see a list of the files searched for.
以上不是 cabal 包的一部分(试图从等式中消除 cabal 的东西)。
我试过使用 nix-shell 来完成这项工作,但是 nix-shell 或 liquid 在语言编译指示上出现故障:
[~:0]$ nix-shell -p myHaskellEnv --run liquid ~/bin/h/nix.hs
/nix/store/q1cwqhb6v8yx8vy4s5p6sxrq8s0bnqmy-nix.hs: line 5: {-#: command not found
感谢收到的任何帮助。
问题似乎是 liquid haskell 忽略了 ghcWithPackages 包装器,因为它直接使用 GHC API。您可以根据 this thread.
按如下方式解决此问题
nix-shell -p 'haskellPackages.ghcWithPackages(pkgs:[pkgs.text (pkgs.liquidhaskell)])' -p z3 --run 'liquid --ghc-option="-package-db=$(ghc-pkg list | head -n 1)" ./hellotext.hs'
或等同于,
nix-shell -p 'haskellPackages.ghcWithPackages(pkgs:[pkgs.text])' -p z3 -p haskellPackages.liquidhaskell --run 'NIX_GHC_LIBDIR=$(ghc-pkg list | head -n 1)/.. liquid ./hellotext.hs'
这表明当您处于基于 cabal2nix
包的 nix-shell
中时,它会开箱即用。
我正在尝试在 NixOS 上使用 liquidhaskell。我可以安装包 (liquidhaskell-0.8.2.3),虽然不是 cabal 集成,因为它需要 cabal 1.18-1.25,但我有 cabal 2.0.1.0。
我已经安装了 liquidhaskell 包作为 ghc-with-packages 设置的一部分:
[~:0]$ readlink $( type -p liquid )
/nix/store/pdbzl0p6k1klmajx969b6vvwyw9w0s6b-ghc-8.2.2-with-packages/bin/liquid
除此之外,此套件中还安装了软件包文本:
[proclib:1]$ ls -ld /nix/store/pdbzl0p6k1klmajx969b6vvwyw9w0s6b-ghc-8.2.2-with-packages/lib/ghc-8.2.2/text-1.2.2.2/
dr-xr-xr-x 3 root root 68 Jan 1 1970 /nix/store/pdbzl0p6k1klmajx969b6vvwyw9w0s6b-ghc-8.2.2-with-packages/lib/ghc-8.2.2/text-1.2.2.2/
但是,液体看不到这个:
[proclib:1]$ liquid ~/bin/h/nix.hs
LiquidHaskell Version 0.8.2.3
Copyright 2013-18 Regents of the University of California. All Rights Reserved.
liquid: Main: Could not find module ‘Data.Text’
Perhaps you meant Data.Set (from containers-0.5.10.2)
Use -v to see a list of the files searched for.
以上不是 cabal 包的一部分(试图从等式中消除 cabal 的东西)。
我试过使用 nix-shell 来完成这项工作,但是 nix-shell 或 liquid 在语言编译指示上出现故障:
[~:0]$ nix-shell -p myHaskellEnv --run liquid ~/bin/h/nix.hs
/nix/store/q1cwqhb6v8yx8vy4s5p6sxrq8s0bnqmy-nix.hs: line 5: {-#: command not found
感谢收到的任何帮助。
问题似乎是 liquid haskell 忽略了 ghcWithPackages 包装器,因为它直接使用 GHC API。您可以根据 this thread.
按如下方式解决此问题nix-shell -p 'haskellPackages.ghcWithPackages(pkgs:[pkgs.text (pkgs.liquidhaskell)])' -p z3 --run 'liquid --ghc-option="-package-db=$(ghc-pkg list | head -n 1)" ./hellotext.hs'
或等同于,
nix-shell -p 'haskellPackages.ghcWithPackages(pkgs:[pkgs.text])' -p z3 -p haskellPackages.liquidhaskell --run 'NIX_GHC_LIBDIR=$(ghc-pkg list | head -n 1)/.. liquid ./hellotext.hs'
这表明当您处于基于 cabal2nix
包的 nix-shell
中时,它会开箱即用。