on iko/ghcjs-patch-master help sign in
fix profilingDetail errors when enabling profiling (#493)
b921ff8Yorick
modules/plan.nix+1−1
@@ -149,7 +149,7 @@ let
149 };
149 };
150
150
151 profilingDetail = mkOption {
151 profilingDetail = mkOption {
152− type = nullOr str;
152+ type = nullOr uniqueStr;
153 default = (def.profilingDetail or "exported-functions");
153 default = (def.profilingDetail or "exported-functions");
154 };
154 };
155
155