Skip to main content

Browse the archive

Revision 90639c516a3b1f0e42a7aea489421d27e416667f authored by Niki Vazou on 14 June 2019, 12:18:57 UTC, committed by GitHub on 14 June 2019, 12:18:57 UTC 
Merge pull request #405 from zgrannan/tuples
 
Allow Tuple Syntax in Refinements
2 parent s d5ec36a + 1ea4357
Raw File
shell.nix 
{ nixpkgs ? import <nixpkgs> {}, compiler ? "default" }:

let

  inherit (nixpkgs) pkgs;

  f = import ./default.nix { inherit (pkgs) fetchgitLocal; };

  haskellPackages = if compiler == "default"
                       then pkgs.haskellPackages
                       else pkgs.haskell.packages.${compiler};

  drv = haskellPackages.callPackage f { inherit (pkgs) z3; };

in

  if pkgs.lib.inNixShell then drv.env else drv
back to top