From 013ea54e58f9561f434b69e2253298ddf970d16e Mon Sep 17 00:00:00 2001 From: tilpner Date: Sat, 22 Sep 2018 10:02:43 +0200 Subject: Disable ghci diagnostic colors --- evaluators.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evaluators.nix b/evaluators.nix index 4e9c357..cab9b80 100644 --- a/evaluators.nix +++ b/evaluators.nix @@ -382,7 +382,7 @@ let ''; command = '' - ghci -v0 < "$1" + ghci -v0 -fdiagnostics-color=never < "$1" ''; testInput = "putStrLn \"success\""; -- cgit v1.2.3