on iko/ghcjs-patch-master help sign in
Use "default" as default profilingDetail (#532)
78f4e25Jean-Baptiste Giraudeau
modules/plan.nix+1−1
@@ -150,7 +150,7 @@ let
150
150
151 profilingDetail = mkOption {
151 profilingDetail = mkOption {
152 type = nullOr uniqueStr;
152 type = nullOr uniqueStr;
153− default = (def.profilingDetail or "exported-functions");
153+ default = (def.profilingDetail or "default");
154 };
154 };
155
155
156 keepSource = mkOption {
156 keepSource = mkOption {