From 036031ca3e50376fc2234043db38f39cdab09079 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Wed, 11 Apr 2018 20:21:52 -0700 Subject: [PATCH] Some whitespace formatting in default.nix --- default.nix | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/default.nix b/default.nix index 3e6d5a4..74a20cc 100644 --- a/default.nix +++ b/default.nix @@ -1,11 +1,12 @@ -{ rev ? "ee28e35ba37ab285fc29e4a09f26235ffe4123e2" -, sha256 ? "0a6xrqjj2ihkz1bizhy5r843n38xgimzw5s2mfc42kk2rgc95gw5" -, nixpkgs ? import (builtins.fetchTarball { +{ rev ? "ee28e35ba37ab285fc29e4a09f26235ffe4123e2" +, sha256 ? "0a6xrqjj2ihkz1bizhy5r843n38xgimzw5s2mfc42kk2rgc95gw5" +, compiler ? "ghc822" +, doProfiling ? false +, doBenchmark ? false +, nixpkgs ? import (builtins.fetchTarball { url = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz"; sha256 = sha256; }) { config.allowBroken = false; } -, compiler ? "ghc822" -, doProfiling ? false -, doBenchmark ? false }: +}: let